2010-09-29 20:24:29 +01:00
|
|
|
{cabal, mtl, happy, gmp, boehmgc}:
|
|
|
|
|
|
|
|
|
|
cabal.mkDerivation (self : {
|
|
|
|
|
pname = "epic";
|
2011-04-07 08:47:22 +01:00
|
|
|
version = "0.1.10";
|
|
|
|
|
sha256 = "0iaq0mswf370jk4r2xyby8qa5ihcydnbkr478p35x2i56axp60ji";
|
2010-09-29 20:24:29 +01:00
|
|
|
propagatedBuildInputs = [mtl];
|
|
|
|
|
extraBuildInputs = [happy gmp boehmgc];
|
2011-04-07 08:47:22 +01:00
|
|
|
noHaddock = true;
|
2010-09-29 20:24:29 +01:00
|
|
|
meta = {
|
|
|
|
|
description = "An experimental language with full dependent types";
|
|
|
|
|
license = "BSD";
|
|
|
|
|
maintainers = [self.stdenv.lib.maintainers.andres];
|
|
|
|
|
};
|
|
|
|
|
})
|
