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

tentative fix
---

diff --git a/helm/software/matita/Makefile b/helm/software/matita/Makefile
index 1e940c3b8..e13b2d657 100644
--- a/helm/software/matita/Makefile
+++ b/helm/software/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)