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

[Paul Koerbitz]

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
Paul


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