X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=boot;h=70d99e692a9abae572f07328280bffb2653f285a;hp=dc7c9c062371641f788628102112d3a495b2d123;hb=661c97c65e5fa47177502e592bb763f752b487ac;hpb=610379bc0660cc9df6bb8cfaa98e566157236026 diff --git a/boot b/boot index dc7c9c0..70d99e6 100644 --- 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 () { + 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; +}