about summary refs log tree commit diff
path: root/externals/Makefile.am
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2004-12-29T17·29+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2004-12-29T17·29+0000
commit77fc1c6c5c4f662ab9b15ff09300f2a626597bc8 (patch)
treea0556304f395364cefa4760be7f05590a852c758 /externals/Makefile.am
parent9022cf9adfd3504e40d52fa2891663bf33fa2f9d (diff)
* Use aterm 2.3.1.
Diffstat (limited to 'externals/Makefile.am')
-rw-r--r--externals/Makefile.am6
1 files changed, 3 insertions, 3 deletions
diff --git a/externals/Makefile.am b/externals/Makefile.am
index 150f23ff228d..d22a590348e1 100644
--- a/externals/Makefile.am
+++ b/externals/Makefile.am
@@ -34,12 +34,12 @@ endif
 
 # CWI ATerm
 
-ATERM = aterm-2.2
+ATERM = aterm-2.3.1
 
 $(ATERM).tar.gz:
 	@echo "Nix requires the CWI ATerm library to build."
-	@echo "Please download version 2.2 from"
-	@echo "  http://www.cwi.nl/projects/MetaEnv/aterm/aterm-2.2.tar.gz"
+	@echo "Please download version 2.3.1 from"
+	@echo "  http://www.cwi.nl/projects/MetaEnv/aterm/aterm-2.3.1.tar.gz"
 	@echo "and place it in the externals/ directory."
 	false