Closed andreasabel closed 3 years ago
Thanks. I'll update the docs accordingly!
Actually what would be ideal is to change skylighting-extract so that it can be run simply with cabal run
. Maybe the easiest way to do this would be to let the executable take two parameters: the first, for the xml files to extract, the second, for the directory containing skylighting.cabal. Of course if we did this, it would be good to also
.
for backwards compatibility--version
and --help
Probably not worth the effort though -- I think I'll just update the docs and leave it at that.
The recent build-from-repo instructions (https://github.com/jgm/skylighting/commit/421132600b62845f00ced5344267775b4795df04) do not seem to work, at least not with a very recent cabal:
It seems that recent
cabal install
too eagerly tries to generate the tarball forskylighting
, when we did not get the chance to generate the necessary .hs files yet.What worked for me is:
This ends with printing the absolute path to a generated executable, say $EXE.
So, except for the first
cabal install
, the instructions worked.