diff options
Diffstat (limited to 'sci-mathematics/isabelle/files/isabelle-2011.1-libsha1.patch')
| -rw-r--r-- | sci-mathematics/isabelle/files/isabelle-2011.1-libsha1.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/sci-mathematics/isabelle/files/isabelle-2011.1-libsha1.patch b/sci-mathematics/isabelle/files/isabelle-2011.1-libsha1.patch new file mode 100644 index 000000000000..905a1eb60e5f --- /dev/null +++ b/sci-mathematics/isabelle/files/isabelle-2011.1-libsha1.patch @@ -0,0 +1,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 = |