X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=boot;h=ba02e70f8fbfe381d041cfd2a1ab245a33e93767;hb=a999a72ed635ca95806b4fe3e15fa2b1a6fea967;hp=014efff4dbf30f1655bc234f09b85e45e6d8e9ff;hpb=63cddb36f1dd2e3e41274f494873a62921d3f787;p=ghc-hetmet.git

diff --git a/boot b/boot
index 014efff..ba02e70 100644
--- a/boot
+++ b/boot
@@ -1,20 +1,30 @@
-#!/bin/sh
-
+#! /bin/sh
 set -e
 
-chmod +x rts/gmp/configure
-chmod +x darcs-all
-
-./darcs-all ${1+"$@"} get
-
-autoreconf
+# Check that we have all boot packages.
+for dir in `grep "^[^# ][^ ]*  *[^ ][^ ]*  *[^ ][^ ]*$" packages | sed "s/ .*//"`
+do
+    if test ! -d $dir
+    then
+        echo "Looks like you're missing libraries/$dir." >&2
+        echo "Maybe you haven't done './darcs-all get'?" >&2
+        exit 1
+    fi
+done
 
-for lib in libraries/*; do
-    if test -e $lib/configure.ac
+# autoreconf everything that needs it.
+for dir in . libraries/*
+do
+    if test -f $dir/configure.ac
     then
-        cd $lib
-        autoreconf
-        cd ../..
+        echo "Booting $dir"
+        ( cd $dir && autoreconf )
     fi
 done
 
+# Alas, darcs doesn't handle file permissions, so fix a few of them.
+for f in boot darcs-all push-all validate
+do
+    test -f $f && chmod +x $f
+done
+