boot

   1 #!/usr/bin/perl -w
   2
   3 use strict;
   4
   5 use Cwd;
   6
   7 # Create libraries/*/{ghc.mk,GNUmakefile}
   8 system("/usr/bin/perl", "-w", "boot-pkgs") == 0
   9     or die "Running boot-pkgs failed: $?";
  10
  11 my $tag;
  12 my $dir;
  13 my $curdir;
  14
  15 $curdir = &cwd()
  16     or die "Can't find current directory: $!";
  17
  18 # Check that we have all boot packages.
  19 open PACKAGES, "< packages";
  20 while (<PACKAGES>) {
  21     if (/^#/) {
  22         # Comment; do nothing
  23     }
  24     elsif (/^([a-zA-Z0-9\/.-]+) +([^ ]+) +[^ ]+ +[^ ]+ +[^ ]+$/) {
  25         $dir = $1;
  26         $tag = $2;
  27
  28         # If $tag is not "-" then it is an optional repository, so its
  29         # absence isn't an error.
  30         if ($tag eq "-") {
  31             # We would like to just check for an _darcs directory here,
  32             # but in an lndir tree we avoid making _darcs directories,
  33             # so it doesn't exist. We therefore require that every repo
  34             # has a LICENSE file instead.
  35             if (! -f "$dir/LICENSE") {
  36                 print STDERR "Error: $dir/LICENSE doesn't exist.\n";
  37                 die "Maybe you haven't done './darcs-all get'?";
  38             }
  39         }
  40     }
  41     else {
  42         die "Bad line in packages file: $_";
  43     }
  44 }
  45 close PACKAGES;
  46
  47 # autoreconf everything that needs it.
  48 foreach $dir (".", glob("libraries/*/")) {
  49     if (-f "$dir/configure.ac") {
  50         print "Booting $dir\n";
  51         chdir $dir or die "can't change to $dir: $!";
  52         system("autoreconf") == 0
  53             or die "Running autoreconf failed with exitcode $?";
  54         chdir $curdir or die "can't change to $curdir: $!";
  55     }
  56 }
  57
  58 # Alas, darcs doesn't handle file permissions, so fix a few of them.
  59 for my $file ("boot", "darcs-all", "validate") {
  60     chmod 0755, $file if -f $file
  61         or die "Can't chmod 0755 $file: $!";
  62 }