about summary refs log tree commit diff
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2005-10-11T12·41+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2005-10-11T12·41+0000
commit0f133ae8d280c33db21d0aab7269c647de016b23 (patch)
tree3c3be3642f3e38f0c2238c567c74924dba88eb2e
parentdfbf520ec2748b17638fdc5a911f7b091f1b74a6 (diff)
* Use ATerm 2.4.2.
-rw-r--r--externals/Makefile.am8
1 files changed, 4 insertions, 4 deletions
diff --git a/externals/Makefile.am b/externals/Makefile.am
index 08c6d0f9c84e..126d656e55e2 100644
--- a/externals/Makefile.am
+++ b/externals/Makefile.am
@@ -34,12 +34,12 @@ endif
 
 # CWI ATerm
 
-ATERM = aterm-2.4
+ATERM = aterm-2.4.2
 
 $(ATERM).tar.gz:
 	@echo "Nix requires the CWI ATerm library to build."
-	@echo "Please download version 2.4 from"
-	@echo "  http://www.cwi.nl/projects/MetaEnv/aterm/aterm-2.4.tar.gz"
+	@echo "Please download version 2.4.2 from"
+	@echo "  http://www.cwi.nl/projects/MetaEnv/aterm/aterm-2.4.2.tar.gz"
 	@echo "and place it in the externals/ directory."
 	false
 
@@ -57,7 +57,7 @@ build-aterm: have-aterm
 	(pfx=`pwd` && \
 	cd $(ATERM) && \
 	CC="$(CC)" ./configure --prefix=$$pfx/inst-aterm \
-	  --disable-shared --enable-static CFLAGS=-O1 && \
+	  --disable-shared --enable-static && \
 	$(MAKE) && \
 	$(MAKE) install)
 	touch build-aterm