X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=boot;h=66bff3eb8f98a08eb81460b21110540fcfbe3a18;hp=6683ad569825267e3f488b77a5d9c3cf5e905bc9;hb=4564ccb752ff2dd28176ff1b567b8475fdb8b403;hpb=0e17d4498cc037d5c18d33fcc4a4885778d266c0 diff --git a/boot b/boot old mode 100644 new mode 100755 index 6683ad5..66bff3e --- a/boot +++ b/boot @@ -4,6 +4,44 @@ use strict; use Cwd; +my %required_tag; +my $validate; + +$required_tag{"-"} = 1; +$validate = 0; + +while ($#ARGV ne -1) { + my $arg = shift @ARGV; + + if ($arg =~ /^--required-tag=(.*)/) { + $required_tag{$1} = 1; + } + elsif ($arg =~ /^--validate$/) { + $validate = 1; + } + else { + die "Bad arg: $arg"; + } +} + +{ + local $/ = undef; + open FILE, "packages" or die "Couldn't open file: $!"; + binmode FILE; + my $string = ; + close FILE; + + if ($string =~ /\r/) { + print STDERR <) { if (/^#/) { # Comment; do nothing } - elsif (/^([a-zA-Z0-9\/.-]+) *([^ ]+) *[^ ]+ *[^ ]+$/) { + 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, + if (defined($required_tag{$tag})) { + # We would like to just check for a .git directory here, + # but in an lndir tree we avoid making .git 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'?"; + die "Maybe you haven't done './sync-all get'?"; } } } @@ -55,8 +93,19 @@ foreach $dir (".", glob("libraries/*/")) { } } -# 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: $!"; +if ($validate eq 0 && ! -f "mk/build.mk") { + print <