Revision: | 1.8 |
Committed: | Wed Oct 15 17:27:00 2008 UTC (16 years, 6 months ago) by loizides |
Branch: | MAIN |
CVS Tags: | Mit_011, Mit_010a, Mit_010, Mit_009c, Mit_009b, Mit_009a, Mit_009, Mit_008, Mit_008pre2, Mit_008pre1, Mit_006b, Mit_006a, Mit_006, Mit_005 |
Changes since 1.7: | +1 -2 lines |
Log Message: | Remove unneeded dependency. |
# | Content |
---|---|
1 | # -*- Makefile -*- |
2 | # $Id: BuildFile,v 1.7 2008/09/06 19:04:49 sixie Exp $ |
3 | |
4 | <use name=MitAna/TAM> |
5 | <use name=MitAna/DataTree> |
6 | <use name=MitAna/DataUtil> |
7 | <use name=MitAna/Catalog> |
8 | <use name=MitCommon/MathTools> |
9 | <use root> |
10 | <lib name=Proof> |
11 | #<flags CXXFLAGS="-g"> |
12 | <export> |
13 | <lib name=MitAnaTreeMod> |
14 | </export> |