# ./darc-all push --dry-run
# To see what local patches you have relative to the main repos
#
+# -------------- Flags -------------------
+# -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.
+#
# ------------ Which repos to use -------------
# darcs-all uses the following algorithm to decide which remote repos to use
#
# 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'.
-# -------------- Flags -------------------
-# -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.
-#
$| = 1; # autoflush stdout after each print, to avoid output after die
my ($repo_base, $checked_out_tree) = getrepo();
- if (! grep /(?:--complete|--partial)/, @_) {
+ if (! grep /(?:--complete|--partial|--lazy)/, @_) {
warning("adding --partial, to override use --complete");
$r_flags = [@_, "--partial"];
}
elsif ($arg eq "--testsuite") {
$tags{"testsuite"} = 1;
}
+ # --extralibs tells get to also grab the extra repos.
+ # It has no effect on the other commands.
+ elsif ($arg eq "--extra") {
+ $tags{"extra"} = 1;
+ }
elsif ($arg eq "--checked-out") {
$checked_out_flag = 1;
}
}
END {
+ my $ec = $?;
+
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) {
}
}
+ message "== Checking for bytestring tarball";
+ if (-d "libraries/bytestring" && not -d "libraries/bytestring/_darcs") {
+ print <<EOF;
+============================
+ATTENTION!
+
+You have an old bytestring in your GHC tree!
+
+Please remove it (e.g. "rm -r libraries/bytestring"), and then run
+"./darcs-all get" to get the darcs repository.
+============================
+EOF
+ }
+
message "== Checking for unpulled tarball patches";
if ((system "darcs annotate --match 'hash 20090930200358-3fd76-cab3bf4a0a9e3902eb6dd41f71712ad3a6a9bcd1' > /dev/null 2> /dev/null") == 0) {
print <<EOF;
============================
EOF
}
+
+ $? = $ec;
}
main(@ARGV);