X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=boot;h=f47bdf649134f1c2fea3e73f77f72c0c42618872;hp=014efff4dbf30f1655bc234f09b85e45e6d8e9ff;hb=9176377bf7d989919fe7d27cad1f56bd9c4e7b6b;hpb=63cddb36f1dd2e3e41274f494873a62921d3f787 diff --git a/boot b/boot index 014efff..f47bdf6 100644 --- a/boot +++ b/boot @@ -1,20 +1,79 @@ -#!/bin/sh +#!/usr/bin/perl -w -set -e +use strict; -chmod +x rts/gmp/configure -chmod +x darcs-all +use Cwd; -./darcs-all ${1+"$@"} get +my %required_tag; -autoreconf +$required_tag{"-"} = 1; -for lib in libraries/*; do - if test -e $lib/configure.ac - then - cd $lib - autoreconf - cd ../.. - fi -done +while ($#ARGV ne -1) { + my $arg = shift @ARGV; + if ($arg =~ /^--required-tag=(.*)/) { + $required_tag{$1} = 1; + } + else { + die "Bad arg: $arg"; + } +} + +# 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 () { + 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 (defined($required_tag{$tag})) { + # 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") { + if (-f $file) { + chmod 0755, $file + or die "Can't chmod 0755 $file: $!"; + } +}