summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlain Frisch <alain@frisch.fr>2007-11-07 10:26:53 +0000
committerAlain Frisch <alain@frisch.fr>2007-11-07 10:26:53 +0000
commit36ab6c07afebee1cc24c4a94a3bcbe135f5ff222 (patch)
tree76e19547f3b1a9e91329ce319b7e9674ec864a84
parent4ad23db78366d570e587111e927fdbd3c2cd89e8 (diff)
Build cmxs for otherlibs only on archs where it is supposed to work.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8486 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rwxr-xr-xconfigure3
1 files changed, 2 insertions, 1 deletions
diff --git a/configure b/configure
index ae422bac6..5a7e00c52 100755
--- a/configure
+++ b/configure
@@ -502,13 +502,14 @@ flexlink=''
cmxs="cmxa"
if test $withsharedlibs = "yes"; then
- cmxs="cmxs"
case "$host" in
*-*-cygwin*)
+ cmxs="cmxs"
flexlink="-I`flexlink -where`"
mksharedlib="flexlink -chain cygwin -o"
shared_libraries_supported=true;;
*-*-linux-gnu|*-*-linux|*-*-freebsd[3-9]*|*-*-openbsd*|*-*-netbsd*|*-*-gnu*)
+ cmxs="cmxs"
sharedcccompopts="-fPIC"
mksharedlib="$bytecc -shared -o"
bytecclinkopts="$bytecclinkopts -Wl,-E"