about summary refs log tree commit diff
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2003-07-24T14·31+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2003-07-24T14·31+0000
commit5d7a20dac3c7fd728fa885dd8dab6e170b860db9 (patch)
tree9a3f2b6450e88c378e79a217d3921c0e47f01436
parent0a0c1fcb4d0e42577ac0c7ac23bd9b908ecde49f (diff)
* Prevent spurious rebuilds of db/aterm.
-rw-r--r--externals/Makefile.am12
1 files changed, 10 insertions, 2 deletions
diff --git a/externals/Makefile.am b/externals/Makefile.am
index cd95832f66cc..543c93f6db2a 100644
--- a/externals/Makefile.am
+++ b/externals/Makefile.am
@@ -9,7 +9,11 @@ $(DB).tar.gz:
 $(DB): $(DB).tar.gz
 	gunzip < $(DB).tar.gz | tar xvf -
 
-build-db: $(DB)
+have-db:
+	$(MAKE) $(DB)
+	touch have-db
+
+build-db: have-db
 	(pfx=`pwd` && \
 	cd $(DB)/build_unix && \
 	CC=$(CC) CXX=$(CXX) ../dist/configure --prefix=$$pfx/inst --enable-cxx --disable-shared && \
@@ -29,7 +33,11 @@ $(ATERM).tar.gz:
 $(ATERM): $(ATERM).tar.gz
 	gunzip < $(ATERM).tar.gz | tar xvf -
 
-build-aterm: $(ATERM)
+have-aterm:
+	$(MAKE) $(ATERM)
+	touch have-aterm
+
+build-aterm: have-aterm
 	(pfx=`pwd` && \
 	cd $(ATERM) && \
 	./configure --prefix=$$pfx/inst && \