X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2FMakefile;h=e13b2d657deb13511e840755b47dcd872af9ced8;hb=b2213b9fbc56461ef47b971686edbba82a9658bf;hp=1e940c3b8c5218aa1e8d5dc8c43d4ad028d398b0;hpb=c2a02fcbcaaef7358acebcb27014db4a601ad026;p=helm.git

diff --git a/matita/Makefile b/matita/Makefile
index 1e940c3b8..e13b2d657 100644
--- a/matita/Makefile
+++ b/matita/Makefile
@@ -41,7 +41,6 @@ MLI = \
 	matitaScript.mli	\
 	matitaMathView.mli 	\
 	matitaGui.mli		\
-	matitaAutoGui.cmo		\
 	$(NULL)
 CMLI =				\
 	matitaTypes.mli		\
@@ -62,7 +61,7 @@ MAINCMLI =			\
 	gragrep.mli 		\
 	$(NULL)
 # objects for matita (GTK GUI)
-ML = buildTimeConf.ml matitaGeneratedGui.ml $(MLI:%.mli=%.ml)
+ML = buildTimeConf.ml matitaGeneratedGui.ml matitaAutoGui.ml $(MLI:%.mli=%.ml)
 # objects for matitac (batch compiler)
 CML = buildTimeConf.ml $(CMLI:%.mli=%.ml)
 MAINCML = $(MAINCMLI:%.mli=%.ml)
@@ -421,7 +420,7 @@ else
   TO_DEPEND_ON=$(LIB_DEPS)
 endif
 
-$(MLI:%.mli=%.cmi): $(TO_DEPEND_ON)
+$(MLI:%.mli=%.cmi) $(ML:%.ml=%.cmo) $(ML:%.ml=%.cmx): $(TO_DEPEND_ON)
 
 include $(TO_INCLUDE)