HCoop
/
hcoop
/
domtool2.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
b708154
)
Make dynamic linking smarter, so this stuff works before running 'make install'
author
Adam Chlipala
<adamc@hcoop.net>
Sun, 27 Sep 2009 17:02:49 +0000
(17:02 +0000)
committer
Adam Chlipala
<adamc@hcoop.net>
Sun, 27 Sep 2009 17:02:49 +0000
(17:02 +0000)
openssl/mlton/libssl-h.sml
patch
|
blob
|
blame
|
history
openssl/smlnj/libssl-h.sml
patch
|
blob
|
blame
|
history
pcre/mlton/libpcre-h.sml
patch
|
blob
|
blame
|
history
pcre/smlnj/libpcre-h.sml
patch
|
blob
|
blame
|
history
diff --git
a/openssl/mlton/libssl-h.sml
b/openssl/mlton/libssl-h.sml
index
7bf5f0b
..
891158b
100644
(file)
--- a/
openssl/mlton/libssl-h.sml
+++ b/
openssl/mlton/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
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
diff --git
a/pcre/mlton/libpcre-h.sml
b/pcre/mlton/libpcre-h.sml
index
356df39
..
3412cf6
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 = "openssl/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
diff --git
a/pcre/smlnj/libpcre-h.sml
b/pcre/smlnj/libpcre-h.sml
index
356df39
..
3412cf6
100644
(file)
--- a/
pcre/smlnj/libpcre-h.sml
+++ b/
pcre/smlnj/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 = "openssl/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