X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=distrib%2Fhc-build;h=91c0deb9512a02ce10046f7550c8db2d4bfe6d4b;hb=430e22a77214165059eb8fc0022cb09970a3cc5a;hp=0b1a03c675160922c811326ea86c24a9cf9fdd0f;hpb=393185426d61a45e0d7f1cb97925b7f7ae0ed278;p=ghc-hetmet.git diff --git a/distrib/hc-build b/distrib/hc-build index 0b1a03c..91c0deb 100644 --- a/distrib/hc-build +++ b/distrib/hc-build @@ -1,4 +1,4 @@ -#/bin/sh +#!/bin/sh # Manuel M. T. Chakravarty , June 2000 # @@ -9,6 +9,18 @@ configopts="$*" +# 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 # cat >mk/build.mk <>mk/build.mk -gmake -C ghc/lib clean boot all || exit 1 -gmake -C hslibs clean boot all +$MAKE -C ghc/lib clean boot all || exit 1 +$MAKE -C hslibs clean boot all