]> matita.cs.unibo.it Git - helm.git/commitdiff
tentative fix
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 4 Jun 2007 16:06:10 +0000 (16:06 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 4 Jun 2007 16:06:10 +0000 (16:06 +0000)
helm/software/matita/Makefile

index 1e940c3b8c5218aa1e8d5dc8c43d4ad028d398b0..e13b2d657deb13511e840755b47dcd872af9ced8 100644 (file)
@@ -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)