diff options
author | John Wiegley <johnw@newartisans.com> | 2014-06-16 14:02:12 -0700 |
---|---|---|
committer | John Wiegley <johnw@newartisans.com> | 2014-06-16 14:03:17 -0700 |
commit | 61e8fe50c21cd96f5dac5d6884f90c5e147047bc (patch) | |
tree | a19b566c8a76297145a32ffdbaf57d0850c6a72d /pkgs | |
parent | 39dfef4af0ade551370ac3544c4e4cc8746e5f87 (diff) | |
download | nixlib-61e8fe50c21cd96f5dac5d6884f90c5e147047bc.tar nixlib-61e8fe50c21cd96f5dac5d6884f90c5e147047bc.tar.gz nixlib-61e8fe50c21cd96f5dac5d6884f90c5e147047bc.tar.bz2 nixlib-61e8fe50c21cd96f5dac5d6884f90c5e147047bc.tar.lz nixlib-61e8fe50c21cd96f5dac5d6884f90c5e147047bc.tar.xz nixlib-61e8fe50c21cd96f5dac5d6884f90c5e147047bc.tar.zst nixlib-61e8fe50c21cd96f5dac5d6884f90c5e147047bc.zip |
Agda: add 2.4.0.1, 2.3.2.2 is still the default for now
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/development/compilers/agda/2.3.2.2.nix (renamed from pkgs/development/compilers/agda/agda.nix) | 0 | ||||
-rw-r--r-- | pkgs/development/compilers/agda/2.4.0.1.nix | 30 | ||||
-rw-r--r-- | pkgs/development/compilers/agda/stdlib-0.7.nix (renamed from pkgs/development/compilers/agda/stdlib.nix) | 0 | ||||
-rw-r--r-- | pkgs/development/compilers/agda/stdlib-2.4.0.nix | 32 | ||||
-rw-r--r-- | pkgs/top-level/haskell-packages.nix | 13 |
5 files changed, 73 insertions, 2 deletions
diff --git a/pkgs/development/compilers/agda/agda.nix b/pkgs/development/compilers/agda/2.3.2.2.nix index 5a1f00a995ce..5a1f00a995ce 100644 --- a/pkgs/development/compilers/agda/agda.nix +++ b/pkgs/development/compilers/agda/2.3.2.2.nix diff --git a/pkgs/development/compilers/agda/2.4.0.1.nix b/pkgs/development/compilers/agda/2.4.0.1.nix new file mode 100644 index 000000000000..e472eb1c276b --- /dev/null +++ b/pkgs/development/compilers/agda/2.4.0.1.nix @@ -0,0 +1,30 @@ +{ cabal, alex, binary, boxes, dataHash, deepseq, emacs, equivalence +, filepath, geniplate, happy, hashable, hashtables, haskeline +, haskellSrcExts, mtl, parallel, QuickCheck, STMonadTrans, strict +, text, time, transformers, unorderedContainers, xhtml, zlib +}: + +cabal.mkDerivation (self: { + pname = "Agda"; + version = "2.4.0.1"; + sha256 = "11my5k606zvra3w3m1wllc4dy5mfv4lr32fqd579vqcks6wpirjq"; + isLibrary = true; + isExecutable = true; + buildDepends = [ + binary boxes dataHash deepseq equivalence filepath geniplate + hashable hashtables haskeline haskellSrcExts mtl parallel + QuickCheck STMonadTrans strict text time transformers + unorderedContainers xhtml zlib + ]; + buildTools = [ alex emacs happy ]; + postInstall = '' + $out/bin/agda -c --no-main $(find $out/share -name Primitive.agda) + $out/bin/agda-mode compile + ''; + meta = { + homepage = "http://wiki.portal.chalmers.se/agda/"; + description = "A dependently typed functional programming language and proof assistant"; + license = "unknown"; + platforms = self.ghc.meta.platforms; + }; +}) diff --git a/pkgs/development/compilers/agda/stdlib.nix b/pkgs/development/compilers/agda/stdlib-0.7.nix index c07b3e7c7dd2..c07b3e7c7dd2 100644 --- a/pkgs/development/compilers/agda/stdlib.nix +++ b/pkgs/development/compilers/agda/stdlib-0.7.nix diff --git a/pkgs/development/compilers/agda/stdlib-2.4.0.nix b/pkgs/development/compilers/agda/stdlib-2.4.0.nix new file mode 100644 index 000000000000..faa55d379b1d --- /dev/null +++ b/pkgs/development/compilers/agda/stdlib-2.4.0.nix @@ -0,0 +1,32 @@ +{ cabal, fetchurl, filemanip, Agda }: + +cabal.mkDerivation (self: { + pname = "Agda-lib-ffi"; + version = "2.4.0"; + + src = fetchurl { + url = "https://github.com/agda/agda-stdlib/archive/v2.4.0.tar.gz"; + sha256 = "1rz0jrkm1b8d8aj9hbj3yl2k219c57r0cizfx98qqf1b9mwixzbf"; + }; + + buildDepends = [ filemanip Agda ]; + jailbreak = true; # otherwise, it complains about base + + preConfigure = "cd ffi"; + + postInstall = '' + mkdir -p $out/share + cd .. + runhaskell GenerateEverything + ${Agda}/bin/agda -i . -i src Everything.agda + cp -pR src $out/share/agda + ''; + + meta = { + homepage = "http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary"; + description = "A standard library for use with the Agda compiler."; + license = "unknown"; + platforms = self.ghc.meta.platforms; + maintainers = [ self.stdenv.lib.maintainers.jwiegley ]; + }; +}) \ No newline at end of file diff --git a/pkgs/top-level/haskell-packages.nix b/pkgs/top-level/haskell-packages.nix index 09745e5c8dfb..f2334b9e6a8a 100644 --- a/pkgs/top-level/haskell-packages.nix +++ b/pkgs/top-level/haskell-packages.nix @@ -2600,8 +2600,17 @@ self : let callPackage = x : y : modifyPrio (newScope self x y); in # Compilers. - Agda = callPackage ../development/compilers/agda/agda.nix { QuickCheck = self.QuickCheck_2_6; }; - AgdaStdlib = callPackage ../development/compilers/agda/stdlib.nix {}; + Agda_2_3_2_2 = callPackage ../development/compilers/agda/2.3.2.2.nix {}; + Agda_2_4_0_1 = callPackage ../development/compilers/agda/2.4.0.1.nix {}; + Agda = self.Agda_2_3_2_2; + + AgdaStdlib_0_7 = callPackage ../development/compilers/agda/stdlib-0.7.nix { + Agda = self.Agda_2_3_2_2; + }; + AgdaStdlib_2_4_0 = callPackage ../development/compilers/agda/stdlib-2.4.0.nix { + Agda = self.Agda_2_4_0_1; + }; + AgdaStdlib = self.AgdaStdlib_0_7; uhc = callPackage ../development/compilers/uhc {}; |