From 7a2c88509bea849196ed4b77cf10512c4ff40cce Mon Sep 17 00:00:00 2001
From: rsc <devnull@localhost>
Date: Mon, 17 Jan 2005 21:30:05 +0000
Subject: allow config to override kernel version

---
 INSTALL | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

(limited to 'INSTALL')

diff --git a/INSTALL b/INSTALL
index 209436a8..9a641aef 100755
--- a/INSTALL
+++ b/INSTALL
@@ -3,7 +3,25 @@
 PLAN9=`pwd` export PLAN9
 PATH=$PLAN9/bin:$PATH export PATH
 
+echo "Resetting $PLAN9/config"
+rm -f $PLAN9/config
+
 (
+if [ `uname` = Linux ]; then
+	# On Linux, we use the kernel version to decide whether
+	# to use pthreads or not.  On 2.6 versions that aren't
+	# linking with NPTL by default, pretend to be an older kernel.
+	echo "Running on Linux: checking for NPTL..."
+	gcc lib/linux-isnptl.c
+	if ./a.out
+	then	
+		echo "	NPTL found."
+		echo "SYSVERSION=2.6" >$PLAN9/config
+	else
+		echo "	NPTL not found."
+		echo "SYSVERSION=2.4" >$PLAN9/config
+	fi
+fi
 echo "Building mk..."
 cd src
 make
-- 
cgit v1.2.3