Almost every hand-inserted coercion removed since a bug in the coercion

[helm.git] / matita / Makefile

diff --git a/matita/Makefile b/matita/Makefile
index 6b93a0f6e4828f4667dbfcf7ca598c066ea0467e..ab03a892f002094e57d0169af7a0dfe932ef08a9 100644 (file)
--- a/matita/Makefile
+++ b/matita/Makefile
@@ -203,9 +203,11 @@ distclean: clean
 TEST_DIRS =                            \
        library                         \
        tests                           \
+       dama                            \
+       contribs/CoRN                   \
+       contribs/RELATIONAL             \
        contribs/LAMBDA-TYPES           \
        contribs/PREDICATIVE-TOPOLOGY   \
-       contribs/RELATIONAL             \
        $(NULL)
 
 .PHONY: tests tests.opt cleantests cleantests.opt