diff options
author | Peter Simons <simons@cryp.to> | 2014-08-20 11:57:38 +0200 |
---|---|---|
committer | Peter Simons <simons@cryp.to> | 2014-08-20 11:57:38 +0200 |
commit | c25d90de7bb8730fa8b6e6da969a447bf4433753 (patch) | |
tree | 2607af19d22e2a77b86d2c05bde90dff3cc3d82e /pkgs | |
parent | d95ae1cc89479e40fd1330a853dc0de7b17c1060 (diff) |
Move 'cryptol' and 'darcs' from the generic Haskell package set into all-packages.nix.
These packages need very a version of GHC to compile.
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/top-level/all-packages.nix | 13 | ||||
-rw-r--r-- | pkgs/top-level/haskell-packages.nix | 8 |
2 files changed, 7 insertions, 14 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 7d44d8fa44507..0c3355a9e408c 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -2622,7 +2622,11 @@ let compcert = callPackage ../development/compilers/compcert {}; cryptol1 = lowPrio (callPackage ../development/compilers/cryptol/1.8.x.nix {}); - cryptol2 = haskellPackages_ghc763.cryptol; # doesn't compile with the lastest 7.8.3 release + cryptol2 = with haskellPackages_ghc763; callPackage ../development/compilers/cryptol/2.0.x.nix { + Cabal = Cabal_1_18_1_3; + cabalInstall = cabalInstall_1_18_0_3; + process = process_1_2_0_0; + }; cython = pythonPackages.cython; cython3 = python3Packages.cython; @@ -8342,11 +8346,8 @@ let d4x = callPackage ../applications/misc/d4x { }; - darcs = haskellPackages_ghc763.darcs.override { - # A variant of the Darcs derivation that containts only the executable and - # thus has no dependencies on other Haskell packages. We have to use the older - # GHC 7.6.3 package set because darcs won't compile with 7.8.x. - cabal = haskellPackages_ghc763.cabal.override { + darcs = with haskellPackages_ghc763; callPackage ../applications/version-management/darcs { + cabal = cabal.override { extension = self : super : { isLibrary = false; configureFlags = "-f-library " + super.configureFlags or ""; diff --git a/pkgs/top-level/haskell-packages.nix b/pkgs/top-level/haskell-packages.nix index b6885a1a04805..caee81fcb3769 100644 --- a/pkgs/top-level/haskell-packages.nix +++ b/pkgs/top-level/haskell-packages.nix @@ -2937,14 +2937,6 @@ self : let callPackage = x : y : modifyPrio (newScope self x y); in arbtt = callPackage ../applications/misc/arbtt {}; - cryptol = callPackage ../development/compilers/cryptol/2.0.x.nix { - Cabal = self.Cabal_1_18_1_3; - cabalInstall = self.cabalInstall_1_18_0_3; - process = self.process_1_2_0_0; - }; - - darcs = callPackage ../applications/version-management/darcs {}; - idris_plain = callPackage ../development/compilers/idris { llvmGeneral = self.llvmGeneral_3_3_8_2; llvmGeneralPure = self.llvmGeneralPure_3_3_8_2; |