X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=boot;h=54209af7d64400cdfcab627fef0893f298866682;hp=aa906266f6b819cbe03aff91c56e0b0e8bdc035d;hb=1c1ed8694bdd24b003fa5935d001a1835e9b0f4e;hpb=bdd44abe63ce79b32e3570e846afabad2024cd09

diff --git a/boot b/boot
index aa90626..54209af 100644
--- a/boot
+++ b/boot
@@ -1,15 +1,62 @@
-#!/bin/sh
+#!/usr/bin/perl -w
 
-set -e
+use strict;
 
-autoreconf
+use Cwd;
 
-for lib in libraries/*; do
-    if test -e $lib/configure.ac
-    then
-        cd $lib
-        autoreconf
-        cd ../..
-    fi
-done
+# Create libraries/*/{ghc.mk,GNUmakefile}
+system("/usr/bin/perl", "-w", "boot-pkgs") == 0
+    or die "Running boot-pkgs failed: $?";
 
+my $tag;
+my $dir;
+my $curdir;
+
+$curdir = &cwd()
+    or die "Can't find current directory: $!";
+
+# Check that we have all boot packages.
+open PACKAGES, "< packages";
+while (<PACKAGES>) {
+    if (/^#/) {
+        # Comment; do nothing
+    }
+    elsif (/^([a-zA-Z0-9\/.-]+) +([^ ]+) +[^ ]+ +[^ ]+ +[^ ]+$/) {
+        $dir = $1;
+        $tag = $2;
+        
+        # If $tag is not "-" then it is an optional repository, so its
+        # absence isn't an error.
+        if ($tag eq "-") {
+            # 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 (! -f "$dir/LICENSE") {
+                print STDERR "Error: $dir/LICENSE doesn't exist.\n";
+                die "Maybe you haven't done './darcs-all get'?";
+            }
+        }
+    }
+    else {
+        die "Bad line in packages file: $_";
+    }
+}
+close PACKAGES;
+
+# autoreconf everything that needs it.
+foreach $dir (".", glob("libraries/*/")) {
+    if (-f "$dir/configure.ac") {
+        print "Booting $dir\n";
+        chdir $dir or die "can't change to $dir: $!";
+        system("autoreconf") == 0
+            or die "Running autoreconf failed with exitcode $?";
+        chdir $curdir or die "can't change to $curdir: $!";
+    }
+}
+
+# Alas, darcs doesn't handle file permissions, so fix a few of them.
+for my $file ("boot", "darcs-all", "validate") {
+    chmod 0755, $file if -f $file
+        or die "Can't chmod 0755 $file: $!";
+}