* Use aterm 2.3.1.
This commit is contained in:
parent
9022cf9adf
commit
77fc1c6c5c
1 changed files with 3 additions and 3 deletions
6
externals/Makefile.am
vendored
6
externals/Makefile.am
vendored
|
@ -34,12 +34,12 @@ endif
|
||||||
|
|
||||||
# CWI ATerm
|
# CWI ATerm
|
||||||
|
|
||||||
ATERM = aterm-2.2
|
ATERM = aterm-2.3.1
|
||||||
|
|
||||||
$(ATERM).tar.gz:
|
$(ATERM).tar.gz:
|
||||||
@echo "Nix requires the CWI ATerm library to build."
|
@echo "Nix requires the CWI ATerm library to build."
|
||||||
@echo "Please download version 2.2 from"
|
@echo "Please download version 2.3.1 from"
|
||||||
@echo " http://www.cwi.nl/projects/MetaEnv/aterm/aterm-2.2.tar.gz"
|
@echo " http://www.cwi.nl/projects/MetaEnv/aterm/aterm-2.3.1.tar.gz"
|
||||||
@echo "and place it in the externals/ directory."
|
@echo "and place it in the externals/ directory."
|
||||||
false
|
false
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue