HCoop
/
hcoop
/
domtool2.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Make dynamic linking smarter, so this stuff works before running 'make install'
[hcoop/domtool2.git]
/
openssl
/
smlnj
/
libssl-h.sml
diff --git
a/openssl/smlnj/libssl-h.sml
b/openssl/smlnj/libssl-h.sml
index
7bf5f0b
..
891158b
100644
(file)
--- a/
openssl/smlnj/libssl-h.sml
+++ b/
openssl/smlnj/libssl-h.sml
@@
-1,7
+1,10
@@
structure LibsslH = struct
local
structure LibsslH = struct
local
+ val global = "/usr/local/lib/openssl_sml.so"
+ val locl = "openssl/openssl_sml.so"
+
val lh = DynLinkage.open_lib
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
handle DynLinkage.DynLinkError s => raise Fail s
in
fun libh s = let