Improve error reporting for type signatures
[ghc-hetmet.git] / darcs-all
1 #!/usr/bin/perl -w
2
3 use strict;
4
5 my @top_dirs = ("nofib", "testsuite");
6
7 # Figure out where to get the other repositories from,
8 # based on where this GHC repo came from.
9 my $defaultrepo = `cat _darcs/prefs/defaultrepo`;
10 chomp $defaultrepo;
11 my $defaultrepo_base;
12 my $defaultrepo_lib;
13
14 if ($defaultrepo =~ /:/) {
15     # HTTP or SSH
16     $defaultrepo_base = $defaultrepo;
17     $defaultrepo_base =~ s#/ghc$##;
18     $defaultrepo_lib = "$defaultrepo_base/packages";
19 }
20 elsif ($defaultrepo =~ /^\//) {
21     # Local filesystem (assumes a checked-out tree):
22     $defaultrepo_base = $defaultrepo;
23     $defaultrepo_lib = "$defaultrepo/libraries";
24 }
25 else {
26     die "Couldn't work out defaultrepo";
27 }
28
29 my $verbose = 1;
30 my $ignore_failure = 0;
31
32 # --extra says we grab the extra libs with 'get'.  It has no effect on
33 # the other commands.
34 my $extra = 0;
35 # --complete gets passed onto darcs get
36 my $complete = 0;
37 # --nofib/--testsuite tell get to also grab the respective repos.
38 # They have no effect on the other commands.
39 my $nofib = 0;
40 my $testsuite = 0;
41
42 sub message {
43     if ($verbose) {
44         print "@_\n";
45     }
46 }
47
48 sub warning {
49     print "warning: @_\n";
50 }
51
52 sub darcs {
53     message "== running darcs @_";
54     system ("darcs", @_) == 0
55         or $ignore_failure
56         or die "darcs failed: $?";
57 }
58
59 sub darcsall {
60     darcs @_;
61     for my $dir (@top_dirs) {
62         if (-d $dir && -d "$dir/_darcs") {
63             darcs (@_, "--repodir", $dir);
64         }
65         else {
66             message "== $dir not present or not a repository; skipping";
67         }
68     }
69     for my $pkg (`cat libraries/core-packages libraries/extra-packages`) {
70         chomp $pkg;
71         if (-d "libraries/$pkg") {
72             darcs (@_, "--repodir", "libraries/$pkg");
73         }
74         else {
75             warning("$pkg doesn't exist, use 'darcs-all get' to get it");
76         }
77     }
78 }
79
80 sub darcsgetpackage {
81     my ($get_it, $r_flags, $repo_root, $package) = @_;
82
83     if ($get_it) {
84         if (-d $package) {
85             warning("$package already present; omitting");
86         }
87         else {
88             darcs (@$r_flags, "$repo_root/$package");
89         }
90     }
91 }
92
93 sub darcsget {
94     my $r_flags;
95     if (! $complete && ! grep /(?:--complete|--partial)/, @_) {
96         warning("adding --partial, to override use --complete");
97         $r_flags = [@_, "--partial"];
98     }
99     else {
100         $r_flags = \@_;
101     }
102
103     darcsgetpackage($nofib,     $r_flags, $defaultrepo_base, "nofib");
104     darcsgetpackage($testsuite, $r_flags, $defaultrepo_base, "testsuite");
105
106     chdir "libraries";
107
108     my @packages;
109     if ($extra) {
110         @packages = `cat core-packages extra-packages`;
111     }
112     else {
113         @packages = `cat core-packages`;
114     }
115
116     for my $pkg (@packages) {
117         chomp $pkg;
118         darcsgetpackage(1, $r_flags, $defaultrepo_lib, $pkg);
119     }
120 }
121
122 sub main {
123     if (! -d "_darcs" || ! -d "compiler") {
124         die "error: darcs-all must be run from the top level of the ghc tree."
125     }
126
127     while ($#_ ne -1) {
128         my $arg = shift;
129         # We handle -q here as well as lower down as we need to skip over it
130         # if it comes before the darcs command
131         if ($arg eq "-q") {
132             $verbose = 0;
133         }
134         elsif ($arg eq "--complete") {
135             $complete = 1;
136         }
137         elsif ($arg eq "--extra") {
138             $extra = 1;
139         }
140         elsif ($arg eq "--nofib") {
141             $nofib = 1;
142         }
143         elsif ($arg eq "--testsuite") {
144             $testsuite = 1;
145         }
146         else {
147             unshift @_, $arg;
148             if (grep /^-q$/, @_) {
149                 $verbose = 0;
150             }
151             last;
152         }
153     }
154
155     if ($#_ eq -1) {
156         die "What do you want to do?";
157     }
158     my $command = $_[0];
159     if ($command eq "get") {
160         darcsget @_;
161     }
162     else {
163         if ($command =~ /^(?:w|wh|wha|what|whats|whatsn|whatsne|whatsnew)$/) {
164             # Hack around whatsnew failing if there are no changes
165             $ignore_failure = 1;
166         }
167         darcsall @_;
168     }
169 }
170
171 main(@ARGV);
172