# unpacked). All options are passed through to ./configure (especially
# useful with --prefix).
-configopts="$*"
+configopts="$*" # e.g., --enable-hc-boot-unregisterised
# check for GNU make
#
$MAKE -C ghc all
echo "*** Building libraries..."
-./configure
+GHC="$PWD/ghc/compiler/ghc-inplace" HappyCmd="$PWD/distrib/fake-happy" ./configure
# make ghc/utils while we still have libraries in ghc/lib
$MAKE -C ghc/utils clean boot