Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more robust library_call (again): dynamic file name, static symbol;
authorwenzelm
Thu, 19 Nov 2020 17:50:14 +0100
changeset 72661 fca4d6abebda
parent 72660 7d4e9f7742c6
child 72662 5c08ad7adf77
more robust library_call (again): dynamic file name, static symbol;
src/Pure/General/sha1.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/sha1.ML	Thu Nov 19 17:46:58 2020 +0100
+++ b/src/Pure/General/sha1.ML	Thu Nov 19 17:50:14 2020 +0100
@@ -150,7 +150,8 @@
 
 val library_call =
   Foreign.buildCall3
-    (Foreign.getSymbol (Foreign.loadLibrary (File.platform_path library_path)) "sha1_buffer",
+    (Foreign.getSymbol
+      (Foreign.loadLibraryIndirect (fn () => File.platform_path library_path)) "sha1_buffer",
       (Foreign.cByteArray, Foreign.cUlong, Foreign.cPointer), Foreign.cPointer);
 
 fun with_memory n =
isabelle