about summary refs log tree commit diff
path: root/externals/Makefile.am
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2010-04-19T14·51+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2010-04-19T14·51+0000
commitf3b8833a48472c3545ea8673d687ea9cadcedd61 (patch)
tree3143fb3d27d506864c72770492dcf01d85e21c80 /externals/Makefile.am
parentefc7a579e880ec15ebe9afc0d8766c85c7d53ec2 (diff)
* Drop the dependency on the ATerm library.
Diffstat (limited to 'externals/Makefile.am')
-rw-r--r--externals/Makefile.am43
1 files changed, 4 insertions, 39 deletions
diff --git a/externals/Makefile.am b/externals/Makefile.am
index c9bc05d71ee5..838f5d704e12 100644
--- a/externals/Makefile.am
+++ b/externals/Makefile.am
@@ -1,38 +1,3 @@
-# CWI ATerm
-
-ATERM = aterm-2.5
-
-$(ATERM).tar.gz:
-	@echo "Nix requires the CWI ATerm library to build."
-	@echo "Please download version 2.5 from"
-	@echo "  http://nixos.org/tarballs/aterm-2.5.tar.gz"
-	@echo "and place it in the externals/ directory."
-	false
-
-$(ATERM): $(ATERM).tar.gz
-	gzip -d < $(srcdir)/$(ATERM).tar.gz | tar xvf -
-	patch -d $(ATERM) -p1 < ./max-long.patch
-	patch -d $(ATERM) -p1 < ./sizeof.patch
-
-have-aterm:
-	$(MAKE) $(ATERM)
-	touch have-aterm
-
-if HAVE_ATERM
-build-aterm:
-else
-build-aterm: have-aterm
-	(pfx=`pwd` && \
-	cd $(ATERM) && \
-	CC="$(CC)" ./configure --prefix=$$pfx/inst-aterm \
-	  --disable-shared --enable-static && \
-	$(MAKE) && \
-	$(MAKE) check && \
-	$(MAKE) install)
-	touch build-aterm
-endif
-
-
 # bzip2
 
 BZIP2 = bzip2-1.0.5
@@ -67,10 +32,10 @@ install:
 endif
 
 
-all: build-aterm build-bzip2
+all: build-bzip2
 
-EXTRA_DIST = $(ATERM).tar.gz $(BZIP2).tar.gz max-long.patch sizeof.patch
+EXTRA_DIST = $(BZIP2).tar.gz max-long.patch sizeof.patch
 
 ext-clean:
-	$(RM) -f have-aterm build-aterm have-bzip2 build-bzip2
-	$(RM) -rf $(ATERM) $(BZIP2)
+	$(RM) -f have-bzip2 build-bzip2
+	$(RM) -rf $(BZIP2)