| Revision: | 1.3 |
| Committed: | Sun Jul 13 08:40:54 2008 UTC (16 years, 9 months ago) by loizides |
| Branch: | MAIN |
| Changes since 1.2: | +2 -5 lines |
| Log Message: | By default we now have debug symbols in |
| # | Content |
|---|---|
| 1 | # -*- Makefile -*- |
| 2 | # $Id: BuildFile,v 1.2 2008/07/07 16:41:53 paus Exp $ |
| 3 | |
| 4 | <use name=MitAna/TAM> |
| 5 | <use name=MitAna/DataTree> |
| 6 | <use name=MitAna/DataUtil> |
| 7 | <use name=MitAna/Catalog> |
| 8 | <use root> |
| 9 | <lib name=Proof> |
| 10 | <flags CXXFLAGS="-g"> |
| 11 | <export> |
| 12 | <lib name=MitAnaTreeMod> |
| 13 | <use root> |
| 14 | </export> |