X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2FMakefile;h=48d4e8af8c17d389aed8bbc8f32b91a85b7f765c;hb=c30b48dc423ef9c25473d7b5f211eac018f2f0fa;hp=b19f646fb84af9835a03a9c529727ac9164caa64;hpb=0724f5f9dc9bcf49097dc20fcd6aed77bc12763c;p=helm.git

diff --git a/matita/Makefile b/matita/Makefile
index b19f646fb..48d4e8af8 100644
--- a/matita/Makefile
+++ b/matita/Makefile
@@ -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 			
 TEST_DIRS_OPT = 			\
-	$(TEST_DIRS)                    \
-	library_auto 			\
+	$(TEST_DIRS)        \
 	$(NULL)
 
 .PHONY: tests tests.opt cleantests cleantests.opt