From: Enrico Tassi 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)