TEST_DIRS = \
legacy \
- library \
- tests \
- contribs/dama/dama \
- contribs/assembly \
- contribs/CoRN \
- contribs/RELATIONAL \
- contribs/LOGIC \
- contribs/PREDICATIVE-TOPOLOGY \
+ library
+ # tests \
+ # contribs/dama/dama \
+ # contribs/assembly \
+ # contribs/CoRN \
+ # contribs/RELATIONAL \
+ # contribs/LOGIC \
+ # contribs/PREDICATIVE-TOPOLOGY \
$(NULL)
# library_auto