[patch] isabelle-2016.1-libsha1.patch

isabelle-2016.1-libsha1.patch (text/plain), 535 bytes, created by Mark Wright on 2016-12-28 11:50:01 UTC

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