summaryrefslogtreecommitdiff
path: root/packages
diff options
context:
space:
mode:
Diffstat (limited to 'packages')
-rw-r--r--packages6
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.
#