Comments only
[ghc.git] / sync-all
index 85a697a..ef5d24a 100755 (executable)
--- a/sync-all
+++ b/sync-all
@@ -1,5 +1,6 @@
-#!/usr/bin/perl -w
+#!/usr/bin/env perl
 
+use warnings;
 use strict;
 use Cwd;
 use English;
@@ -8,17 +9,18 @@ $| = 1; # autoflush stdout after each print, to avoid output after die
 
 my $initial_working_directory;
 
-my $defaultrepo;
+my $default_root;
 my @packages;
 my $verbose = 2;
 my $try_to_resume = 0;
 my $ignore_failure = 0;
 my $checked_out_flag = 0; # NOT the opposite of bare_flag (describes remote repo state)
-my $get_mode;
 my $bare_flag = ""; # NOT the opposite of checked_out_flag (describes local repo state)
 
 my %tags;
 
+my $GITHUB = qr!(?:git@|git://|https://|http://|ssh://git@)github.com!;
+
 sub inDir {
     my $dir = shift;
     my $code = shift;
@@ -50,11 +52,12 @@ sub parsePackages {
     foreach (@repos) {
         chomp;
         $lineNum++;
-        if (/^([^# ]+) +([^ ]+) +([^ ]+)$/) {
+        if (/^([^# ]+) +([^ ]+) +([^ ]+) +([^ ]+)$/) {
             my %line;
             $line{"localpath"}  = $1;
             $line{"tag"}        = $2;
             $line{"remotepath"} = $3;
+            $line{"upstreamurl"}= $4;
             push @packages, \%line;
 
             $tags{$2} = 0;
@@ -65,16 +68,6 @@ sub parsePackages {
     }
 }
 
-sub tryReadFile {
-    my $filename = shift;
-    my @lines;
-
-    open (FH, $filename) or return "";
-    @lines = <FH>;
-    close FH;
-    return join('', @lines);
-}
-
 sub message {
     if ($verbose >= 2) {
         print "@_\n";
@@ -122,7 +115,7 @@ sub git {
     });
 }
 
-sub readgit {
+sub readgitline {
     my $dir = shift;
     my @args = @_;
 
@@ -137,14 +130,28 @@ sub readgit {
     });
 }
 
+sub readgit {
+    my $dir = shift;
+    my @args = @_;
+
+    &inDir($dir, sub {
+        open my $fh, '-|', 'git', @args
+            or die "Executing git @args failed: $!";
+        my $ret;
+        $ret .= $_ while <$fh>;
+        close $fh;
+        return $ret;
+    });
+}
+
 sub configure_repository {
     my $localpath = shift;
 
-    &git($localpath, "config", "--local", "core.ignorecase", "true");
+    &git($localpath, "config", "core.ignorecase", "true");
 
-    my $autocrlf = &readgit($localpath, 'config', '--get', 'core.autocrlf');
+    my $autocrlf = &readgitline($localpath, 'config', '--get', 'core.autocrlf');
     if ($autocrlf eq "true") {
-        &git($localpath, "config", "--local", "core.autocrlf", "false");
+        &git($localpath, "config", "core.autocrlf", "false");
         &git($localpath, "reset", "--hard");
     }
 }
@@ -153,63 +160,60 @@ sub configure_repository {
 sub getrepo {
     my $repo;
 
-    if (defined($defaultrepo)) {
-        $repo = $defaultrepo;
-        chomp $repo;
+    if ($default_root) {
+        $repo = $default_root;
     } else {
         # Figure out where to get the other repositories from,
-        # based on where this GHC repo came from.
+        # based on where this GHC repository came from.
         my $git_dir = $bare_flag ? "ghc.git" : ".";
-        my $branch = &readgit($git_dir, "rev-parse", "--abbrev-ref", "HEAD");
+        my $branch = &readgitline($git_dir, "rev-parse", "--abbrev-ref", "HEAD");
         die "Bad branch: $branch"
-            unless $branch =~ /^[a-zA-Z][a-zA-Z0-9.-]*$/;
-        my $remote = &readgit($git_dir, "config", "branch.$branch.remote");
+            unless $branch =~ m!^[a-zA-Z][a-zA-Z0-9./-]*$!;
+        my $remote = &readgitline($git_dir, "config", "--get", "branch.$branch.remote");
         if ($remote eq "") {
             # remotes are not mandatory for branches (e.g. not recorded by default for bare repos)
             $remote = "origin";
         }
         die "Bad remote: $remote"
-            unless $remote =~ /^[a-zA-Z][a-zA-Z0-9.-]*$/;
-        $repo = &readgit($git_dir, "config", "remote.$remote.url");
+            unless $remote =~ m!^[a-zA-Z][a-zA-Z0-9./-]*$!;
+        $repo = &readgitline($git_dir, "config", "--get", "remote.$remote.url");
     }
 
-    my $repo_base;
+    my $remote_root;
     my $checked_out_tree;
+    my $repo_local = 0;
 
     if ($repo =~ /^...*:/) {
         # HTTP or SSH
         # Above regex says "at least two chars before the :", to avoid
         # catching Win32 drives ("C:\").
-        $repo_base = $repo;
+        $remote_root = $repo;
 
-        # --checked-out is needed if you want to use a checked-out repo
-        # over SSH or HTTP
-        if ($checked_out_flag) {
-            $checked_out_tree = 1;
-        } else {
-            $checked_out_tree = 0;
-        }
+        # --checked-out is needed if you want to use a checked-out
+        # repository over SSH or HTTP
+        $checked_out_tree = $checked_out_flag;
 
         # Don't drop the last part of the path if specified with -r, as
         # it expects repos of the form:
         #
-        #   http://git.haskell.org
+        #   git://git.haskell.org
         #
         # rather than
         #
-        #   http://git.haskell.org/ghc
+        #   git://git.haskell.org/ghc.git
         #
-        if (!$defaultrepo) {
-            $repo_base =~ s#/[^/]+/?$##;
+        if (!$default_root) {
+            $remote_root =~ s#/[^/]+/?$##;
         }
     }
     elsif ($repo =~ /^\/|\.\.\/|.:(\/|\\)/) {
         # Local filesystem, either absolute (C:/ or /) or relative (../) path
-        $repo_base = $repo;
+        $repo_local = 1;
+        $remote_root = $repo;
         if (-f "$repo/HEAD") {
             # assume a local mirror:
             $checked_out_tree = 0;
-            $repo_base =~ s#/[^/]+/?$##;
+            $remote_root =~ s#/[^/]+/?$##;
         } elsif (-d "$repo/ghc.git") {
             # assume a local mirror:
             $checked_out_tree = 0;
@@ -219,10 +223,10 @@ sub getrepo {
         }
     }
     else {
-        die "Couldn't work out repo";
+        die "Couldn't work out root of remote repository tree";
     }
 
-    return $repo_base, $checked_out_tree;
+    return $remote_root, $checked_out_tree, $repo_local;
 }
 
 sub gitall {
@@ -232,7 +236,8 @@ sub gitall {
     my $tag;
     my $remotepath;
     my $line;
-    my $branch_name;
+    my $repo_is_submodule;
+    my $remote_name;
     my $subcommand;
 
     my $path;
@@ -243,9 +248,9 @@ sub gitall {
     my $doing;
     my $start_repo;
 
-    my ($repo_base, $checked_out_tree) = getrepo();
+    my ($remote_root, $checked_out_tree, $repo_local) = getrepo();
 
-    my $is_github_repo = $repo_base =~ m/(git@|git:\/\/|https:\/\/)github.com/;
+    my $is_github_repo = $remote_root =~ $GITHUB;
 
     @args = ();
 
@@ -264,18 +269,20 @@ sub gitall {
         while (@_ > 0 && $_[0] =~ /^-/) {
             push(@args,shift);
         }
-        if (($subcommand eq 'add' || $subcommand eq 'rm') && @_ < 1) {
+        if (($subcommand eq 'set-branches') && @_ < 2) {
+            help(1);
+        } elsif (($subcommand eq 'add' || $subcommand eq 'rm') && @_ < 1) {
             help(1);
         } elsif (@_ < 1) { # set-url
-            $branch_name = 'origin';
+            $remote_name = 'origin';
         } else {
-            $branch_name = shift;
+            $remote_name = shift;
         }
     } elsif ($command eq 'new') {
         if (@_ < 1) {
-            $branch_name = 'origin';
+            $remote_name = 'origin';
         } else {
-            $branch_name = shift;
+            $remote_name = shift;
         }
     }
 
@@ -301,11 +308,13 @@ sub gitall {
 
     for $line (@packages) {
         $tag        = $$line{"tag"};
+        if ($tags{$tag} == 0) {
+            next;
+        }
+
         # Use the "remote" structure for bare git repositories
         $localpath  = ($bare_flag) ?
                       $$line{"remotepath"} : $$line{"localpath"};
-        $remotepath = ($checked_out_tree) ?
-                      $$line{"localpath"}  : $$line{"remotepath"};
 
         if (!$started) {
             if ($start_repo eq $localpath) {
@@ -322,25 +331,30 @@ sub gitall {
         close RESUME;
         rename "resume.tmp", "resume";
 
+        $repo_is_submodule = $$line{"remotepath"} eq "-";
+
+        if ($checked_out_tree) {
+            $remotepath = $$line{"localpath"};
+        }
+        elsif ($repo_is_submodule) {
+            $remotepath = &readgitline(".", 'config', '-f', '.gitmodules', '--get', "submodule.$localpath.url");
+            $remotepath =~ s/\.\.\///;
+        }
+        else {
+            $remotepath = $$line{"remotepath"};
+        }
+
         # We can't create directories on GitHub, so we translate
         # "packages/foo" into "package-foo".
         if ($is_github_repo) {
             $remotepath =~ s/\//-/;
         }
 
-        # Construct the path for this package in the repo we pulled from
-        $path = "$repo_base/$remotepath";
+        # Construct the path or url of the remote repository.
+        $path = "$remote_root/$remotepath";
 
         if ($command eq "get") {
-            next if $remotepath eq "-"; # "git submodule init/update" will get this later
-
-            # Skip any repositories we have not included the tag for
-            if (not defined($tags{$tag})) {
-                $tags{$tag} = 0;
-            }
-            if ($tags{$tag} == 0) {
-                next;
-            }
+            next if $repo_is_submodule; # "git submodule init/update" will get this later
 
             if (-d $localpath) {
                 warning("$localpath already present; omitting")
@@ -360,8 +374,8 @@ sub gitall {
 
         my $git_repo_present = 1 if -e "$localpath/.git" || ($bare_flag && -d "$localpath");
         if (not $git_repo_present) {
-            if ($tag eq "") {
-                die "Required repo $localpath is missing";
+            if ($tag eq "-") {
+                die "Required repo $localpath is missing. Please first run './sync-all get'.\n";
             }
             else {
                  message "== $localpath repo not present; skipping";
@@ -380,7 +394,7 @@ sub gitall {
         }
         elsif ($command eq "check_submodules") {
             # If we have a submodule then check whether it is up-to-date
-            if ($remotepath eq "-") {
+            if ($repo_is_submodule) {
                 my %remote_heads;
 
                 message "== Checking sub-module $localpath";
@@ -399,10 +413,10 @@ sub gitall {
                 }
                 close($lsremote);
 
-                my $myhead = &readgit('.', 'rev-parse', '--verify', 'HEAD');
+                my $myhead = &readgitline('.', 'rev-parse', '--verify', 'HEAD');
 
                 if (not defined($remote_heads{$myhead})) {
-                    die "Sub module $localpath needs to be pushed; see http://hackage.haskell.org/trac/ghc/wiki/Repositories/Upstream";
+                    die "Sub module $localpath needs to be pushed; see http://ghc.haskell.org/trac/ghc/wiki/Repositories/Upstream";
                 }
                 
                 chdir($initial_working_directory);
@@ -412,15 +426,15 @@ sub gitall {
             # We don't automatically push to the submodules. If you want
             # to push to them then you need to use a special command, as
             # described on
-            # http://hackage.haskell.org/trac/ghc/wiki/Repositories/Upstream
-            if ($remotepath ne "-") {
+            # http://ghc.haskell.org/trac/ghc/wiki/Repositories/Upstream
+            if (!$repo_is_submodule) {
                 &git($localpath, "push", @args);
             }
         }
         elsif ($command eq "pull") {
             my $realcmd;
             my @realargs;
-            if ($remotepath eq "-") {
+            if ($repo_is_submodule) {
                 # Only fetch for the submodules. "git submodule update"
                 # will take care of making us point to the right commit.
                 $realcmd = "fetch";
@@ -437,14 +451,13 @@ sub gitall {
             gitNewWorkdir ($localpath, @args);
         }
         elsif ($command eq "send") {
-            $command = "send-email";
             &git($localpath, $command, @args);
         }
         elsif ($command eq "fetch") {
             &git($localpath, "fetch", @args);
         }
         elsif ($command eq "new") {
-            my @scm_args = ("log", "$branch_name..");
+            my @scm_args = ("log", "$remote_name..");
             &git($localpath, @scm_args, @args);
         }
         elsif ($command eq "log") {
@@ -452,30 +465,15 @@ sub gitall {
         }
         elsif ($command eq "remote") {
             my @scm_args;
-            my $rpath;
             $ignore_failure = 1;
-            if ($remotepath eq '-') {
-                $rpath = "$localpath.git"; # N.B.: $localpath lacks the .git suffix
-                if ($localpath =~ /^libraries\//) {
-                    # FIXME: This is just a simple heuristic to
-                    # infer the remotepath for Git submodules. A
-                    # proper solution would require to parse the
-                    # .gitmodules file to obtain the actual
-                    # localpath<->remotepath mapping.
-                    $rpath =~ s/^libraries\//packages\//;
-                }
-                $rpath = "$repo_base/$rpath";
-            } else {
-                $rpath = $path;
-            }
             if ($subcommand eq 'add') {
-                @scm_args = ("remote", "add", $branch_name, $rpath);
+                @scm_args = ("remote", "add", $remote_name, $path);
             } elsif ($subcommand eq 'rm') {
-                @scm_args = ("remote", "rm", $branch_name);
+                @scm_args = ("remote", "rm", $remote_name);
             } elsif ($subcommand eq 'set-branches') {
-                @scm_args = ("remote", "set-branches", $branch_name);
+                @scm_args = ("remote", "set-branches", $remote_name);
             } elsif ($subcommand eq 'set-url') {
-                @scm_args = ("remote", "set-url", $branch_name, $rpath);
+                @scm_args = ("remote", "set-url", $remote_name, $path);
             }
             &git($localpath, @scm_args, @args);
         }
@@ -517,9 +515,9 @@ sub gitall {
             &git($localpath, "tag", @args);
         }
         elsif ($command eq "compare") {
-            # Don't compare the subrepos; it doesn't work properly as
+            # Don't compare the submodules; it doesn't work properly as
             # they aren't on a branch.
-            next if $remotepath eq "-";
+            next if $repo_is_submodule;
 
             my $compareto;
             if ($#args eq -1) {
@@ -534,39 +532,53 @@ sub gitall {
             else {
                 die "Bad args for compare";
             }
-            print "$localpath";
-            print (' ' x (40 - length($localpath)));
-            my $branch = &readgit($localpath, "rev-parse", "--abbrev-ref", "HEAD");
+            printf "%*s", -40, $localpath;
+            my $branch = &readgitline($localpath, "rev-parse", "--abbrev-ref", "HEAD");
             die "Bad branch: $branch"
-                unless $branch =~ /^[a-zA-Z][a-zA-Z0-9.-]*$/;
-            my $us   = &readgit(".", "ls-remote", $localpath, "refs/heads/$branch");
-            my $them = &readgit(".", "ls-remote", $compareto, "refs/heads/$branch");
+                unless $branch =~ m!^[a-zA-Z][a-zA-Z0-9./-]*$!;
+            my $us   = &readgitline(".", "ls-remote", $localpath, "refs/heads/$branch");
+            my $them = &readgitline(".", "ls-remote", $compareto, "refs/heads/$branch");
             $us   =~ s/[[:space:]].*//;
             $them =~ s/[[:space:]].*//;
             die "Bad commit of mine: $us"     unless (length($us)   eq 40);
             die "Bad commit of theirs: $them" unless (length($them) eq 40);
-            if ($us eq $them) {
-                print "same\n";
-            }
-            else {
-                print "DIFFERENT\n";
-            }
+            print $us eq $them ? "same" : "DIFFERENT", "\n";
         }
         else {
             die "Unknown command: $command";
         }
     }
 
-    unlink "resume";
+    unlink "resume", "resume.tmp";
+}
+
+sub gitInitSubmodules {
+    &git(".", "submodule", "init", @_);
+
+    my ($remote_root, $checked_out_tree, $repo_local) = getrepo();
+
+    my $submodulespaths = &readgit(".", "config", "--get-regexp", "^submodule[.].*[.]url");
+    # if we came from github, change the urls appropriately
+    while ($submodulespaths =~ m!^(submodule.(?:libraries/|utils/)?[a-zA-Z0-9-]+.url) ($GITHUB)/ghc/packages/([a-zA-Z0-9-]+).git$!gm) {
+        &git(".", "config", $1, "$2/ghc/packages-$3");
+    }
+
+    # if we came from a local repository, grab our submodules from their
+    # checkouts over there, if they exist.
+    if ($repo_local) {
+        while ($submodulespaths =~ m!^(submodule.((?:libraries/|utils/)?[a-zA-Z0-9-]+).url) .*$!gm) {
+            if (-e "$remote_root/$2/.git") {
+                &git(".", "config", $1, "$remote_root/$2");
+            }
+        }
+    }
 }
 
 sub checkCurrentBranchIsMaster {
-    my $branch = `git symbolic-ref HEAD`;
-    $branch =~ s/refs\/heads\///;
-    $branch =~ s/\n//;
+    my $branch = &readgitline(".", "rev-parse", "--abbrev-ref", "HEAD");
 
     if ($branch !~ /master/) {
-        print "\nWarning: You trying to 'pull' while on branch '$branch'.\n"
+        print "\nWarning: You are trying to 'pull' while on branch '$branch'.\n"
             . "Updates to this script will happen on the master branch which\n"
             . "means the version on this branch may be out of date.\n\n";
     }
@@ -578,81 +590,91 @@ sub help
 
         my $tags = join ' ', sort (grep !/^-$/, keys %tags);
 
-        # Get the built in help
-        my $help = <<END;
+        print <<END;
 Usage:
 
-./sync-all [-q] [-s] [--ignore-failure] [-r repo] [--checked-out] [--bare]
-           [--<tag>] [--no-<tag>] [--resume]
-           cmd [git flags]
+./sync-all [-q] [-s] [--ignore-failure] [-r remote-root] [--checked-out]
+           [--bare] [--<tag>] [--no-<tag>] [--resume] cmd [git flags]
 
     where <tag> is one of: $tags
 
-Applies the command "cmd" to each repository in the tree.
+Applies the command "cmd" to each repository and submodule in the local
+tree.
 
-A full repository tree is obtained by first cloning the ghc
-repository, then getting the subrepositories with "sync-all get":
+A full repository tree is obtained by first cloning the ghc repository,
+then getting the subrepositories and submodules with "sync-all get":
 
-  \$ git clone http://git.haskell.org/ghc.git
+  \$ git clone git://git.haskell.org/ghc.git
   \$ cd ghc
   \$ ./sync-all get
 
 After this, "./sync-all pull" will pull from the original repository
 tree.
 
-A remote pointing to another local repository tree can be added like
-this:
+If you want to clone your own GitHub fork instead, add an argument to
+sync-all to tell it where it can find the other repositories it needs.
+
+  \$ git clone <your preferred github.com GHC fork URL> ghc
+  \$ cd ghc
+  \$ ./sync-all -r git://github.com/ghc get
+
+Another commonly used feature is to add remotes pointing to another
+repository tree like this:
 
-  \$ ./sync-all -r /path/to/ghc remote add otherlocal
+  \$ ./sync-all -r /path/to/other/ghc remote add otherghc
 
-and then we can pull from this other tree with
+and then to pull from that other tree with
 
-  \$ ./sync-all pull otherlocal
+  \$ ./sync-all pull otherghc
 
 -------------- Commands -----------------
 get
 
-    Clones all sub-repositories from the same place that the ghc
-    repository was cloned from. See "which repos to use" below
-    for details of how the subrepositories are laid out.
+    Gets all subrepositories and submodules from the same place that the
+    ghc repository was cloned from. See "layout of remote tree" below
+    for details of how the subrepositories and submodules are laid
+    out.
 
-    There are various --<package-tag> options that can be given
-    before "get" that enable extra repositories. The full list is
-    given at the end of this help. For example:
+    There are various --<package-tag> options that can be given before
+    "get" that enable extra subrepositories. The full list is given at
+    the end of this help. For example:
 
-    ./sync-all --testsuite get
+    ./sync-all --nofib get
 
-    would get the testsuite repository in addition to the usual set of
-    subrepositories.
+    would get the nofib subrepository in addition to the usual set of
+    subrepositories and submodules.
 
-remote add <remote-name>
+remote [-r remote-root] add <remote-name>
 remote rm <remote-name>
-remote set-url [--push] <remote-name>
+remote [-r remote-root] set-url [--push] <remote-name>
+remote set-branches <remote-name> <branch>...
 
-    Runs a "git remote" command on each subrepository, adjusting the
-    repository location in each case appropriately. For example, to
-    add a new remote pointing to the upstream repositories:
+    Runs a "git remote" command on each repository and submodule in the
+    local tree. For the "add" and "set-url" subcommands, the url the
+    remotes will point to are adjusted according to the inferred layout
+    of the remote tree (see "layout of remote tree" below). For example,
+    to add new remotes pointing to the repositories on GitHub:
 
-    ./sync-all -r http://git.haskell.org remote add upstream
+    ./sync-all -r git://github.com/ghc remote add github
 
-    The -r flag points to the root of the repository tree (see "which
-    repos to use" below). For a repository on the local filesystem it
-    would point to the ghc repository, and for a remote repository it
-    points to the directory containing "ghc.git".
+    The <remote-root> should be the root of a repository tree (see
+    "layout of remote tree" below). For a checked-out tree it would
+    point to the ghc directory, otherwise it points to a directory
+    containing "ghc.git".
 
 compare
-compare reporoot
-compare -b reporoot
+compare <remote-root>
+compare -b <remote-root>
 
-    Compare the git HEADs of the repos to the origin repos, or the
-    repos under reporoot (which is assumde to be a checked-out tree
-    unless the -b flag is used).
+    Compare the git HEADs of the repositories to the origin
+    repositories, or the repositories under <remote-root> (which is
+    assumed to be a checked-out tree unless the -b flag is used).
 
-    1 line is printed for each repo, indicating whether the repo is
-    at the "same" or a "DIFFERENT" commit.
+    1 line is printed for each repository, indicating whether the
+    repository is at the "same" or a "DIFFERENT" commit.
 
-These commands just run the equivalent git command on each repository, passing
-any extra arguments to git:
+These commands just run the equivalent git command on each repository
+and submodule, passing any extra arguments to git:
 
   branch
   checkout
@@ -676,24 +698,29 @@ any extra arguments to git:
   tag
 
 -------------- Flags -------------------
-These flags are given *before* the command and modify the way sync-all behaves.
-Flags given *after* the command are passed to git.
+
+These flags are given *before* the command and modify the way sync-all
+behaves. Flags given *after* the command are passed to git.
 
   -q says to be quiet, and -s to be silent.
 
-  --resume will restart a command that failed, from the repo at which it
-  failed. This means you don't need to wait while, e.g., "pull" goes through
-  all the repos it's just pulled, and tries to pull them again.
+  --resume will restart a command that failed, from the repository or
+  submodule at which it failed. This means you don't need to wait while,
+  e.g., "pull" goes through all the repositories it's just pulled, and
+  tries to pull them again.
 
-  --ignore-failure says to ignore errors and move on to the next repository
+  --ignore-failure says to ignore errors and move on to the next
+  repository or submodule
 
-  -r repo says to use repo as the location of package repositories
+  -r <remote-root> says that the remote repository tree can be found at
+  <remote-root>, instead of where this GHC repository came from. Only
+  useful in combination with 'sync-all get' and 'sync-all remote'.
 
-  --checked-out says that the remote repo is in checked-out layout, as opposed
-  to the layout used for the main repo. By default a repo on the local
-  filesystem is assumed to be checked-out, and repos accessed via HTTP or SSH
-  are assumed to be in the main repo layout; use --checked-out to override the
-  latter.
+  --checked-out says that the remote repositories are a checked-out
+  tree, as opposed to a collection of bare repositories. By default a
+  repository on the local filesystem is assumed to be
+  checked-out, and repositories accessed via HTTP or SSH are assumed to
+  be bare; use --checked-out to override the latter.
 
   --bare says that the local repo is in bare layout, same as the main repo. It
   also means that these repos are bare. You only have to use this flag if you
@@ -707,72 +734,63 @@ Flags given *after* the command are passed to git.
 
   --nofib also clones the nofib benchmark suite
 
-  --testsuite also clones the ghc testsuite 
+  --extra clones some extra library packages (see the packages file for
+  the current list)
 
-  --extra also clone some extra library packages
+  --windows also clones the ghc-tarballs repository (enabled by default
+  on Windows)
 
-  --no-dph avoids cloning the dph packages
+  --no-dph avoids cloning the dph repositories
 
 
 ------------ Checking out a branch -------------
+
 To check out a branch you can run the following command:
 
   \$ ./sync-all checkout ghc-7.4
 
 
------------- Which repos to use -------------
-sync-all uses the following algorithm to decide which remote repos to use
+------------ Layout of remote tree -------------
+
+sync-all uses the following algorithm to guess the layout of the remote
+tree
 
-It always computes the remote repos from a single base, <repo_base> How is
-<repo_base> set? If you say "-r repo", then that's <repo_base> otherwise
-<repo_base> is set by asking git where the ghc repo came from, and removing the
-last component (e.g. /ghc.git/ or /ghc/).
+It always computes the urls or paths of the remote repositories from a
+single root, <remote-root>. If you say "-r <remote-root>", then that sets
+<remote-root>. Otherwise, <remote-root> is inferred by asking git where
+the local ghc repository came from, and removing the last component
+(e.g. /ghc.git). The last component is not removed when the
+remote repository is checked-out (appears to be on the local filesystem
+or the flag --checked-out is given).
 
-Then sync-all iterates over the package found in the file ./packages; see that
-file for a description of the contents.
+Then sync-all iterates over the repositories found in the file packages;
+see that file for a description of the contents.
 
-If <repo_base> looks like a local filesystem path, or if you give the
---checked-out flag, sync-all works on repos of form:
+If <remote-root> looks like a local filesystem path, or if you give the
+--checked-out flag, sync-all works on remote repositories of form:
 
-  <repo_base>/<local-path>
+  <remote-root>/<local-path>
 
-otherwise sync-all works on repos of form:
+Otherwise, if a particular repository is a submodule, sync-all uses:
 
-  <repo_base>/<remote-path>
+  <remote-root>/<submodule-url>
+
+Else, sync-all works on remote repositories of form:
+
+  <remote-root>/<remote-path>
+
+In these, <local-path> and <remote-path> are taken from the packages
+file, and <submodule-url> is taken from the file .gitmodules.
+
+Besides all this, there is special handling for GitHub links.
 
 This logic lets you say
   both    sync-all -r http://example.org/ghc-6.12 remote add ghc-6.12
   and     sync-all -r ../working remote add working
-The latter is called a "checked-out tree".
 
-sync-all *ignores* the defaultrepo of all repos other than the root one. So the
-remote repos must be laid out in one of the two formats given by <local-path>
-and <remote-path> in the file 'packages'.
+Available package-tags are: $tags
 
-Available package-tags are:
 END
-
-        # Collect all the tags in the packages file
-        my %available_tags;
-        open IN, "< packages.conf"
-            or open IN, "< packages" # clashes with packages directory when using --bare
-            or die "Can't open packages file (or packages.conf)";
-        while (<IN>) {
-            chomp;
-            if (/^([^# ]+) +(?:([^ ]+) +)?([^ ]+) +([^ ]+)/) {
-                if (defined($2) && $2 ne "-") {
-                    $available_tags{$2} = 1;
-                }
-            }
-            elsif (! /^(#.*)?$/) {
-                die "Bad line: $_";
-            }
-        }
-        close IN;
-
-        # Show those tags and the help text
-        my @available_tags = keys %available_tags;
-        print "$help@available_tags\n\n";
         exit $exit;
 }
 
@@ -797,7 +815,7 @@ sub main {
             $verbose = 0;
         }
         elsif ($arg eq "-r") {
-            $defaultrepo = shift;
+            $default_root = shift;
         }
         elsif ($arg eq "--resume") {
             $try_to_resume = 1;
@@ -805,11 +823,9 @@ sub main {
         elsif ($arg eq "--ignore-failure") {
             $ignore_failure = 1;
         }
-        elsif ($arg eq "--complete" || $arg eq "--partial") {
-            $get_mode = $arg;
-        }
-        # Use --checked-out if the _remote_ repos are a checked-out tree,
-        # rather than the master trees.
+        # Use --checked-out if the _remote_ repositories are a
+        # checked-out tree, rather than a collection of bare
+        # repositories.
         elsif ($arg eq "--checked-out") {
             $checked_out_flag = 1;
         }
@@ -845,10 +861,10 @@ sub main {
     my $checked_out_found = 1 if (-d ".git" && -d "compiler");
     my $bare_found = 1 if (-d "ghc.git");
 
-    if ($bare_flag && ! $bare_found && ! $defaultrepo) {
+    if ($bare_flag && ! $bare_found && ! $default_root) {
         die "error: bare repository ghc.git not found.\n"
           . "       Either clone a bare ghc repo first or specify the repo location. E.g.:\n"
-          . "       ./sync-all --bare [--testsuite --nofib --extra] -r http://git.haskell.org get\n"
+          . "       ./sync-all --bare [--nofib --extra] -r http://git.haskell.org get\n"
     }
     elsif ($bare_found) {
         $bare_flag = "--bare";
@@ -875,8 +891,8 @@ sub main {
         elsif ($command =~ /^(?:pul|pull)$/) {
             $command = "pull";
         }
-        elsif ($command =~ /^(?:s|se|sen|send)$/) {
-            $command = "send";
+        elsif ($command =~ /^(?:s|se|sen|send|send-email)$/) {
+            $command = "send-email";
         }
         elsif ($command =~ /^(?:w|wh|wha|what|whats|whatsn|whatsne|whatsnew|status)$/) {
             $command = "status";
@@ -891,19 +907,10 @@ sub main {
         my @submodule_args = grep(/^-q/,@_);
 
         if ($command eq "get") {
-            &git(".", "submodule", "init", @submodule_args);
-        }
-        if ($command eq "pull") {
-            my $gitConfig = &tryReadFile(".git/config");
-            if ($gitConfig !~ /submodule/) {
-                &git(".", "submodule", "init", @submodule_args);
-            }
+            &gitInitSubmodules(@submodule_args);
         }
+
         if ($command eq "get" or $command eq "pull") {
-            my $gitConfig = &tryReadFile(".git/config");
-            if ($gitConfig !~ /submodule/) {
-                &git(".", "submodule", "init", @submodule_args);
-            }
             &git(".", "submodule", "update", @submodule_args);
         }
     }
@@ -915,92 +922,72 @@ BEGIN {
         checkCurrentBranchIsMaster();
     }
     $initial_working_directory = getcwd();
-}
-
-END {
-    my $ec = $?;
-
-    chdir($initial_working_directory);
 
-    message "== Checking for old haddock repo";
-    if (-d "utils/haddock/.git") {
-        chdir("utils/haddock");
-        if ((system "git log -1 87e2ca11c3d1b1bc49900fba0b5c5c6f85650718 > /dev/null 2> /dev/null") == 0) {
+    my @obsolete_dirs = qw!
+        testsuite
+        libraries/base
+        libraries/ghc-prim
+        libraries/template-haskell
+        libraries/integer-gmp
+        libraries/integer-simple
+        !;
+    for my $dir (@obsolete_dirs) {
+        if (-e "$dir/.git") {
             print <<EOF;
 ============================
 ATTENTION!
 
-You have an old haddock repository in your GHC tree!
+You have a left-over $dir/.git folder in your GHC tree!
 
-Please remove it (e.g. "rm -r utils/haddock"), and then run
-"./sync-all get" to get the new repository.
+Please backup or remove it (e.g. "rm -r $dir/.git") before
+proceeding as the aforesaid Git repository is now tracked as part of
+the ghc Git repository (see #8545 for more details)
 ============================
 EOF
+            die "detected obsolete $dir/.git folder"
         }
-        chdir($initial_working_directory);
     }
+}
 
-    message "== Checking for old binary repo";
-    if (-d "libraries/binary/.git") {
-        chdir("libraries/binary");
-        if ((system "git log -1 749ac0efbde3b14901417364a872796598747aaf > /dev/null 2> /dev/null") == 0) {
-            print <<EOF;
-============================
-ATTENTION!
-
-You have an old binary repository in your GHC tree!
-
-Please remove it (e.g. "rm -r libraries/binary"), and then run
-"./sync-all get" to get the new repository.
-============================
-EOF
-        }
-        chdir($initial_working_directory);
-    }
-
-    message "== Checking for old mtl repo";
-    if (-d "libraries/mtl/.git") {
-        chdir("libraries/mtl");
-        if ((system "git log -1 c67d8f7247c612dc35242bc67e616f7ea35eadb9 > /dev/null 2> /dev/null") == 0) {
-            print <<EOF;
-============================
-ATTENTION!
-
-You have an old mtl repository in your GHC tree!
+END {
+    my $ec = $?;
 
-Please remove it (e.g. "rm -r libraries/mtl"), and then run
-"./sync-all get" to get the new repository.
-============================
-EOF
-        }
-        chdir($initial_working_directory);
-    }
+    chdir($initial_working_directory);
 
-    message "== Checking for old Cabal repo";
-    if (-d "libraries/Cabal/.git") {
-        chdir("libraries/Cabal");
-        if ((system "git log -1 c8ebd66a32865f72ae03ee0663c62df3d77f08fe > /dev/null 2> /dev/null") == 0) {
-            print <<EOF;
+    my @obsolete_dirs = (
+        ["utils/haddock",    "87e2ca11c3d1b1bc49900fba0b5c5c6f85650718"],
+        ["libraries/binary", "749ac0efbde3b14901417364a872796598747aaf"],
+        ["libraries/mtl",    "c67d8f7247c612dc35242bc67e616f7ea35eadb9"],
+        ["libraries/Cabal",  "c8ebd66a32865f72ae03ee0663c62df3d77f08fe"],
+        );
+    for (@obsolete_dirs) {
+        my ($dir, $hash) = @$_;
+        my ($name) = $dir =~ m!/([^/]+)$!;
+        message "== Checking for old $name repo";
+        if (-e "$dir/.git") {
+            &inDir($dir, sub {
+                if ((system "git log -1 --quiet $hash > /dev/null 2> /dev/null") == 0) {
+                    print <<EOF;
 ============================
 ATTENTION!
 
-You have an old Cabal repository in your GHC tree!
+You have an old $name repository in your GHC tree!
 
-Please remove it (e.g. "rm -r libraries/Cabal"), and then run
+Please remove it (e.g. "rm -r $dir"), and then run
 "./sync-all get" to get the new repository.
 ============================
 EOF
+                }
+            });
         }
-        chdir($initial_working_directory);
     }
-
     message "== Checking for old time from tarball";
-    if (-d "libraries/time" and ! -e "libraries/time/.git") {
+    if (-f "libraries/time/LICENSE" and ! -e "libraries/time/.git") {
             print <<EOF;
 ============================
 ATTENTION!
 
-You have an old time package in your GHC tree!
+You have an old time repository in your GHC tree!
 
 Please remove it (e.g. "rm -r libraries/time"), and then run
 "./sync-all get" to get the new repository.
@@ -1008,8 +995,8 @@ Please remove it (e.g. "rm -r libraries/time"), and then run
 EOF
     }
 
-    message "== Checking for obsolete Git repo URL";
-    my $repo_url = &readgit(".", 'config', '--get', 'remote.origin.url');
+    message "== Checking for obsolete Git repository URL";
+    my $repo_url = &readgitline(".", 'config', '--get', 'remote.origin.url');
     if ($repo_url =~ /^http:\/\/darcs.haskell.org/) {
             print <<EOF;
 ============================
@@ -1034,4 +1021,3 @@ EOF
 }
 
 main(@ARGV);
-