allow build settings to be overriden by adding mk/validate.mk

[ghc-hetmet.git] / boot

diff --git a/boot b/boot
index aa90626..14d886a 100644 (file)
--- a/boot
+++ b/boot
@@ -2,11 +2,25 @@
 
 set -e
 
+for d in `cat libraries/core-packages`
+do
+    if test ! -d libraries/$d
+    then
+        echo "Looks like you're missing libraries/$d,"
+        echo "maybe you haven't done './darcs-all get'?"
+        exit 1
+    fi
+done
+
+chmod +x push-all
+
+echo "Booting ."
 autoreconf
 
 for lib in libraries/*; do
     if test -e $lib/configure.ac
     then
+        echo "Booting $lib"
         cd $lib
         autoreconf
         cd ../..