configure, INSTALL: option -with-pthread

README, etc: MAJ


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1735 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

1 files changed, 40 insertions, 11 deletions

diff --git a/configure b/configure
index 9f55b4b5dd..3d2a618d3b 100755
--- a/configure
+++ b/configure
@@ -22,27 +22,53 @@ cc=''
 cclibs=''
 x11_include_dir=''
 x11_lib_dir=''
+posix_threads=no
 
 # Parse command-line arguments
 
 while : ; do
   case "$1" in
     "") break;;
-    -bindir|--bindir) bindir=$2;;
-    -libdir|--libdir) libdir=$2;;
-    -mandir|--mandir) mandir=$2
-                      manext=`echo $mandir | sed -e 's/^.*\(.\)$/\1/'`;;
-    -host*|--host*) host_type=$2;;
-    -cc*) cc="$2";;
-    -lib*) cclibs="$2 ";;
-    -x11include*|--x11include*) x11_include_dir=$2;;
-    -x11lib*|--x11lib*) x11_lib_dir=$2;;
+    -bindir|--bindir)
+        bindir=$2; shift;;
+    -libdir|--libdir)
+        libdir=$2; shift;;
+    -mandir|--mandir)
+        mandir=$2
+        manext=`echo $mandir | sed -e 's/^.*\(.\)$/\1/'`
+        shift;;
+    -host*|--host*)
+        host_type=$2; shift;;
+    -cc*)
+        cc="$2"; shift;;
+    -lib*)
+        cclibs="$2 "; shift;;
+    -x11include*|--x11include*)
+        x11_include_dir=$2; shift;;
+    -x11lib*|--x11lib*)
+        x11_lib_dir=$2; shift;;
+    -with-pthread|--with-pthread)
+        posix_threads=yes;;
     *) echo "Unknown option \"$1\"." 1>&2; exit 2;;
   esac
   shift
-  shift
 done
 
+# Sanity checks
+
+case "$bindir" in
+  /*) ;;
+   *) echo "The -bindir directory must be absolute." 1>&2; exit 2;;
+esac
+case "$libdir" in
+  /*) ;;
+   *) echo "The -libdir directory must be absolute." 1>&2; exit 2;;
+esac
+case "$mandir" in
+  /*) ;;
+   *) echo "The -mandir directory must be absolute." 1>&2; exit 2;;
+esac
+
 # Generate the files
 
 cd config/auto-aux
@@ -574,7 +600,10 @@ echo "BIGNUM_ARCH=$bignum_arch" >> Makefile
 
 # Determine if the threads library is supported
 
-if test "$has_select" = "yes" \
+if test "$posix_threads" = "yes"; then
+  echo "Threads library supported (using POSIX system threads)."
+  otherlibraries="$otherlibraries systhreads"
+elif test "$has_select" = "yes" \
 && test "$has_setitimer" = "yes" \
 && test "$has_gettimeofday" = "yes" \
 && test "$has_wait" = "yes"; then