about summary refs log tree commit diff
path: root/externals
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2003-10-29T15·04+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2003-10-29T15·04+0000
commitf31661a3b593a15fe061bb398f1814d9c37902a6 (patch)
tree44ed5e8579af7e100e30bc124b7de2a87afb9885 /externals
parent7102455cba5ceb13e7f3558716ee0a49fff1c58f (diff)
* Add sdf2-bundle to externals.
Diffstat (limited to 'externals')
-rw-r--r--externals/Makefile.am31
1 files changed, 29 insertions, 2 deletions
diff --git a/externals/Makefile.am b/externals/Makefile.am
index 46b1a9fdbe4c..c644c05696f9 100644
--- a/externals/Makefile.am
+++ b/externals/Makefile.am
@@ -53,6 +53,33 @@ build-aterm: have-aterm
 	touch build-aterm
 
 
-all: build-db build-aterm
+# SDF bundle
 
-EXTRA_DIST = $(DB).tar.gz $(ATERM).tar.gz
+SDF2 = sdf2-bundle-1.6
+
+$(SDF2).tar.gz:
+	@echo "Nix requires the SDF2 bundle to build."
+	@echo "Please download version 1.6 from"
+	@echo "  ftp://ftp.stratego-language.org/pub/stratego/sdf2/sdf2-bundle-1.6.tar.gzP"
+	@echo "and place it in the externals/ directory."
+	false
+
+$(SDF2): $(SDF2).tar.gz
+	gunzip < $(SDF2).tar.gz | tar xvf -
+
+have-sdf2:
+	$(MAKE) $(SDF2)
+	touch have-sdf2
+
+build-sdf2: have-sdf2
+	(pfx=`pwd` && \
+	cd $(SDF2) && \
+	./configure --prefix=$$pfx/inst && \
+	make && \
+	make install)
+	touch build-sdf2
+
+
+all: build-db build-aterm build-sdf2
+
+EXTRA_DIST = $(DB).tar.gz $(ATERM).tar.gz $(SDF2).tar.gz