X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=distrib%2Fhc-build;h=a9074780e444ec4078bdd7fdb8a20464c3f8a2ca;hp=0b1a03c675160922c811326ea86c24a9cf9fdd0f;hb=355076ac5c42dbc9b50ba150f2fdf1a0e76fa8e3;hpb=b71148fc3dc7f89c92c144c8e2c30c3eada8a83d diff --git a/distrib/hc-build b/distrib/hc-build index 0b1a03c..a907478 100644 --- a/distrib/hc-build +++ b/distrib/hc-build @@ -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