legacy development created

[helm.git] / matita / Makefile

diff --git a/matita/Makefile b/matita/Makefile
index 5cf295834c45848be4ce041c57d07fd380de3943..fd96cc5f99d7ebd4cf2ba79d9c411731ae073f77 100644 (file)
--- a/matita/Makefile
+++ b/matita/Makefile
@@ -201,8 +201,11 @@ distclean: clean
        $(H)rm -rf .matita
 
 TEST_DIRS =                            \
+       legacy                          \
        library                         \
        tests                           \
+       dama                            \
+       contribs/CoRN                   \
        contribs/RELATIONAL             \
        contribs/LAMBDA-TYPES           \
        contribs/PREDICATIVE-TOPOLOGY   \