X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=darcs-all;h=9efeab13e9d5f0cbcbd554eb4096c895d897f640;hp=3a7cc362ea01a389bfa3c772826bcbab9f2d4a00;hb=2f6ad11fa0c2995d950c91fd4301f23aceeb443b;hpb=44deb23d9a1e9a28554f26eed85e76cb1c77220e

diff --git a/darcs-all b/darcs-all
index 3a7cc36..9efeab1 100644
--- a/darcs-all
+++ b/darcs-all
@@ -7,29 +7,38 @@ top_dirs="nofib testsuite"
 default_repo_root="http://darcs.haskell.org/"
 default_lib_repo_root=$default_repo_root/packages
 
-function darcsall()
+quiet=NO
+
+message()
+{
+  if [ "$quiet" = "NO" ]; then
+     echo $*
+  fi
+}
+
+darcsall()
 {
-  echo == running darcs $* at the top level
+  message "== running darcs $* at the top level"
   darcs $*
   for dir in $top_dirs; do
     if test -d $dir -a -d $dir/_darcs; then
-	echo "== running darcs $* in $dir"
+	message "== running darcs $* in $dir"
 	darcs $* --repodir $dir
     else
-	echo "== $dir not present or not a repository; skipping"
+	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
-	echo "== running darcs $* in libraries/$pkg"
+	message "== running darcs $* in libraries/$pkg"
 	darcs $* --repodir libraries/$pkg
     else
-	echo "warning: $dir doesn't seem to exist, use 'darcs-all get' to get it"
+	echo "warning: $pkg doesn't seem to exist, use 'darcs-all get' to get it"
     fi
   done
 }
 
-function darcsget()
+darcsget()
 {
   case $* in
     *--partial*) ;;
@@ -43,22 +52,40 @@ function 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
 	repo=$lib_repos/$pkg
-	echo "== running darcs get --partial $* $repo"
+	message "== running darcs get --partial $* $repo"
 	darcs get --partial $* $repo
     fi
   done
 }
 
-if test ! -d _darcs -o ! -d ghc; then
+if test ! -d _darcs -o ! -d compiler; then
   echo "error: darcs-all must be run from the top level of the ghc tree."
   exit 1;
 fi
 
+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