GhcBootLibs=YES when building libraries the first time.
$MAKE -C glafp-utils boot all
$MAKE -C ghc boot
-$MAKE -C libraries boot all
+$MAKE -C libraries boot all GhcBootLibs=YES
$MAKE -C ghc all
MAKEFLAGS=
# Now build a new set of libraries
$MAKE -C libraries boot all
-# Build ghc/lib
-$MAKE -C ghc/lib clean && $MAKE -C ghc/lib boot all
+# Build all of ghc/lib
+$MAKE -C ghc/lib clean && $MAKE -C ghc/utils boot all
# Build all of ghc/utils
$MAKE -C ghc/utils clean && $MAKE -C ghc/utils boot all