[patch] libsha1 patch updated

isabelle-2016-libsha1.patch (text/plain), 593 bytes, created by David E. Narváez on 2016-12-17 20:28:33 UTC

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 =