Updated the Idris compiler.

svn path=/nixpkgs/trunk/; revision=23991
2010-09-29 19:24:29 +00:00
parent 7eb92a7821
commit 9d5f981913
5 changed files with 29 additions and 606 deletions
--- a/pkgs/development/compilers/epic/default.nix
+++ 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];
+  };
+})