diff options
author | John Wiegley <johnw@newartisans.com> | 2014-09-30 16:41:47 -0500 |
---|---|---|
committer | John Wiegley <johnw@newartisans.com> | 2014-09-30 16:41:47 -0500 |
commit | 5a7ce1185b845a6dda60cc67dd2e9cd576b45ef4 (patch) | |
tree | b771bd7141a839d977d570adde87a9a6c9ca7f0e /pkgs/applications/science/logic/isabelle | |
parent | 8d9cd1557bfe4822c2031612b397c7b0ae3ccb65 (diff) | |
download | nixlib-5a7ce1185b845a6dda60cc67dd2e9cd576b45ef4.tar nixlib-5a7ce1185b845a6dda60cc67dd2e9cd576b45ef4.tar.gz nixlib-5a7ce1185b845a6dda60cc67dd2e9cd576b45ef4.tar.bz2 nixlib-5a7ce1185b845a6dda60cc67dd2e9cd576b45ef4.tar.lz nixlib-5a7ce1185b845a6dda60cc67dd2e9cd576b45ef4.tar.xz nixlib-5a7ce1185b845a6dda60cc67dd2e9cd576b45ef4.tar.zst nixlib-5a7ce1185b845a6dda60cc67dd2e9cd576b45ef4.zip |
isabelle: Remove Linux patches (is this correct?)
Diffstat (limited to 'pkgs/applications/science/logic/isabelle')
-rw-r--r-- | pkgs/applications/science/logic/isabelle/default.nix | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/pkgs/applications/science/logic/isabelle/default.nix b/pkgs/applications/science/logic/isabelle/default.nix index 5681070be7d8..c79aac430918 100644 --- a/pkgs/applications/science/logic/isabelle/default.nix +++ b/pkgs/applications/science/logic/isabelle/default.nix @@ -17,7 +17,7 @@ stdenv.mkDerivation { } else fetchurl { url = http://isabelle.in.tum.de/dist/Isabelle2014_linux.tar.gz; - sha256 = "0z81pwwllavka4r57fx6yi9kbpbb9xbanp8dsjix49qpyj2a72jy"; + sha256 = "0l17s41hwzma0q2glpxrzic8i6mqd9b7awlpwhz0jkli7fj6ny7b"; }; buildInputs = [ perl polyml ] @@ -25,8 +25,6 @@ stdenv.mkDerivation { sourceRoot = dirname; - patches = stdenv.lib.optionals (!stdenv.isDarwin) [ ./settings.patch ]; - postPatch = '' ENV=$(type -p env) patchShebangs "." |