diff options
Diffstat (limited to 'pkgs/development/compilers/epic/default.nix')
-rw-r--r-- | pkgs/development/compilers/epic/default.nix | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/pkgs/development/compilers/epic/default.nix b/pkgs/development/compilers/epic/default.nix new file mode 100644 index 0000000000000..99c59df3b7108 --- /dev/null +++ b/pkgs/development/compilers/epic/default.nix @@ -0,0 +1,14 @@ +{cabal, mtl, happy, gmp, boehmgc}: + +cabal.mkDerivation (self : { + pname = "epic"; + version = "0.1.5"; + sha256 = "5a3d94e88cb85beb3c13f3b9f3c00c6768e1b067ff88d40ea63d9961a92347ff"; + propagatedBuildInputs = [mtl]; + extraBuildInputs = [happy gmp boehmgc]; + meta = { + description = "An experimental language with full dependent types"; + license = "BSD"; + maintainers = [self.stdenv.lib.maintainers.andres]; + }; +}) |