Fix computation of installed packages

This is a follow-on to Simon's patch yesterday, developed
with him.  It cleans up the computation of how packages
are installed, and installs the right ones.

1 files changed, 6 insertions, 0 deletions

diff --git a/packages b/packages
index fef1b186d5..dd8c0a8f59 100644
--- a/packages
+++ b/packages
@@ -22,12 +22,18 @@
 #   * 'localpath' is where to put the repository in a checked out tree.
 #   * 'remotepath' is where the repository is in the central repository.
 #   * 'VCS' is what version control system the repo uses.
+#
 #   * The 'tag' determines when "darcs-all get" will get the
 #     repo. If the tag is "-" then it will always get it, but if there
 #     is a tag then a corresponding flag must be given to darcs-all, e.g.
 #     if you want to get the packages with an "extralibs" or "testsuite"
 #     tag then you need to use "darcs-all --extra --testsuite get".
 #     Support for new tags must be manually added to the darcs-all script.
+# 
+#     'tag' is also used to determine which packages the build system
+#     deems to have the EXTRA_PACKAGE property: tags 'dph' and 'extra' 
+#     both give this property
+#
 #   * 'upstream' is the URL of the upstream repo, where there is one, or
 #     "-" if there is no upstream.
 #