[ I think all relevant people are reading this list, anyway, so I stop this annoying cross-posting... ] On Monday 02 April 2007 19:22, I wrote:
Mon Apr 2 10:19:28 PDT 2007 sven.panne@aedion.de * Added handling of URLs in package list
M ./darcs-all -9 +20 M ./package-list -1 +2
With this last patch darcs-all is slowly approaching the mind-boggling simplicity of the Evil Mangler, and I think its functionality is a strict superset of GHC's and nhc's current darcs-all scripts. The package-list in the Hugs repo represents GHC's current idea of core/extra packages, it would be nice if we could synch this with nhc somehow. The only things left are a little bit more testing, hooking things into the respective build systems and updating the documentation. Note that we have a single package-list file now, and Makefiles/scripts should not directly read this. Instead, they should use e.g. "darcs-all --extra --list" to get a full list of packages or "darcs-all --list" to get only a list of core packages. Hmmm, perhaps the former should list *only* extra packages? Or an additional flag? Comments are highly welcome... Cheers, S.