Commit | Line | Data |
---|---|---|
c43ed156 | 1 | structure LibpcreH = struct |
931aae14 | 2 | local |
64734132 | 3 | val global = "/usr/local/lib/pcre_sml.so" |
55783019 | 4 | val locl = "pcre/pcre_sml.so" |
64734132 | 5 | |
931aae14 | 6 | val lh = DynLinkage.open_lib |
64734132 | 7 | { name = if Posix.FileSys.access (global, []) then global else locl, global = true, lazy = true } |
931aae14 AC |
8 | handle DynLinkage.DynLinkError s => raise Fail s |
9 | in | |
10 | fun libh s = let | |
11 | val sh = DynLinkage.lib_symbol (lh, s) | |
12 | in | |
13 | fn () => DynLinkage.addr sh | |
14 | end | |
15 | end | |
16 | end |