| PATH=$PLAN9/bin:$PATH export PATH |
| echo "Resetting $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 -lpthread |
| echo "SYSVERSION=2.6.x" >$PLAN9/config |
| echo "SYSVERSION=2.4.x" >$PLAN9/config |
| if [ -f LOCAL.config ]; then |
| echo Using LOCAL.config options: |
| sed 's/^/ /' LOCAL.config |
| cat LOCAL.config >>config |
| echo "Building everything..." |
| echo "Installing everything..." |
| echo "Renaming hard-coded /usr/local/plan9 paths..." |
| echo "Building web manual..." |
| if [ -x LOCAL.INSTALL ]; then |
| echo "Running local modifications..." |
| echo "Add these to your profile environment." |
| echo " PLAN9=$PLAN9 export PLAN9" |
| echo ' PATH=$PATH:'"$PLAN9/bin export PATH" |