about summary refs log tree commit diff
path: root/externals
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2004-01-30T16·32+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2004-01-30T16·32+0000
commitc6257185139bf5f298b19177867f3afa8e5472b7 (patch)
tree59b51de23f31e4e45b6499d91249218aa943877f /externals
parentc5baaafae69394082817ede9e6eb3910c4601a72 (diff)
* Detect flex and bison; updated the manual.
Diffstat (limited to 'externals')
-rw-r--r--externals/Makefile.am35
1 files changed, 4 insertions, 31 deletions
diff --git a/externals/Makefile.am b/externals/Makefile.am
index c74cb227eaa3..5f48a697d9e0 100644
--- a/externals/Makefile.am
+++ b/externals/Makefile.am
@@ -56,37 +56,10 @@ build-aterm: have-aterm
 	touch build-aterm
 
 
-# SDF bundle
+all: build-db build-aterm
 
-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.gz"
-	@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) && \
-	CC="$(CC) -pg" ./configure --prefix=$$pfx/inst --with-cflags="$(CFLAGS)" && \
-	make && \
-	make install)
-	touch build-sdf2
-
-
-all: build-db build-aterm build-sdf2
-
-EXTRA_DIST = $(DB).tar.gz $(ATERM).tar.gz $(SDF2).tar.gz
+EXTRA_DIST = $(DB).tar.gz $(ATERM).tar.gz
 
 ext-clean:
-	$(RM) -f have-db build-db have-aterm build-aterm have-sdf2 build-sdf2
-	$(RM) -rf $(DB) $(ATERM) $(SDF2)
+	$(RM) -f have-db build-db have-aterm build-aterm
+	$(RM) -rf $(DB) $(ATERM)