diff options
author | Tobias Geerinckx-Rice <tobias.geerinckx.rice@gmail.com> | 2016-01-24 02:02:21 +0100 |
---|---|---|
committer | Tobias Geerinckx-Rice <tobias.geerinckx.rice@gmail.com> | 2016-01-24 02:02:21 +0100 |
commit | 32d40f0f98e7cb50a979a596d61f757fda4ab27d (patch) | |
tree | 1ffb704b02475de2ae9f1e37e9e10ab6b6084e38 /pkgs/applications/science/logic/isabelle | |
parent | 5fa5eae086d7b34858dad4927e933e1d29d8bc34 (diff) | |
download | nixlib-32d40f0f98e7cb50a979a596d61f757fda4ab27d.tar nixlib-32d40f0f98e7cb50a979a596d61f757fda4ab27d.tar.gz nixlib-32d40f0f98e7cb50a979a596d61f757fda4ab27d.tar.bz2 nixlib-32d40f0f98e7cb50a979a596d61f757fda4ab27d.tar.lz nixlib-32d40f0f98e7cb50a979a596d61f757fda4ab27d.tar.xz nixlib-32d40f0f98e7cb50a979a596d61f757fda4ab27d.tar.zst nixlib-32d40f0f98e7cb50a979a596d61f757fda4ab27d.zip |
Remove no longer (or never) referenced patches
55 files changed, 6041 deletions. Tested with `nix-build -A tarball`.
Diffstat (limited to 'pkgs/applications/science/logic/isabelle')
-rw-r--r-- | pkgs/applications/science/logic/isabelle/settings.patch | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/pkgs/applications/science/logic/isabelle/settings.patch b/pkgs/applications/science/logic/isabelle/settings.patch deleted file mode 100644 index bf509a4bac46..000000000000 --- a/pkgs/applications/science/logic/isabelle/settings.patch +++ /dev/null @@ -1,33 +0,0 @@ -diff -Nuar Isabelle2011/etc/settings Isabelle2011-fix/etc/settings ---- Isabelle2011/etc/settings 2011-01-30 13:02:18.000000000 +0100 -+++ Isabelle2011-fix/etc/settings 2011-05-14 22:56:04.000000000 +0200 -@@ -17,13 +17,7 @@ - - # Poly/ML 5.x (automated settings) - ML_PLATFORM="$ISABELLE_PLATFORM" --ML_HOME="$(choosefrom \ -- "$ISABELLE_HOME/contrib/polyml/$ML_PLATFORM" \ -- "$ISABELLE_HOME/../polyml/$ML_PLATFORM" \ -- "/usr/local/polyml/$ML_PLATFORM" \ -- "/usr/share/polyml/$ML_PLATFORM" \ -- "/opt/polyml/$ML_PLATFORM" \ -- "")" -+ML_HOME=@ML_HOME@ - ML_SYSTEM=$("$ISABELLE_HOME/lib/scripts/polyml-version") - ML_OPTIONS="-H 200" - ML_SOURCES="$ML_HOME/../src" -@@ -175,13 +169,7 @@ - ### - - # Proof General home, look in a variety of places --PROOFGENERAL_HOME="$(choosefrom \ -- "$ISABELLE_HOME/contrib/ProofGeneral" \ -- "$ISABELLE_HOME/../ProofGeneral" \ -- "/usr/local/ProofGeneral" \ -- "/usr/share/ProofGeneral" \ -- "/opt/ProofGeneral" \ -- "")" -+PROOFGENERAL_HOME=@PROOFGENERAL_HOME@ - - PROOFGENERAL_OPTIONS="" - #PROOFGENERAL_OPTIONS="-m no_brackets -m no_type_brackets" |