summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorAlain Frisch <alain@frisch.fr>2012-01-18 08:31:11 +0000
committerAlain Frisch <alain@frisch.fr>2012-01-18 08:31:11 +0000
commitc45bcb892d78f3182acb2805aef7ec6e23cce42a (patch)
treeb92b5d6becb9e67a198bc2e070d748eeef62bc3d /configure
parentcdbb84ec682704379bac21a633cbd2b9e93b35a8 (diff)
parent869feeb00704e0640c45ffe6aee6cc13e4077f79 (diff)
downloadocaml-unused_declarations.tar.gz
Synchronize with trunk.unused_declarations
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/unused_declarations@12034 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure13
1 files changed, 8 insertions, 5 deletions
diff --git a/configure b/configure
index 7b2d5de126..94aed58af8 100755
--- a/configure
+++ b/configure
@@ -780,6 +780,9 @@ else
echo "RANLIBCMD=" >> Makefile
fi
+echo "ARCMD=ar" >> Makefile
+
+
# Do #! scripts work?
if (SHELL=/bin/sh; export SHELL; (./sharpbang || ./sharpbang2) >/dev/null); then
@@ -1312,7 +1315,10 @@ for dir in \
/lib/usr/lib/X11 \
\
/usr/openwin/lib \
- /usr/openwin/share/lib \
+ /usr/openwin/share/lib \
+ \
+ /usr/lib/i386-linux-gnu \
+ /usr/lib/x86_64-linux-gnu \
; \
do
if test -f $dir/libX11.a || \
@@ -1325,6 +1331,7 @@ do
else
x11_libs="-L$dir"
case "$host" in
+ *-kfreebsd*-gnu) x11_link="-L$dir -lX11";;
*-*-*bsd*) x11_link="-R$dir -L$dir -lX11";;
*) x11_link="-L$dir -lX11";;
esac
@@ -1444,10 +1451,6 @@ if test $has_tk = true; then
fi
fi
-case "$host" in
- *-*-cygwin*) tk_libs="$tk_libs -lws2_32";;
-esac
-
if test $has_tk = true; then
if sh ./hasgot $tk_libs $tk_x11_libs $tkauxlibs Tk_SetGrid; then
echo "Tcl/Tk libraries found."