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