X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/559e89e9adf62c5faeb0e78e6b9fb8fe107b8c72..647341320ad5c91704b05de3dbbf6222d6ed063c:/openssl/smlnj/libssl-h.sml diff --git a/openssl/smlnj/libssl-h.sml b/openssl/smlnj/libssl-h.sml index 6e4b191..891158b 100644 --- a/openssl/smlnj/libssl-h.sml +++ b/openssl/smlnj/libssl-h.sml @@ -1,7 +1,10 @@ structure LibsslH = struct local + val global = "/usr/local/lib/openssl_sml.so" + val locl = "openssl/openssl_sml.so" + val lh = DynLinkage.open_lib - { name = "openssl/openssl_sml.so", global = true, lazy = true } + { name = if Posix.FileSys.access (global, []) then global else locl, global = true, lazy = true } handle DynLinkage.DynLinkError s => raise Fail s in fun libh s = let