From d308f51ccccf905d4f8cbf9a96e316bf8a3510ce Mon Sep 17 00:00:00 2001
From: Marius Vollmer <mvo@zagadka.de>
Date: Wed, 1 Aug 2001 21:25:57 +0000
Subject: [PATCH] Added `--disable-linuxthreads' option and do not define
 GUILE_PTHREAD_COMPAT nor link with -lpthread when it is given.  Thanks to
 Cris Cramer!

---
 configure.in | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/configure.in b/configure.in
index 69656d4a6..532f0ccfc 100644
--- a/configure.in
+++ b/configure.in
@@ -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