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