From 77fc1c6c5c4f662ab9b15ff09300f2a626597bc8 Mon Sep 17 00:00:00 2001 From: Eelco Dolstra Date: Wed, 29 Dec 2004 17:29:24 +0000 Subject: [PATCH] * Use aterm 2.3.1. --- externals/Makefile.am | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/externals/Makefile.am b/externals/Makefile.am index 150f23ff2..d22a59034 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