]> matita.cs.unibo.it Git - helm.git/commitdiff
OPT tests restored
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 17 May 2007 15:17:39 +0000 (15:17 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 17 May 2007 15:17:39 +0000 (15:17 +0000)
helm/software/matita/Makefile

index c6b6f0b1ffe08f4b73020ec814811216881dc143..48d4e8af8c17d389aed8bbc8f32b91a85b7f765c 100644 (file)
@@ -42,6 +42,7 @@ CMOS =                                \
        matitaGeneratedGui.cmo  \
        matitaMathView.cmo      \
        matitaGui.cmo           \
+       matitaAutoGui.cmo               \
        $(NULL)
 # objects for matitac (batch compiler)
 CCMOS =                                \
@@ -218,9 +219,9 @@ TEST_DIRS =                                 \
        contribs/PREDICATIVE-TOPOLOGY   \
        $(NULL)
 
-#      library_auto                    \
+#      library_auto                    
 TEST_DIRS_OPT =                        \
-       $(TEST_DIRS)                    \
+       $(TEST_DIRS)        \
        $(NULL)
 
 .PHONY: tests tests.opt cleantests cleantests.opt