diff options
Diffstat (limited to 'pkgs/development/compilers/idris/default.nix')
-rw-r--r-- | pkgs/development/compilers/idris/default.nix | 27 |
1 files changed, 17 insertions, 10 deletions
diff --git a/pkgs/development/compilers/idris/default.nix b/pkgs/development/compilers/idris/default.nix index 7840c56010ede..48346e9910734 100644 --- a/pkgs/development/compilers/idris/default.nix +++ b/pkgs/development/compilers/idris/default.nix @@ -1,15 +1,22 @@ -{cabal, mtl, parsec, readline, ivor, epic, happy}: +{ cabal, binary, epic, happy, ivor, mtl, parsec, readline }: -cabal.mkDerivation (self : { +cabal.mkDerivation (self: { pname = "idris"; - name = self.fname; - version = "0.1.5"; - sha256 = "8acdfc22ba2e68b6c1832c2d5fcf11405df9416ba2c193f564b6f98710e9813e"; - propagatedBuildInputs = [mtl parsec readline ivor epic]; - extraBuildInputs = [happy]; + version = "0.1.7.1"; + sha256 = "1449fy7ld2p6ksn43bvhpa5z7j8vx4wc2szwq85wzpwfaw10d8wb"; + isLibrary = true; + isExecutable = true; + buildDepends = [ binary epic ivor mtl parsec readline ]; + buildTools = [ happy ]; + noHaddock = true; meta = { - description = "An experimental language with full dependent types"; - license = "BSD"; - maintainers = [self.stdenv.lib.maintainers.andres]; + homepage = "http://www.cs.st-andrews.ac.uk/~eb/Idris/"; + description = "Dependently Typed Functional Programming Language"; + license = self.stdenv.lib.licenses.bsd3; + platforms = self.ghc.meta.platforms; + maintainers = [ + self.stdenv.lib.maintainers.andres + self.stdenv.lib.maintainers.simons + ]; }; }) |