Ajout option -no-pthread

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

INSTALL

@@ -81,6 +81,9 @@ The "configure" script accepts the following options:
 -no-tk
         Do not attempt to build LablTk.
 
+-no-pthread
+        Do not attempt to use POSIX threads.
+
 -verbose
         Verbose output of the configuration tests. Use it if the outcome
         of configure is not what you were expecting.

configure

@@ -30,6 +30,7 @@ dllib=''
 x11_include_dir=''
 x11_lib_dir=''
 tk_wanted=yes
+pthread_wanted=yes
 tk_defs=''
 tk_libs=''
 tk_x11=yes
@@ -84,6 +85,8 @@ while : ; do
         x11_lib_dir=$2; shift;;
     -with-pthread*|--with-pthread*)
         ;; # Ignored for backward compatibility
+    -no-pthread*|--no-pthread*)
+        pthread_wanted=no;;
     -no-tk|--no-tk)
         tk_wanted=no;;
     -tkdefs*|--tkdefs*)
@@ -1055,6 +1058,7 @@ case "$host" in
   *)             pthread_link="-lpthread";;
 esac
 
+if test "$pthread_wanted" = "yes"; then
 if ./hasgot -i pthread.h $pthread_link pthread_self; then
   echo "POSIX threads library supported."
   otherlibraries="$otherlibraries systhreads"
@@ -1078,6 +1082,7 @@ if ./hasgot -i pthread.h $pthread_link pthread_self; then
 else
   echo "POSIX threads not found."
 fi
+fi
 
 # Determine if the bytecode thread library is supported