Remove the Unicode alternative for ".." (#3894)

[ghc-hetmet.git] / boot

diff --git a/boot b/boot
index dc7c9c0..70d99e6 100644 (file)
--- a/boot
+++ b/boot
@@ -1,25 +1,57 @@
-#!/bin/sh
-
-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
-
-autoreconf
-
-for lib in libraries/*; do
-    if test -e $lib/configure.ac
-    then
-        cd $lib
-        autoreconf
-        cd ../..
-    fi
-done
+#!/usr/bin/perl -w
 
+use strict;
+
+use Cwd;
+
+# Create libraries/*/{ghc.mk,GNUmakefile}
+system("/usr/bin/perl", "-w", "boot-pkgs") == 0
+    or die "Running boot-pkgs failed: $?";
+
+my $dir;
+my $curdir;
+
+$curdir = &cwd();
+
+# Check that we have all boot packages.
+open PACKAGES, "< packages";
+while (<PACKAGES>) {
+    if (/^#/) {
+        # Comment; do nothing
+    }
+    elsif (/^([a-zA-Z0-9\/.-]+) *[^ ]+ *[^ ]+$/) {
+        $dir = $1;
+        
+        # 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'?";
+        }
+    }
+    elsif (/^([a-zA-Z0-9\/.-]+) *[^ ]+ *[^ ]+ *[^ ]+$/) {
+        # These are lines which refer to optional repositories, so their
+        # absence isn't an error.
+    }
+    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;
+        system "autoreconf";
+        chdir $curdir;
+    }
+}
+
+# Alas, darcs doesn't handle file permissions, so fix a few of them.
+for my $file ("boot", "darcs-all", "push-all", "validate") {
+    chmod 0755, $file if -f $file;
+}