On 14/11/2020 12:10, David Matthews wrote: > On 09/11/2020 17:01, David Matthews wrote: >> What is needed is a hook so that when Foreign.library actually calls >> Foreign.System.loadLibrary it first calls your function to get the path. >> It would do this once immediately before calling "sha1_buffer" for the >> first time during any run. >> > > I've added Foreign.loadLibraryIndirect which takes a unit->string function to > supply the path name. This function is called just before the library is > actually loaded when the foreign function is first run and should do what you > want. Give it a try and see how it is.
I am using that in https://isabelle-dev.sketis.net/rISABELLEfca4d6abebda and it looks fine. Makarius _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
