From 10717eeb347ae366a79ec4abf38f00c2cee1dff3 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 4 Jun 2007 16:06:10 +0000 Subject: [PATCH] tentative fix --- matita/Makefile | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) 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) -- 2.39.2