diff options
| author | Gabriel Ebner <gebner@gebner.org> | 2016-02-23 14:19:13 +0100 |
|---|---|---|
| committer | Gabriel Ebner <gebner@gebner.org> | 2016-02-23 14:19:13 +0100 |
| commit | 87b0a41ac5b0a59f8080b97e33d601f56d8558e0 (patch) | |
| tree | b33eb35f3445ef640c600ddab6198a6523ef3386 /pkgs/applications/science/logic/isabelle | |
| parent | 151fd89ba03397e2a65baaaee285878b41e7ab71 (diff) | |
| download | nixlib-87b0a41ac5b0a59f8080b97e33d601f56d8558e0.tar nixlib-87b0a41ac5b0a59f8080b97e33d601f56d8558e0.tar.gz nixlib-87b0a41ac5b0a59f8080b97e33d601f56d8558e0.tar.bz2 nixlib-87b0a41ac5b0a59f8080b97e33d601f56d8558e0.tar.lz nixlib-87b0a41ac5b0a59f8080b97e33d601f56d8558e0.tar.xz nixlib-87b0a41ac5b0a59f8080b97e33d601f56d8558e0.tar.zst nixlib-87b0a41ac5b0a59f8080b97e33d601f56d8558e0.zip | |
isabelle: 2015 -> 2016
Diffstat (limited to 'pkgs/applications/science/logic/isabelle')
| -rw-r--r-- | pkgs/applications/science/logic/isabelle/default.nix | 27 |
1 files changed, 12 insertions, 15 deletions
diff --git a/pkgs/applications/science/logic/isabelle/default.nix b/pkgs/applications/science/logic/isabelle/default.nix index 98b71b7f5007..6c51fb5192d4 100644 --- a/pkgs/applications/science/logic/isabelle/default.nix +++ b/pkgs/applications/science/logic/isabelle/default.nix @@ -1,23 +1,23 @@ -{ stdenv, fetchurl, perl, nettools, java, polyml, proofgeneral }: +{ stdenv, fetchurl, perl, nettools, java, polyml }: # nettools needed for hostname let - dirname = "Isabelle2015"; + dirname = "Isabelle2016"; theories = ["HOL" "FOL" "ZF"]; in stdenv.mkDerivation { - name = "isabelle-2015"; + name = "isabelle-2016"; inherit dirname theories; src = if stdenv.isDarwin then fetchurl { - url = http://isabelle.in.tum.de/dist/Isabelle2015.dmg; - sha256 = "1vhm10qc1rn3wy9r12clrl33p64h3q1aj41mcnxkbnsyg2bx03im"; + url = "http://isabelle.in.tum.de/website-${dirname}/dist/${dirname}.dmg"; + sha256 = "0wawf0cjc52h8hif1867p33qhlh6qz0fy5i2kr1gbf7psickd6iw"; } else fetchurl { - url = http://isabelle.in.tum.de/dist/Isabelle2015_linux.tar.gz; - sha256 = "13kqm458d8mw7il1zg5bdb1nfbb869p331d75xzlm2v9xgjxx862"; + url = "http://isabelle.in.tum.de/website-${dirname}/dist/${dirname}_linux.tar.gz"; + sha256 = "0jh1qrsyib13fycymwvw7dq7xfy4iyplwq0s65ash842cdzkbxb4"; }; buildInputs = [ perl polyml ] @@ -34,17 +34,14 @@ stdenv.mkDerivation { --replace /usr/bin/env $ENV sed -i 's|isabelle_java java|${java}/bin/java|g' lib/Tools/java substituteInPlace etc/settings \ - --subst-var-by ML_HOME "${polyml}/bin" \ - --subst-var-by PROOFGENERAL_HOME "${proofgeneral}/share/emacs/site-lisp/ProofGeneral" + --subst-var-by ML_HOME "${polyml}/bin" substituteInPlace contrib/jdk/etc/settings \ --replace ISABELLE_JDK_HOME= '#ISABELLE_JDK_HOME=' substituteInPlace contrib/polyml-*/etc/settings \ - --replace 'ML_HOME="$POLYML_HOME/$ML_PLATFORM"' \ - "ML_HOME=\"${polyml}/bin\"" - ''; - - buildPhase = '' - ISABELLE_JDK_HOME=${java} ./bin/isabelle build -s $theories + --replace '$POLYML_HOME/$ML_PLATFORM' ${polyml}/bin \ + --replace '$POLYML_HOME/$PLATFORM/polyml' ${polyml}/bin/poly + substituteInPlace lib/scripts/run-polyml* lib/scripts/polyml-version \ + --replace '$ML_HOME/poly' ${polyml}/bin/poly ''; installPhase = '' |