From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Mon, 4 Jun 2007 16:06:10 +0000 (+0000)
Subject: tentative fix
X-Git-Tag: 0.4.95@7852~404
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=10717eeb347ae366a79ec4abf38f00c2cee1dff3;p=helm.git

tentative fix
---

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)