X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=darcs-all;h=a80e6f86ac7d018a2da98f0914828eb3d0c57667;hp=1a0e639a4789661e2e733d235af496aa63ac2ceb;hb=b8bea68cd642bf4455892e4fbac8ad398b694ec9;hpb=d9718410b1612985432cffd3e5fbcac148840be7

diff --git a/darcs-all b/darcs-all
index 1a0e639..a80e6f8 100644
--- a/darcs-all
+++ b/darcs-all
@@ -4,21 +4,41 @@ use strict;
 
 # Usage:
 #
-# ./darcs-all [-q] [-s] [-i] [-r repo] [--nofib] [--testsuite] get [darcs get flags]
-#   This gets the GHC core repos, if they do not already exist.
+# ./darcs-all [-q] [-s] [-i] [-r repo]
+#             [--nofib] [--testsuite] [--checked-out] cmd [darcs flags]
+#
+# Applies the darcs command "cmd" to each repository in the tree.
+#
+# e.g.
+#      ./darcs-all -r http://darcs.haskell.org/ghc get
+#          To get any repos which do not exist in the local tree
+#
+#      ./darcs-all -r ~/ghc-validate push
+#          To push all your repos to the ~/ghc-validate tree
+#
+#      ./darcs-all pull -a
+#          To pull everything from the default repos
+#
+#      ./darc-all push --dry-run
+#          To see what local patches you have relative to the main repos
+#
 #   -q says to be quite, and -s to be silent.
+#
 #   -i says to ignore darcs errors and move on to the next repository
+#
 #   -r repo says to use repo as the location of package repositories
+#
+#   --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.
+#
 #   --nofib, --testsuite also get the nofib and testsuite repos respectively
+#
 #   The darcs get flag you are most likely to want is --complete. By
 #   default we pass darcs the --partial flag.
 #
-# ./darcs-all [-q] [-s] [-i] [-r repo] cmd [darcs cmd flags]
-#   This runs the darcs "cmd" command, with any flags you give, in all
-#   of the repos you have checked out. e.g.
-#       ./darcs-all pull
-#       ./darcs-all -q send --dry-run
-#   -q says to be quite, and -s to be silent.
 
 $| = 1; # autoflush stdout after each print, to avoid output after die
 
@@ -27,6 +47,7 @@ my $defaultrepo;
 my $verbose = 2;
 my $ignore_failure = 0;
 my $want_remote_repo = 0;
+my $checked_out_flag = 0;
 
 my %tags;
 
@@ -44,7 +65,14 @@ sub getrepo {
         # Above regex says "at least two chars before the :", to avoid
         # catching Win32 drives ("C:\").
         $repo_base = $repo;
-        $checked_out_tree = 0;
+
+        # --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;
+        }
 
         # Don't drop the last part of the path if specified with -r, as
         # it expects repos of the form:
@@ -84,6 +112,20 @@ sub warning {
     }
 }
 
+sub download {
+    my ($from, $to) = @_;
+
+    my @cmd = ("wget", $from, "-O", $to);
+    message "== running @cmd";
+    system @cmd;
+    if ($? == -1) {
+        die "Failed to execute wget: $!\n";
+    }
+    elsif ($? != 0) {
+        die "wget failed: $?\n";
+    }
+}
+
 sub darcs {
     message "== running darcs @_";
     system ("darcs", @_) == 0
@@ -104,7 +146,7 @@ sub darcsall {
     @repos = <IN>;
     close IN;
 
-    REPO: foreach (@repos) {
+    foreach (@repos) {
         chomp;
         if (/^([^# ]+) +(?:([^ ]+) +)?([^ ]+) +([^ ]+)$/) {
             $localpath = $1;
@@ -136,6 +178,10 @@ sub darcsall {
             die "Bad line: $_";
         }
     }
+
+    if ($_[0] eq "pull" || $_[0] eq "pul") {
+        &sync_tarballs();
+    }
 }
 
 sub darcsget {
@@ -187,6 +233,63 @@ sub darcsget {
             die "Bad line: $_";
         }
     }
+
+    &sync_tarballs();
+}
+
+sub sync_tarballs {
+    my $localpath;
+    my $localdirectory;
+    my $localfilename;
+    my $actualpath;
+    my $actualfilename;
+    my $remotepath;
+    my $path;
+    my @tarballs;
+    my %localtarballs;
+    my ($repo_base, $checked_out_tree) = getrepo();
+
+    message "== Syncing tarballs";
+
+    open IN, "< tarballs" or die "Can't open packages file";
+    @tarballs = <IN>;
+    close IN;
+
+    foreach (@tarballs) {
+        chomp;
+        if (m@^([^# ]+)/([^#/ ]+) +([^ ]+)$@) {
+            $localdirectory = $1;
+            $localfilename = $2;
+            $remotepath = $3;
+            $localpath = "$localdirectory/$localfilename";
+
+            $localtarballs{$localdirectory}{$localfilename} = 1;
+
+            if (! -e $localpath) {
+                if ($checked_out_tree) {
+                    $path = "$repo_base/$localpath";
+                }
+                else {
+                    $path = "$repo_base/$remotepath";
+                }
+                &download($path, $localpath);
+            }
+        }
+        elsif (! /^(#.*)?$/) {
+            die "Bad line: $_";
+        }
+    }
+
+    foreach $localdirectory (keys %localtarballs) {
+        FILE: foreach $actualpath (glob "$localdirectory/*.tar.gz $localdirectory/*.tar.bz2") {
+            $actualfilename = $actualpath;
+            $actualfilename =~ s#.*/##;
+            if (! defined($localtarballs{$localdirectory}{$actualfilename})) {
+                message "== Deleting $actualpath";
+                unlink $actualpath;
+            }
+        }
+    }
 }
 
 sub main {
@@ -220,6 +323,9 @@ sub main {
         elsif ($arg eq "--testsuite") {
             $tags{"testsuite"} = 1;
         }
+        elsif ($arg eq "--checked-out") {
+            $checked_out_flag = 1;
+        }
         else {
             unshift @_, $arg;
             if (grep /^-q$/, @_) {
@@ -248,5 +354,23 @@ sub main {
     }
 }
 
+END {
+    message "== Checking for old bytestring repo";
+    if (-d "libraries/bytestring/_darcs") {
+        if ((system "darcs annotate --repodir libraries/bytestring --match 'hash 20080118173113-3fd76-d5b74c04372a297b585ebea4e16d524551ce5035' > /dev/null 2> /dev/null") == 0) {
+            print <<EOF;
+============================
+ATTENTION!
+
+You have an old bytestring repository in your GHC tree!
+
+Please remove it (e.g. "rm -r libraries/bytestring"), and the new
+version of bytestring will be used from a tarball instead.
+============================
+EOF
+        }
+    }
+}
+
 main(@ARGV);