diff options
author | John Wiegley <johnw@newartisans.com> | 2014-09-30 12:56:48 -0500 |
---|---|---|
committer | John Wiegley <johnw@newartisans.com> | 2014-09-30 12:57:30 -0500 |
commit | db690f28a3b4e0322d297c010e0d9b8584b614e7 (patch) | |
tree | d027328aa94238ca149a56d6498982d7b733d111 | |
parent | f96684c71a4f37f14e7f68787a96a2c885ea673d (diff) | |
download | nixlib-db690f28a3b4e0322d297c010e0d9b8584b614e7.tar nixlib-db690f28a3b4e0322d297c010e0d9b8584b614e7.tar.gz nixlib-db690f28a3b4e0322d297c010e0d9b8584b614e7.tar.bz2 nixlib-db690f28a3b4e0322d297c010e0d9b8584b614e7.tar.lz nixlib-db690f28a3b4e0322d297c010e0d9b8584b614e7.tar.xz nixlib-db690f28a3b4e0322d297c010e0d9b8584b614e7.tar.zst nixlib-db690f28a3b4e0322d297c010e0d9b8584b614e7.zip |
isabelle: 2013 -> 2014, plus add darwin support
-rw-r--r-- | pkgs/applications/science/logic/isabelle/default.nix | 29 |
1 files changed, 17 insertions, 12 deletions
diff --git a/pkgs/applications/science/logic/isabelle/default.nix b/pkgs/applications/science/logic/isabelle/default.nix index a7c1420cb540..d8825fee2440 100644 --- a/pkgs/applications/science/logic/isabelle/default.nix +++ b/pkgs/applications/science/logic/isabelle/default.nix @@ -2,24 +2,30 @@ # nettools needed for hostname let - dirname = "Isabelle2013"; + dirname = "Isabelle2014"; theories = ["HOL" "FOL" "ZF"]; in stdenv.mkDerivation { - name = "isabelle-2013"; + name = "isabelle-2014"; inherit dirname theories; - src = fetchurl { - url = http://isabelle.in.tum.de/dist/Isabelle2013_linux.tar.gz; - sha256 = "0l17s41hwzma0q2glpxrzic8i6mqd9b7awlpwhz0jkli7fj6ny7b"; - }; + src = if stdenv.isDarwin + then fetchurl { + url = http://isabelle.in.tum.de/dist/Isabelle2014_macos.tar.gz; + sha256 = "1aa3vz2nnkkyd4mlsqbs69jqfxlll5h0k5fj9m1j9wqiddqwvwcf"; + } + else fetchurl { + url = http://isabelle.in.tum.de/dist/Isabelle2014_linux.tar.gz; + sha256 = "0l17s41hwzma0q2glpxrzic8i6mqd9b7awlpwhz0jkli7fj6ny7b"; + }; - buildInputs = [ perl polyml nettools ]; + buildInputs = [ perl polyml ] + ++ stdenv.lib.optional (!stdenv.isDarwin) nettools; sourceRoot = dirname; - patches = [ ./settings.patch ]; + patches = stdenv.lib.optionals (!stdenv.isDarwin) [ ./settings.patch ]; postPatch = '' ENV=$(type -p env) @@ -28,22 +34,20 @@ stdenv.mkDerivation { --replace /usr/bin/env $ENV substituteInPlace lib/Tools/install \ --replace /usr/bin/env $ENV - substituteInPlace src/Pure/IsaMakefile \ - --replace /bin/bash /bin/sh substituteInPlace etc/settings \ --subst-var-by ML_HOME "${polyml}/bin" \ --subst-var-by PROOFGENERAL_HOME "${proofgeneral}/share/emacs/site-lisp/ProofGeneral" ''; buildPhase = '' - ./build $theories + ./bin/isabelle build -s $theories ''; installPhase = '' mkdir -p $out/bin mv $TMP/$dirname $out cd $out/$dirname - bin/isabelle install -p $out/bin + bin/isabelle install $out/bin ''; meta = { @@ -56,5 +60,6 @@ stdenv.mkDerivation { ''; homepage = http://isabelle.in.tum.de/; license = "LGPL"; + maintainers = [ stdenv.lib.maintainers.jwiegley ]; }; } |