diff options
| -rw-r--r-- | darcs-all | 5 | ||||
| -rw-r--r-- | packages | 1 |
2 files changed, 6 insertions, 0 deletions
@@ -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") { @@ -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 |