blob: 905a1eb60e5f87d4331904be00d9a61ff3267ce0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
--- Isabelle2011-1-orig/src/Pure/General/sha1_polyml.ML 2011-10-10 01:47:58.000000000 +1100
+++ Isabelle2011-1/src/Pure/General/sha1_polyml.ML 2012-12-05 23:28:15.004733643 +1100
@@ -18,7 +18,7 @@
in (op ^) (pairself hex_digit (Integer.div_mod (Char.ord c) 16)) end
val lib_path =
- ("$ML_HOME/" ^ (if ML_System.platform_is_cygwin then "sha1.dll" else "libsha1.so"))
+ ("$SHA1_HOME/" ^ (if ML_System.platform_is_cygwin then "sha1.dll" else "libsha1.so"))
|> Path.explode;
fun digest_external str =
|
GitWeb
