about summary refs log tree commit diff
path: root/externals/Makefile.am
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2006-11-14T15·36+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2006-11-14T15·36+0000
commitbce9ff7ece912d18f1d92e6759b82ef5b8ad20aa (patch)
treeb7a1b6118ffbb7c34e5e63c9785942ba81e0c1be /externals/Makefile.am
parent745e354b19a00dba9fd6d058036ce412ba30e23a (diff)
* Use the patched ATerm library.
Diffstat (limited to 'externals/Makefile.am')
-rw-r--r--externals/Makefile.am12
1 files changed, 5 insertions, 7 deletions
diff --git a/externals/Makefile.am b/externals/Makefile.am
index 0eb229954195..937e095a312e 100644
--- a/externals/Makefile.am
+++ b/externals/Makefile.am
@@ -35,19 +35,17 @@ endif
 
 # CWI ATerm
 
-ATERM = aterm-2.4.2
+ATERM = aterm-2.4.2-fixes
 
 $(ATERM).tar.gz:
 	@echo "Nix requires the CWI ATerm library to build."
-	@echo "Please download version 2.4.2 from"
-	@echo "  http://www.cwi.nl/projects/MetaEnv/aterm/aterm-2.4.2.tar.gz"
+	@echo "Please download version 2.4.2-fixes from"
+	@echo "  http://losser.st-lab.cs.uu.nl/~eelco/dist/aterm-2.4.2-fixes.tar.bz2"
 	@echo "and place it in the externals/ directory."
 	false
 
-$(ATERM): $(ATERM).tar.gz
-	gunzip < $(srcdir)/$(ATERM).tar.gz | tar xvf -
-	(cd $(ATERM) && $(patch) -p1) < $(srcdir)/aterm-aliasing.patch
-#	(cd $(ATERM) && $(patch) -p1) < $(srcdir)/aterm-64-bit.patch
+$(ATERM): $(ATERM).tar.bz2
+	bunzip2 < $(srcdir)/$(ATERM).tar.bz2 | tar xvf -
 
 have-aterm:
 	$(MAKE) $(ATERM)