* Use the new patched version of the aterm library.
This commit is contained in:
parent
d71cc503a6
commit
ef240bc0d5
1 changed files with 3 additions and 3 deletions
6
externals/Makefile.am
vendored
6
externals/Makefile.am
vendored
|
@ -35,12 +35,12 @@ endif
|
||||||
|
|
||||||
# CWI ATerm
|
# CWI ATerm
|
||||||
|
|
||||||
ATERM = aterm-2.4.2-fixes
|
ATERM = aterm-2.4.2-fixes-r2
|
||||||
|
|
||||||
$(ATERM).tar.bz2:
|
$(ATERM).tar.bz2:
|
||||||
@echo "Nix requires the CWI ATerm library to build."
|
@echo "Nix requires the CWI ATerm library to build."
|
||||||
@echo "Please download version 2.4.2-fixes from"
|
@echo "Please download version 2.4.2-fixes-r2 from"
|
||||||
@echo " http://losser.st-lab.cs.uu.nl/~eelco/dist/aterm-2.4.2-fixes.tar.bz2"
|
@echo " http://losser.st-lab.cs.uu.nl/~eelco/dist/aterm-2.4.2-fixes-r2.tar.bz2"
|
||||||
@echo "and place it in the externals/ directory."
|
@echo "and place it in the externals/ directory."
|
||||||
false
|
false
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue