X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=packages;h=dd8c0a8f5904b2f725df80a6f99a76222e0c6148;hb=2207ce8cdc4c33838f77f285c7dd4f7c75dbae1c;hp=fef1b186d58302935fb303fce736bff04d5a1c46;hpb=a613254621412c595207bcc5681e0f2a3e5ce7d0;p=ghc-hetmet.git diff --git a/packages b/packages index fef1b18..dd8c0a8 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. #