From 72220a2e5a51f0dd1123ff2b06df13a6f5f0d61a Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Tue, 7 Jun 2005 10:02:35 +0000 Subject: [PATCH] control of dependences improved --- helm/matita/Makefile.in | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in index 51c1bed06..8e9f3b9ce 100644 --- a/helm/matita/Makefile.in +++ b/helm/matita/Makefile.in @@ -106,3 +106,15 @@ include .depend .PHONY: all opt clean distclean depend +$(CMOS): $(LIB_DEPS) +$(CMOS:%.cmo=%.cmx): $(LIBX_DEPS) + +ifeq ($(MAKECMDGOALS),all) + $(CMOS:%.cmo=%.cmi): $(LIB_DEPS) +endif +ifeq ($(MAKECMDGOALS),) + $(CMOS:%.cmo=%.cmi): $(LIB_DEPS) +endif +ifeq ($(MAKECMDGOALS),opt) + $(CMOS:%.cmo=%.cmi): $(LIBX_DEPS) +endif -- 2.39.2