| Revision: | 1.2 |
| Committed: | Mon Jul 7 16:41:53 2008 UTC (16 years, 9 months ago) by paus |
| Branch: | MAIN |
| Changes since 1.1: | +3 -1 lines |
| Log Message: | Implement simple Ascii file driven catalog. Easily extensible, though. |
| # | User | Rev | Content |
|---|---|---|---|
| 1 | loizides | 1.1 | # -*- Makefile -*- |
| 2 | paus | 1.2 | # $Id: BuildFile,v 1.1 2008/05/27 19:50:16 loizides Exp $ |
| 3 | loizides | 1.1 | |
| 4 | <use name=MitAna/TAM> | ||
| 5 | <use name=MitAna/DataTree> | ||
| 6 | <use name=MitAna/DataUtil> | ||
| 7 | paus | 1.2 | <use name=MitAna/Catalog> |
| 8 | loizides | 1.1 | <use root> |
| 9 | <lib name=Proof> | ||
| 10 | <export> | ||
| 11 | <lib name=MitAnaTreeMod> | ||
| 12 | <use name=MitAna/TAM> | ||
| 13 | <use name=MitAna/DataTree> | ||
| 14 | <use name=MitAna/DataUtil> | ||
| 15 | paus | 1.2 | <use name=MitAna/Catalog> |
| 16 | loizides | 1.1 | <use root> |
| 17 | </export> |