X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/421df4d714870f2aa1f54944c29884730973d098..3b7f9c260a684e723a1cfac3a98ac55120ec1a51:/pcre/mlton/libpcre-h.sml

diff --git a/pcre/mlton/libpcre-h.sml b/pcre/mlton/libpcre-h.sml
index f45d82f..0408eab 100644
--- a/pcre/mlton/libpcre-h.sml
+++ b/pcre/mlton/libpcre-h.sml
@@ -1,7 +1,10 @@
-structure LibpcreiH = struct
+structure LibpcreH = struct
     local
+	val global = "/usr/local/lib/pcre_sml.so"
+	val locl = "pcre/pcre_sml.so"
+
         val lh = DynLinkage.open_lib
-             { name = "/usr/local/lib/pcre_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