diff options
| author | Vaibhav Sagar <vaibhavsagar@gmail.com> | 2019-03-27 22:30:45 -0400 |
|---|---|---|
| committer | Vaibhav Sagar <vaibhavsagar@gmail.com> | 2019-03-27 22:30:45 -0400 |
| commit | 9c3b994c4954de48c2b5337cc7ce12816534df33 (patch) | |
| tree | ac730055ba60824347f988ef7ca3442a69e98241 /pkgs/top-level/all-packages.nix | |
| parent | cb0f01cf2ef639055bcf73b09b4ccad37fe9859b (diff) | |
| download | nixlib-9c3b994c4954de48c2b5337cc7ce12816534df33.tar nixlib-9c3b994c4954de48c2b5337cc7ce12816534df33.tar.gz nixlib-9c3b994c4954de48c2b5337cc7ce12816534df33.tar.bz2 nixlib-9c3b994c4954de48c2b5337cc7ce12816534df33.tar.lz nixlib-9c3b994c4954de48c2b5337cc7ce12816534df33.tar.xz nixlib-9c3b994c4954de48c2b5337cc7ce12816534df33.tar.zst nixlib-9c3b994c4954de48c2b5337cc7ce12816534df33.zip | |
Use Poly/ML 5.7 for Isabelle
Diffstat (limited to 'pkgs/top-level/all-packages.nix')
| -rw-r--r-- | pkgs/top-level/all-packages.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 28665941d61a..941aec476ea2 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -8129,6 +8129,7 @@ in polyml = callPackage ../development/compilers/polyml { }; polyml56 = callPackage ../development/compilers/polyml/5.6.nix { }; + polyml57 = callPackage ../development/compilers/polyml/5.7.nix { }; pure = callPackage ../development/interpreters/pure { llvm = llvm_35; @@ -22000,7 +22001,7 @@ in ifstat-legacy = callPackage ../tools/networking/ifstat-legacy { }; isabelle = callPackage ../applications/science/logic/isabelle { - polyml = stdenv.lib.overrideDerivation polyml (attrs: { + polyml = stdenv.lib.overrideDerivation polyml57 (attrs: { configureFlags = [ "--enable-intinf-as-int" "--with-gmp" "--disable-shared" ]; }); |