X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=darcs-all;h=9efeab13e9d5f0cbcbd554eb4096c895d897f640;hp=579bc5cd15bdb2883da4fa8692933b0c66997a89;hb=9da4639011348fb6c318e3cba4b08622f811d9c4;hpb=4ce08e13864d000c599e1816b284b23ef16b2971

diff --git a/darcs-all b/darcs-all
index 579bc5c..9efeab1 100644
--- a/darcs-all
+++ b/darcs-all
@@ -28,7 +28,7 @@ darcsall()
 	message "== $dir not present or not a repository; skipping"
     fi
   done
-  for pkg in `cat libraries/default-packages`; do
+  for pkg in `cat libraries/core-packages libraries/extra-packages`; do
     if test -d libraries/$pkg; then
 	message "== running darcs $* in libraries/$pkg"
 	darcs $* --repodir libraries/$pkg
@@ -52,7 +52,14 @@ darcsget()
   esac
 
   cd libraries
-  for pkg in `cat default-packages`; do
+
+  if test "$extra" = "YES"; then
+      packages=`cat core-packages extra-packages`
+  else
+      packages=`cat core-packages`
+  fi
+
+  for pkg in $packages; do
     if test -d $pkg; then
 	echo "warning: $pkg already present; omitting"
     else
@@ -72,6 +79,13 @@ case $* in
   *-q*) quiet=YES;;
 esac
 
+# --extra says we grab the extra libs with 'get'.  It has no effect on
+# the other commands.
+extra=NO;
+case $1 in
+  --extra) shift; extra=YES;
+esac
+
 case $1 in
   get)  shift; darcsget $*;;
   # Hack around whatsnew failing if there are no changes