Added `--disable-linuxthreads' option and do not define
authorMarius Vollmer <mvo@zagadka.de>
Wed, 1 Aug 2001 21:28:29 +0000 (21:28 +0000)
committerMarius Vollmer <mvo@zagadka.de>
Wed, 1 Aug 2001 21:28:29 +0000 (21:28 +0000)
GUILE_PTHREAD_COMPAT nor link with -lpthread when it is given.  Thanks
to Cris Cramer!

configure.in

index 69656d4..532f0cc 100644 (file)
@@ -558,8 +558,12 @@ if test "${THREAD_PACKAGE}" != "" ; then
     AC_DEFINE(GUILE_ISELECT, 1)
   fi
 
-  ## Workaround for linuxthreads (currently disabled)
-  if test $host_os = linux-gnu; then
+  AC_ARG_ENABLE(linuxthreads,
+  [  --disable-linuxthreads  disable linuxthreads workaround],,
+  enable_linuxthreads=yes)
+
+  ## Workaround for linuxthreads (optionally disabled)
+  if test $host_os = linux-gnu -a "$enable_linuxthreads" = yes; then
     AC_DEFINE(GUILE_PTHREAD_COMPAT, 1)
     AC_CHECK_LIB(pthread, main)
   fi