summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael Mair-Keimberger (asterix) <m.mairkeimberger@gmail.com>2017-02-01 19:42:47 +0100
committerDavid Seifert <soap@gentoo.org>2017-02-01 23:39:14 +0100
commitb9ce9015c6035daa3519c3ccca481bb51ffb7d32 (patch)
treee59261d1c5676a32c792aa576660e2f19a332784 /sci-mathematics
parentsci-mathematics/glpk: remove unused patch (diff)
downloadgentoo-b9ce9015c6035daa3519c3ccca481bb51ffb7d32.tar.gz
gentoo-b9ce9015c6035daa3519c3ccca481bb51ffb7d32.tar.bz2
gentoo-b9ce9015c6035daa3519c3ccca481bb51ffb7d32.zip
sci-mathematics/isabelle: remove unused patch
Closes: https://github.com/gentoo/gentoo/pull/3764
Diffstat (limited to 'sci-mathematics')
-rw-r--r--sci-mathematics/isabelle/files/isabelle-2016-libsha1.patch13
1 files changed, 0 insertions, 13 deletions
diff --git a/sci-mathematics/isabelle/files/isabelle-2016-libsha1.patch b/sci-mathematics/isabelle/files/isabelle-2016-libsha1.patch
deleted file mode 100644
index 04dc405823e..00000000000
--- a/sci-mathematics/isabelle/files/isabelle-2016-libsha1.patch
+++ /dev/null
@@ -1,13 +0,0 @@
-Index: work/Isabelle2016/src/Pure/General/sha1_polyml.ML
-===================================================================
---- work.orig/Isabelle2016/src/Pure/General/sha1_polyml.ML
-+++ work/Isabelle2016/src/Pure/General/sha1_polyml.ML
-@@ -18,7 +18,7 @@ fun hex_string arr i =
- in (op ^) (apply2 hex_digit (Integer.div_mod (Char.ord c) 16)) end
-
- val lib_path =
-- ("$ML_HOME/" ^ (if ML_System.platform_is_windows then "sha1.dll" else "libsha1.so"))
-+ ("$SHA1_HOME/" ^ (if ML_System.platform_is_windows then "sha1.dll" else "libsha1.so"))
- |> Path.explode;
-
- val STRING_INPUT_BYTES =