about summary refs log tree commit diff
path: root/externals
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2003-11-09T10·31+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2003-11-09T10·31+0000
commitd2e3a132fe6796b2ac038ccb20e7aa32afc1a85f (patch)
tree4323c10da211b52bfc7d0bffb631a771a0943bf7 /externals
parent90e26d392c7ac4c2a69163f881f73916e6fba3c1 (diff)
* Pass CFLAGS to the subpackages.
Diffstat (limited to 'externals')
-rw-r--r--externals/Makefile.am12
1 files changed, 9 insertions, 3 deletions
diff --git a/externals/Makefile.am b/externals/Makefile.am
index 117973fa3d..61122f4ab0 100644
--- a/externals/Makefile.am
+++ b/externals/Makefile.am
@@ -19,7 +19,8 @@ have-db:
 build-db: have-db
 	(pfx=`pwd` && \
 	cd $(DB)/build_unix && \
-	CC=$(CC) CXX=$(CXX) ../dist/configure --prefix=$$pfx/inst \
+	CC="$(CC)" CXX="$(CXX)" CFLAGS="$(CFLAGS)" CXXFLAGS="$(CXXFLAGS)" \
+     ../dist/configure --prefix=$$pfx/inst \
 	 --enable-cxx --disable-shared && \
 	make && \
 	make install)
@@ -47,7 +48,8 @@ have-aterm:
 build-aterm: have-aterm
 	(pfx=`pwd` && \
 	cd $(ATERM) && \
-	./configure --prefix=$$pfx/inst && \
+	CC="$(CC)" ./configure --prefix=$$pfx/inst \
+     --with-cflags="-DNDEBUG -DXGC_VERBOSE -DXHASHPEM -DWITH_STATS $(CFLAGS)" && \
 	make && \
 	make install)
 	touch build-aterm
@@ -74,7 +76,7 @@ have-sdf2:
 build-sdf2: have-sdf2
 	(pfx=`pwd` && \
 	cd $(SDF2) && \
-	./configure --prefix=$$pfx/inst && \
+	CC="$(CC) -pg" ./configure --prefix=$$pfx/inst --with-cflags="$(CFLAGS)" && \
 	make && \
 	make install)
 	touch build-sdf2
@@ -83,3 +85,7 @@ build-sdf2: have-sdf2
 all: build-db build-aterm build-sdf2
 
 EXTRA_DIST = $(DB).tar.gz $(ATERM).tar.gz $(SDF2).tar.gz
+
+ext-clean:
+	$(RM) -f have-db build-db have-aterm build-aterm have-sdf2 build-sdf2
+	$(RM) -rf $(DB) $(ATERM) $(SDF2)