Excerpts from Aristid Breitkreuz's message of Fri Mar 09 00:32:57 +0100 2012:
> Am I rightly suspecting that it isn't possible to mix cabal and Agda, even
> just for development versions of some packages? What should I do instead?
Give hack-nix a try: It builds an environment automatically for your
.cabal file which you can then source. Eg
cd your-cabal-darcs-dir
hack-nix --build-env
. ./default-env
./Setup configure && build
By using configuration files you can prepare different environments (ghc
versions, cabal flags, ...)
hack-nix currently assumes that most packages work with the latest
versions of packages found on hackage + some manually selected older
versions.
Eg you can locall compile Agda library and then use that as "input" for
Agda executable.
Ping me on irc if you're interested in learning more about it.
Marc Weber
_______________________________________________
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev
