Attachment #457604 for bug #602958

Lines 146-152 Link Here

(-)Isabelle2016-1-orig/src/Pure/General/sha1.ML (-1 / +1 lines)
146	(* C library and memory *)	146	(* C library and memory *)
147		147
148	val library_path =	148	val library_path =
149	Path.explode ("$ML_HOME/" ^ (if ML_System.platform_is_windows then "sha1.dll" else "libsha1.so"));	149	Path.explode ("$SHA1_HOME/" ^ (if ML_System.platform_is_windows then "sha1.dll" else "libsha1.so"));
150		150
151	fun with_memory n =	151	fun with_memory n =
152	Thread_Attributes.uninterruptible (fn restore_attributes => fn f =>	152	Thread_Attributes.uninterruptible (fn restore_attributes => fn f =>

Return to bug 602958