#!/bin/sh -e # Manuel M. T. Chakravarty , June 2000 # Updated for GHC 5.00, Simon Marlow, March 2001 # Updated for GHC 5.04.3, Urban Boquist, March 2003 # # Script to build GHC from .hc files (must be run in the fptools/ root # directory into which the source and .hc files must already have been # unpacked). All options are passed through to ./configure (especially # useful with --prefix). configopts="$*" # e.g., --enable-hc-boot-unregisterised PWD=`pwd` # check for GNU make # MAKENAMES="gmake make no-make" for make in $MAKENAMES; do MAKE=$make $make --version 2>&1 | grep "GNU Make" >/dev/null && break done if [ $MAKE = no-make ]; then echo "Fatal error: Cannot find the GNU make utility" exit 1 fi # build configuration # case "$configopts" in *--enable-hc-boot-unregisterised*) cat >>mk/build.mk <>mk/build.mk <