[Nix-dev] Agda standard library

[Patrick Wheeler]

Marco,

In order to create the nix expression it tries to generate a sha256
hash of the tarball, by default  it looks for the package at hackage.

cabal2nix --sha256=fake http://www.cse.chalmers.se/~nad/repos/lib/lib.cabal

It will then generate the nix expression for you.

Patrick

You can specify the hash on the command line or even give it a fake
and fill it in latter.

On Tue, Jul 31, 2012 at 2:02 PM, Marco Maggesi <maggesi at math.unifi.it> wrote:
> Hi,
>
> I'm trying to figure out how to to install the Agda standard library using
> cabal2nix.
> Here is my first attempt:
>
> nix-env -iA haskellPackages.cabal2nix
> cabal2nix http://www.cse.chalmers.se/~nad/repos/lib/lib.cabal
>
> (In the --help message cabal2nix advises as recognized URI schemes
> http://host/path)
>
> But I get the following error:
>
> curl: (22) The requested URL returned error: 404
> /Users/maggesi/.nix-profile/bin/nix-prefetch-url: download of
> ‘http://hackage.haskell.org/packages/archive/lib/0.1/lib-0.1.tar.gz’ failed
> cabal2nix: readProcess: bash "-c" "exec nix-prefetch-url 2>/dev/tty
> http://hackage.haskell.org/packages/archive/lib/0.1/lib-0.1.tar.gz" (exit
> 22): failed
>
> Thanks,
> Marco
>
> _______________________________________________
> nix-dev mailing list
> nix-dev at lists.science.uu.nl
> http://lists.science.uu.nl/mailman/listinfo/nix-dev
>



-- 
Patrick Wheeler
Patrick.John.Wheeler at gmail.com
Patrick.J.Wheeler at rice.edu
Patrick.Wheeler at colorado.edu