summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2003-08-29 15:22:49 +0000
committerXavier Leroy <xavier.leroy@inria.fr>2003-08-29 15:22:49 +0000
commit5c2cad4195d7ece37e2875c866eb7b0875b14964 (patch)
tree70b772a9d6bff4d6eceb64353a8943204deadcaa
parentef3334a89faa04b783235dd6e3db1140d466a6d6 (diff)
MAJ pour Cygwin (PR#1808)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5813 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rwxr-xr-xconfigure3
1 files changed, 3 insertions, 0 deletions
diff --git a/configure b/configure
index 4a70e74ca..72e803db4 100755
--- a/configure
+++ b/configure
@@ -1194,6 +1194,7 @@ for dir in \
do
if test -f $dir/libX11.a || \
test -f $dir/libX11.so || \
+ test -f $dir/libX11.dll.a || \
test -f $dir/libX11.sa; then
if test $dir = /usr/lib; then
x11_link="-lX11"
@@ -1240,6 +1241,8 @@ for dir in /usr/include /usr/include/db1 /usr/include/gdbm; do
dbm_link="-ldb1"
elif sh ./hasgot -lgdbm dbm_open; then
dbm_link="-lgdbm"
+ elif sh ./hasgot -lgdbm_compat -lgdbm dbm_open; then
+ dbm_link="-lgdbm_compat -lgdbm"
fi
break
fi