On 04/04/2010 09:10 AM, Matthew Flatt wrote:
I've committed a first attempt at `rico' in SVN, so you can try out
`rico setup' instead of `setup-plt', `rico make' instead of `mzc', etc.
There's no documentation, yet, because I'll start by converting the mzc
docs, and I'm not yet ready to convert docs. For now, here's how you
plug in new commands:
Thats cool. Could rico separate different commands by their respective
module? Maybe also force some prefix so that identical commands can be used.
$ rico --help
* compiler commands
c-ext ...
make ...
* htdp commands
whatever ...
make ...
If the user just chose `make' then it would select the one with the
highest precedence, otherwise they can use --htdp:make to select that
specific one.
_________________________________________________
For list-related administrative tasks:
http://list.cs.brown.edu/mailman/listinfo/plt-dev
