8 # ./sync-all [-q] [-s] [--ignore-failure] [-r repo]
9 # [--nofib] [--testsuite] [--checked-out] cmd [git flags]
11 # Applies the command "cmd" to each repository in the tree.
12 # sync-all will try to do the right thing for both git and darcs repositories.
15 # ./sync-all -r http://darcs.haskell.org/ghc get
16 # To get any repos which do not exist in the local tree
19 # To pull everything from the default repos
21 # -------------- Flags -------------------
22 # -q says to be quite, and -s to be silent.
24 # --ignore-failure says to ignore errors and move on to the next repository
26 # -r repo says to use repo as the location of package repositories
28 # --checked-out says that the remote repo is in checked-out layout, as
29 # opposed to the layout used for the main repo. By default a repo on
30 # the local filesystem is assumed to be checked-out, and repos accessed
31 # via HTTP or SSH are assumed to be in the main repo layout; use
32 # --checked-out to override the latter.
34 # --nofib, --testsuite also get the nofib and testsuite repos respectively
36 # ------------ Which repos to use -------------
37 # sync-all uses the following algorithm to decide which remote repos to use
39 # It always computes the remote repos from a single base, $repo_base
40 # How is $repo_base set?
41 # If you say "-r repo", then that's $repo_base
42 # otherwise $repo_base is set by asking git where the ghc repo came
43 # from, and removing the last component (e.g. /ghc.git/ of /ghc/).
45 # Then sync-all iterates over the package found in the file
46 # ./packages; see that file for a description of the contents.
48 # If $repo_base looks like a local filesystem path, or if you give
49 # the --checked-out flag, sync-all works on repos of form
50 # $repo_base/<local-path>
51 # otherwise sync-all works on repos of form
52 # $repo_base/<remote-path>
53 # This logic lets you say
54 # both sync-all -r http://darcs.haskell.org/ghc-6.12 pull
55 # and sync-all -r ../HEAD pull
56 # The latter is called a "checked-out tree".
58 # NB: sync-all *ignores* the defaultrepo of all repos other than the
59 # root one. So the remote repos must be laid out in one of the two
60 # formats given by <local-path> and <remote-path> in the file 'packages'.
62 $| = 1; # autoflush stdout after each print, to avoid output after die
67 my $ignore_failure = 0;
68 my $want_remote_repo = 0;
69 my $checked_out_flag = 0;
72 # Flags specific to a particular command
73 my $local_repo_unnecessary = 0;
77 # Figure out where to get the other repositories from.
82 if (defined($defaultrepo)) {
86 # Figure out where to get the other repositories from,
87 # based on where this GHC repo came from.
88 my $branch = `git branch | grep "\* " | sed "s/^\* //"`; chomp $branch;
89 my $remote = `git config branch.$branch.remote`; chomp $remote;
90 $repo = `git config remote.$remote.url`; chomp $repo;
96 if ($repo =~ /^...*:/) {
98 # Above regex says "at least two chars before the :", to avoid
99 # catching Win32 drives ("C:\").
102 # --checked-out is needed if you want to use a checked-out repo
104 if ($checked_out_flag) {
105 $checked_out_tree = 1;
107 $checked_out_tree = 0;
110 # Don't drop the last part of the path if specified with -r, as
111 # it expects repos of the form:
113 # http://darcs.haskell.org
117 # http://darcs.haskell.org/ghc
120 $repo_base =~ s#/[^/]+/?$##;
123 elsif ($repo =~ /^\/|\.\.\/|.:(\/|\\)/) {
124 # Local filesystem, either absolute or relative path
125 # (assumes a checked-out tree):
127 $checked_out_tree = 1;
130 die "Couldn't work out repo";
133 return $repo_base, $checked_out_tree;
140 open IN, "< packages" or die "Can't open packages file";
149 if (/^([^# ]+) +([^ ]+) +([^ ]+) +([^ ]+) +([^ ]+)$/) {
151 $line{"localpath"} = $1;
153 $line{"remotepath"} = $3;
155 $line{"upstream"} = $5;
156 push @packages, \%line;
158 elsif (! /^(#.*)?$/) {
159 die "Bad content on line $lineNum of packages file: $_";
172 print "warning: @_\n";
182 message "== running $scm @_";
184 message "== $dir: running $scm @_";
189 system ($scm, @_) == 0
191 or die "$scm failed: $?";
199 my ($scm, $localpath) = @_;
201 if ($scm eq "darcs") {
202 -d "$localpath/_darcs";
205 -d "$localpath/.git";
222 my $wd_before = getcwd;
229 my ($repo_base, $checked_out_tree) = getrepo();
231 my $is_github_repo = $repo_base =~ m/(git@|git:\/\/|https:\/\/)github.com/;
237 if ($command =~ /^remote$/) {
238 while (@_ > 0 && $_[0] =~ /^-/) {
241 if (@_ < 1) { help(); }
243 if ($subcommand ne 'add' && $subcommand ne 'rm' && $subcommand ne 'set-url') {
246 while (@_ > 0 && $_[0] =~ /^-/) {
249 if (($subcommand eq 'add' || $subcommand eq 'rm') && @_ < 1) {
251 } elsif (@_ < 1) { # set-url
252 $branch_name = 'origin';
254 $branch_name = shift;
256 } elsif ($command eq 'new' || $command eq 'fetch') {
258 $branch_name = 'origin';
260 $branch_name = shift;
266 for $line (@packages) {
268 $localpath = $$line{"localpath"};
269 $tag = $$line{"tag"};
270 $remotepath = $$line{"remotepath"};
271 $scm = $$line{"vcs"};
272 $upstream = $$line{"upstream"};
274 # We can't create directories on GitHub, so we translate
275 # "package/foo" into "package-foo".
276 if ($is_github_repo) {
277 $remotepath =~ s/\//-/;
280 # Check the SCM is OK as early as possible
281 die "Unknown SCM: $scm" if (($scm ne "darcs") and ($scm ne "git"));
283 # Work out the path for this package in the repo we pulled from
284 if ($checked_out_tree) {
285 $path = "$repo_base/$localpath";
288 $path = "$repo_base/$remotepath";
291 # Work out the arguments we should give to the SCM
292 if ($command =~ /^(?:w|wh|wha|what|whats|whatsn|whatsne|whatsnew|status)$/) {
293 @scm_args = (($scm eq "darcs" and "whatsnew")
294 or ($scm eq "git" and "status"));
296 # Hack around 'darcs whatsnew' failing if there are no changes
299 elsif ($command =~ /^commit$/) {
300 @scm_args = ("commit");
301 # git fails if there is nothing to commit, so ignore failures
304 elsif ($command =~ /^(?:pus|push)$/) {
307 elsif ($command =~ /^(?:pul|pull)$/) {
309 # Q: should we append the -a argument for darcs repos?
311 elsif ($command =~ /^(?:g|ge|get)$/) {
312 # Skip any repositories we have not included the tag for
313 if (not defined($tags{$tag})) {
318 warning("$localpath already present; omitting") if $localpath ne ".";
322 # The first time round the loop, default the get-mode
323 if ($scm eq "darcs" && not defined($get_mode)) {
324 warning("adding --partial, to override use --complete");
325 $get_mode = "--partial";
328 # The only command that doesn't need a repo
329 $local_repo_unnecessary = 1;
331 if ($scm eq "darcs") {
332 # Note: we can only use the get-mode with darcs for now
333 @scm_args = ("get", $get_mode, $path, $localpath);
336 @scm_args = ("clone", $path, $localpath);
339 elsif ($command =~ /^(?:s|se|sen|send)$/) {
340 @scm_args = (($scm eq "darcs" and "send")
341 or ($scm eq "git" and "send-email"));
342 $want_remote_repo = 1;
344 elsif ($command =~ /^fetch$/) {
345 @scm_args = ("fetch", "$branch_name");
347 elsif ($command =~ /^new$/) {
348 @scm_args = ("log", "$branch_name..");
350 elsif ($command =~ /^remote$/) {
351 if ($subcommand eq 'add') {
352 @scm_args = ("remote", "add", $branch_name, $path);
353 } elsif ($subcommand eq 'rm') {
354 @scm_args = ("remote", "rm", $branch_name);
355 } elsif ($subcommand eq 'set-url') {
356 @scm_args = ("remote", "set-url", $branch_name, $path);
359 elsif ($command =~ /^grep$/) {
360 @scm_args = ("grep");
361 # Hack around 'git grep' failing if there are no matches
364 elsif ($command =~ /^reset$/) {
367 elsif ($command =~ /^config$/) {
368 @scm_args = "config";
371 die "Unknown command: $command";
374 # Actually execute the command
375 if (repoexists ($scm, $localpath)) {
376 if ($want_remote_repo) {
377 if ($scm eq "darcs") {
378 scm (".", $scm, @scm_args, @args, "--repodir=$localpath", $path);
380 # git pull doesn't like to be used with --work-dir
381 # I couldn't find an alternative to chdir() here
382 scm ($localpath, $scm, @scm_args, @args, $path, "master");
385 # git status *must* be used with --work-dir, if we don't chdir() to the dir
386 scm ($localpath, $scm, @scm_args, @args);
389 elsif ($local_repo_unnecessary) {
390 # Don't bother to change directory in this case
391 scm (".", $scm, @scm_args, @args);
394 message "== Required repo $localpath is missing! Skipping";
397 message "== $localpath repo not present; skipping";
405 # Get the built in help
407 What do you want to do?
421 * remote add <branch-name>
422 * remote rm <branch-name>
423 * remote set-url [--push] <branch-name>
428 Available package-tags are:
431 # Collect all the tags in the packages file
433 open IN, "< packages" or die "Can't open packages file";
436 if (/^([^# ]+) +(?:([^ ]+) +)?([^ ]+) +([^ ]+)/) {
437 if (defined($2) && $2 ne "-") {
438 $available_tags{$2} = 1;
441 elsif (! /^(#.*)?$/) {
447 # Show those tags and the help text
448 my @available_tags = keys %available_tags;
449 print "$help@available_tags\n";
454 if (! -d ".git" || ! -d "compiler") {
455 die "error: sync-all must be run from the top level of the ghc tree."
463 # We handle -q here as well as lower down as we need to skip over it
464 # if it comes before the source-control command
468 elsif ($arg eq "-s") {
471 elsif ($arg eq "-r") {
472 $defaultrepo = shift;
474 elsif ($arg eq "--ignore-failure") {
477 elsif ($arg eq "--complete" || $arg eq "--partial") {
480 # Use --checked-out if the remote repos are a checked-out tree,
481 # rather than the master trees.
482 elsif ($arg eq "--checked-out") {
483 $checked_out_flag = 1;
485 # --<tag> says we grab the libs tagged 'tag' with
486 # 'get'. It has no effect on the other commands.
487 elsif ($arg =~ m/^--/) {
493 if (grep /^-q$/, @_) {
504 # Give the command and rest of the arguments to the main loop