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

[ghc-hetmet.git] / boot

diff --git a/boot b/boot
index 014efff..14d886a 100644 (file)
--- a/boot
+++ b/boot
@@ -2,16 +2,25 @@
 
 set -e
 
-chmod +x rts/gmp/configure
-chmod +x darcs-all
+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
 
-./darcs-all ${1+"$@"} get
+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 ../..