X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=darcs-all;fp=darcs-all;h=2792481633fa6dfd3ab073bd06c8227efa2b2e2d;hp=a80e6f86ac7d018a2da98f0914828eb3d0c57667;hb=e51cdf9b6e54fb4052e46b6d7afb15e062928467;hpb=40aeca610ef70b5010248cfd5d6b6f823955f457

diff --git a/darcs-all b/darcs-all
index a80e6f8..2792481 100644
--- a/darcs-all
+++ b/darcs-all
@@ -112,20 +112,6 @@ 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
@@ -178,10 +164,6 @@ sub darcsall {
             die "Bad line: $_";
         }
     }
-
-    if ($_[0] eq "pull" || $_[0] eq "pul") {
-        &sync_tarballs();
-    }
 }
 
 sub darcsget {
@@ -233,63 +215,6 @@ 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 {