diff options
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 => |