domain: add node ipv6 address to nodeMap
[hcoop/domtool2.git] / pcre / mlton / libpcre-h.sml
CommitLineData
c43ed156 1structure 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
16end