# ./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
# 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
+#
+# 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
+# othewise $repo_base is set thus:
+# look in _darcs/prefs/defaultrepo,
+# and remove the trailing 'ghc'
+#
+# Then darcs-all iterates over the package found in the file
+# ./packages, which has entries like:
+# libraries/array packages/array darcs
+# or, in general
+# <local-path> <remote-path> <vcs>
+#
+# If $repo_base looks like a local filesystem path, or if you give
+# the --checked-out flag, darcs-all works on repos of form
+# $repo_base/<local-path>
+# otherwise darcs-all works on repos of form
+# $repo_base/<remote-path>
+# This logic lets you say
+# both darcs-all -r http://darcs.haskell.org/ghc-6.12 pull
+# and darcs-all -r ../HEAD pull
+# The latter is called a "checked-out tree".
+
+# NB: darcs-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'.
+
$| = 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;
}