summaryrefslogtreecommitdiffstats
path: root/configure
diff options
context:
space:
mode:
authorJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2003-01-09 08:42:13 +0000
committerJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2003-01-09 08:42:13 +0000
commit71409b5604f45f5afadb03be82d257bb112965cb (patch)
tree1ba302e652d4c569a81626cc33b453848bd08f31 /configure
parent1577a798071d5e5879ae062070a66a5b798cc562 (diff)
support vanilla MacOSX dynamic loading
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5378 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure7
1 files changed, 6 insertions, 1 deletions
diff --git a/configure b/configure
index d4b9244fb..e565a8761 100755
--- a/configure
+++ b/configure
@@ -942,8 +942,13 @@ if sh ./hasgot -i locale.h && sh ./hasgot setlocale; then
echo "#define HAS_LOCALE" >> s.h
fi
-if sh ./hasgot $dllib -ldl dlopen; then
+if sh ./hasgot -i mach-o/dyld.h && sh ./hasgot NSLinkModule; then
+ echo "NSLinkModule() found. Using darwin dynamic loading."
+ echo "#define HAS_NSLINKMODULE" >> s.h
+elif sh ./hasgot $dllib dlopen; then
echo "dlopen() found."
+elif sh ./hasgot $dllib -ldl dlopen; then
+ echo "dlopen() found in -ldl."
dllib="$dllib -ldl"
fi