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