nixpkgs/pkgs/development/compilers/idris/default.nix
Andres Löh 677f91a6d1 Added Idris and updated fetchdarcs.
svn path=/nixpkgs/trunk/; revision=15595
2009-05-13 19:02:23 +00:00

25 lines
717 B
Nix

{fetchdarcs, cabal, mtl, parsec, readline, ivor, happy}:
cabal.mkDerivation (self : {
pname = "idris";
name = self.fname;
version = "0.1.2";
src = fetchdarcs {
url = http://www-fp.dcs.st-and.ac.uk/~eb/darcs/Idris;
sha256 = "de50ed4bedacee36d9942bf4db90deca3915cf6c106aa834d11e83972b2b639a";
context = ./idris.context;
};
propagatedBuildInputs = [mtl parsec readline ivor];
extraBuildInputs = [happy];
preConfigure = ''
echo "module Idris.Prefix where prefix = \"$out\"" > Idris/Prefix.hs
'';
postInstall = ''
ensureDir $out/lib/idris
install lib/*.idr lib/*.e $out/lib/idris
'';
meta = {
description = "An experimental language with full dependent types";
};
})