Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-03-01 15:09:16 -0800 (Tue, 01 Mar 2005)
Revision: 6790
Log message:
Use omake to construct the final mmc theory.
In mk/config, you now have the option to specify the
mmc extensions and backends.
For each extension, you must specify:
1. The name of the extension
2. The files
3. Any backend-specific files
See any of the extensions/*/Files for examples.