diff options
author | Gabriel Ebner <gebner@gebner.org> | 2017-10-10 11:18:22 +0200 |
---|---|---|
committer | Gabriel Ebner <gebner@gebner.org> | 2017-10-10 11:18:57 +0200 |
commit | a936d9d6dc31659dbf8115612a0e7efffacb892c (patch) | |
tree | aa1e7c23c534586512086ed554d9fa4ce340e456 /pkgs/applications/science/logic/isabelle/default.nix | |
parent | ef1cb94d78735040308a32934382938b9280b5bb (diff) | |
download | nixpkgs-a936d9d6dc31659dbf8115612a0e7efffacb892c.tar nixpkgs-a936d9d6dc31659dbf8115612a0e7efffacb892c.tar.gz nixpkgs-a936d9d6dc31659dbf8115612a0e7efffacb892c.tar.bz2 nixpkgs-a936d9d6dc31659dbf8115612a0e7efffacb892c.tar.lz nixpkgs-a936d9d6dc31659dbf8115612a0e7efffacb892c.tar.xz nixpkgs-a936d9d6dc31659dbf8115612a0e7efffacb892c.tar.zst nixpkgs-a936d9d6dc31659dbf8115612a0e7efffacb892c.zip |
isabelle: 2016-1 -> 2017
Diffstat (limited to 'pkgs/applications/science/logic/isabelle/default.nix')
-rw-r--r-- | pkgs/applications/science/logic/isabelle/default.nix | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/pkgs/applications/science/logic/isabelle/default.nix b/pkgs/applications/science/logic/isabelle/default.nix index 2409936ab69..af2bb3ed0c4 100644 --- a/pkgs/applications/science/logic/isabelle/default.nix +++ b/pkgs/applications/science/logic/isabelle/default.nix @@ -2,21 +2,21 @@ # nettools needed for hostname let - dirname = "Isabelle2016-1"; + dirname = "Isabelle2017"; in stdenv.mkDerivation { - name = "isabelle-2016-1"; + name = "isabelle-2017"; inherit dirname; src = if stdenv.isDarwin then fetchurl { url = "http://isabelle.in.tum.de/website-${dirname}/dist/${dirname}.dmg"; - sha256 = "0553l7m2z32ajmiv6sgg11rh16n490w8i4q9hr7vx4zzggr9nrlr"; + sha256 = "1awgg39i72pivwfijdwffvil3glnpimjz2x04qbl5la2j6la48nb"; } else fetchurl { url = "http://isabelle.in.tum.de/website-${dirname}/dist/${dirname}_linux.tar.gz"; - sha256 = "1w1cgfmmi1sr43z6hczyc29lxlnlz7dd8fa88ai44wkc13y05b5r"; + sha256 = "01v1zrajyfamjq5b8v18qr3ffivjckifsvvx2vs13di6wsnmm9gw"; }; buildInputs = [ perl polyml z3 ] @@ -43,6 +43,10 @@ stdenv.mkDerivation { --replace '$ML_HOME/poly' ${polyml}/bin/poly substituteInPlace contrib/z3*/etc/settings \ --replace '$Z3_HOME/z3' '${z3}/bin/z3' + + for comp in contrib/jdk contrib/polyml*; do + rm -rf $comp/x86* + done '' + (if ! stdenv.isLinux then "" else '' arch=${if stdenv.system == "x86_64-linux" then "x86_64-linux" else "x86-linux"} for f in contrib/*/$arch/{bash_process,epclextract,eprover,nunchaku,SPASS}; do |