Add dph to ./packages and darcs-all

diff --git a/darcs-all b/darcs-all
index 28933bf..d53ed36 100644 (file)
--- a/darcs-all
+++ b/darcs-all
@@ -143,6 +143,11 @@ sub main {
         elsif ($arg eq "-s") {
             $verbose = 0;
         }
+        # --dph says we grab the dph libs with 'get'.
+        # It has no effect on the other commands.
+        elsif ($arg eq "--dph") {
+            $tags{"dph"} = 1;
+        }
         # --extra says we grab the extra libs with 'get'.
         # It has no effect on the other commands.
         elsif ($arg eq "--extra") {

diff --git a/packages b/packages
index 88d6c39..1ab45af 100644 (file)
--- a/packages
+++ b/packages
@@ -35,6 +35,7 @@ libraries/regex-posix       extralibs   packages/regex-posix
 libraries/stm               extralibs   packages/stm
 libraries/time              extralibs   packages/time
 libraries/xhtml             extralibs   packages/xhtml
+libraries/dph               dph         packages/dph
 testsuite                   testsuite   testsuite
 nofib                       nofib       nofib