X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/361a1e7f7b226811bdb8b4cc0266f34f01ac4bcd..647341320ad5c91704b05de3dbbf6222d6ed063c:/openssl/smlnj/libssl-h.sml diff --git a/openssl/smlnj/libssl-h.sml b/openssl/smlnj/libssl-h.sml index 7bf5f0b..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 = "/usr/local/lib/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