X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=boot;h=644c6d9ea251a8bde192f9ab449ad3c6b66344d6;hp=262ae52d6d94aa79c9c84186153629706bbec1ad;hb=609e7ddfb10bc04762b820e70e0487ad6c514c2e;hpb=8434073f08470b4447436e865e25f5fe31852c23

diff --git a/boot b/boot
index 262ae52..644c6d9 100644
--- a/boot
+++ b/boot
@@ -1,30 +1,39 @@
-#!/bin/sh
-
+#! /bin/sh
 set -e
 
-for d in `cat libraries/core-packages`
+# Create libraries/*/{ghc.mk,GNUmakefile}
+sh boot-pkgs
+
+# Check that we have all boot packages.
+for dir in `grep "^[^# ][^ ]*  *[^ ][^ ]*  *[^ ][^ ]*$" packages | sed "s/ .*//"`
 do
-    if test ! -d libraries/$d
+    # We would like to just check for an _darcs directory here, but in
+    # an lndir tree we avoid making _darcs directories, so it doesn't
+    # exist. We therefore require that every repo has a LICENSE file
+    # instead.
+    if test ! -f $dir/LICENSE
     then
-        echo "Looks like you're missing libraries/$d,"
-        echo "maybe you haven't done './darcs-all get'?"
+        echo "Error: $dir/LICENSE doesn't exist." >&2
+        echo "Maybe you haven't done './darcs-all get'?" >&2
         exit 1
     fi
 done
 
-chmod +x push-all
-chmod +x rts/gmp/configure
-
-echo "Booting ."
-autoreconf
-
-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
-        echo "Booting $lib"
-        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
+    if test -f $f
+    then
+        chmod +x $f
+    fi
+done