[Nix-dev] Stumped trying to build Idris with mtl_2_2_1

Paul Koerbitz paul.koerbitz at gmail.com
Thu Jan 15 08:22:05 CET 2015

Dear Shea, dear Peter,

thank you for these details. I've seen the discussions on haskellng, so far
I had been dissuaded from using it by the fact that my machine tries to
compile everything from source (including ghc) and doesn't have enough free
space to do so... I'll take another stab and come back when I can't figure
out what's going on ;)

many thanks

On Tue, Jan 13, 2015 at 3:25 PM, Peter Simons <simons at cryp.to> wrote:

> Hi guys,
> after commmit [1], you can install Idris by running:
>   nix-env -iA haskellngPackages.idris
> The option "--option extra-binary-caches http://hydra.cryp.to" might
> safe some build time.
> I hope this helps,
> Peter
> [1]
> https://github.com/NixOS/nixpkgs/commit/51b9c9b262a85e2658303d8706f56fa16fab04db
> _______________________________________________
> nix-dev mailing list
> nix-dev at lists.science.uu.nl
> http://lists.science.uu.nl/mailman/listinfo/nix-dev
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.science.uu.nl/pipermail/nix-dev/attachments/20150115/bc78b081/attachment.html 

More information about the nix-dev mailing list