boot 1.72 KB
Newer Older
1
2
3
4
5
#!/usr/bin/perl -w

use strict;

use Cwd;
6

7
# Create libraries/*/{ghc.mk,GNUmakefile}
8
9
10
system("/usr/bin/perl", "-w", "boot-pkgs") == 0
    or die "Running boot-pkgs failed: $?";

11
my $tag;
12
13
14
my $dir;
my $curdir;

15
16
$curdir = &cwd()
    or die "Can't find current directory: $!";
17

18
# Check that we have all boot packages.
19
20
21
22
23
open PACKAGES, "< packages";
while (<PACKAGES>) {
    if (/^#/) {
        # Comment; do nothing
    }
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
31
32
33
34
35
36
37
38
39
        if ($tag eq "-") {
            # 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'?";
            }
        }
40
41
42
43
44
45
    }
    else {
        die "Bad line in packages file: $_";
    }
}
close PACKAGES;
46

Ian Lynagh's avatar
Ian Lynagh committed
47
# autoreconf everything that needs it.
48
49
50
foreach $dir (".", glob("libraries/*/")) {
    if (-f "$dir/configure.ac") {
        print "Booting $dir\n";
51
52
53
54
        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: $!";
55
56
    }
}
57

sven.panne@aedion.de's avatar
sven.panne@aedion.de committed
58
# Alas, darcs doesn't handle file permissions, so fix a few of them.
59
for my $file ("boot", "darcs-all", "validate") {
60
61
    chmod 0755, $file if -f $file
        or die "Can't chmod 0755 $file: $!";
62
}