From 5d7a20dac3c7fd728fa885dd8dab6e170b860db9 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Thu, 24 Jul 2003 14:31:39 +0000
Subject: [PATCH] * Prevent spurious rebuilds of db/aterm.

---
 externals/Makefile.am | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/externals/Makefile.am b/externals/Makefile.am
index cd95832f66..543c93f6db 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 && \