HCoop
/
hcoop
/
domtool2.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
mysql: revoke permissions when dropping database
[hcoop/domtool2.git]
/
pcre
/
mlton
/
libpcre-h.sml
diff --git
a/pcre/mlton/libpcre-h.sml
b/pcre/mlton/libpcre-h.sml
index
356df39
..
0408eab
100644
(file)
--- a/
pcre/mlton/libpcre-h.sml
+++ b/
pcre/mlton/libpcre-h.sml
@@
-1,7
+1,10
@@
structure LibpcreH = struct
local
structure LibpcreH = struct
local
+ val global = "/usr/local/lib/pcre_sml.so"
+ val locl = "pcre/pcre_sml.so"
+
val lh = DynLinkage.open_lib
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
handle DynLinkage.DynLinkError s => raise Fail s
in
fun libh s = let