blob: 04dc405823e256a3f2a67d6d6e360305363fe65e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
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 =
|
GitWeb
