]> matita.cs.unibo.it Git - helm.git/commitdiff
if DISTRIBUTED all targets require a depend-stamp
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 22 Mar 2006 14:29:21 +0000 (14:29 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 22 Mar 2006 14:29:21 +0000 (14:29 +0000)
helm/software/Makefile

index f92c8da64b85481a9bb17b3da81ca653bd0b57ba..c3ce697ffe8f55b1e9277dbb085d24e22f8c5fd3 100644 (file)
@@ -4,8 +4,13 @@ include Makefile.defs
 
 SUBDIRS = components matita
 
+ifeq ($(DISTRIBUTED),yes)
+all: depend $(foreach d,$(SUBDIRS),rec@all@$(d))
+opt: depend $(foreach d,$(SUBDIRS),rec@opt@$(d))
+else
 all: $(foreach d,$(SUBDIRS),rec@all@$(d))
 opt: $(foreach d,$(SUBDIRS),rec@opt@$(d))
+endif
 world: depend $(foreach d,$(SUBDIRS),rec@world@$(d))
 depend: depend-stamp
 depend-stamp: