diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2019-09-15 09:01:56 +0100 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2019-09-15 09:01:56 +0100 |
commit | e8f81810baa21f490d6910e8e2d424546b72a333 (patch) | |
tree | db79151c528a566490ffcac0d7b64484e12b4762 /sci-mathematics/isabelle/files/isabelle-2016.1-libsha1.patch | |
parent | d00821e77f72d4af4ea30158c1c6e18ffff0875b (diff) |
gentoo resync : 15.09.2019
Diffstat (limited to 'sci-mathematics/isabelle/files/isabelle-2016.1-libsha1.patch')
-rw-r--r-- | sci-mathematics/isabelle/files/isabelle-2016.1-libsha1.patch | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/sci-mathematics/isabelle/files/isabelle-2016.1-libsha1.patch b/sci-mathematics/isabelle/files/isabelle-2016.1-libsha1.patch deleted file mode 100644 index f19436acd1c3..000000000000 --- a/sci-mathematics/isabelle/files/isabelle-2016.1-libsha1.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- Isabelle2016-1-orig/src/Pure/General/sha1.ML 2016-12-13 01:03:45.000000000 +1100 -+++ Isabelle2016-1/src/Pure/General/sha1.ML 2016-12-28 20:50:36.814706587 +1100 -@@ -146,7 +146,7 @@ - (* C library and memory *) - - val library_path = -- Path.explode ("$ML_HOME/" ^ (if ML_System.platform_is_windows then "sha1.dll" else "libsha1.so")); -+ Path.explode ("$SHA1_HOME/" ^ (if ML_System.platform_is_windows then "sha1.dll" else "libsha1.so")); - - fun with_memory n = - Thread_Attributes.uninterruptible (fn restore_attributes => fn f => |