diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-08-07T23·40+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-08-07T23·40+0000 |
| commit | ef240bc0d564d8de8877724756c1e7765c74ff75 (patch) | |
| tree | 37c12712362186d5dd3d246b0bdcab95f568bb54 /externals | |
| parent | d71cc503a6f50f8c576eb8665ce3cf08d74e035b (diff) | |
* Use the new patched version of the aterm library.
Diffstat (limited to 'externals')
| -rw-r--r-- | externals/Makefile.am | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/externals/Makefile.am b/externals/Makefile.am index 06e8eedee080..854a65268095 100644 --- a/externals/Makefile.am +++ b/externals/Makefile.am @@ -35,12 +35,12 @@ endif # CWI ATerm -ATERM = aterm-2.4.2-fixes +ATERM = aterm-2.4.2-fixes-r2 $(ATERM).tar.bz2: @echo "Nix requires the CWI ATerm library to build." - @echo "Please download version 2.4.2-fixes from" - @echo " http://losser.st-lab.cs.uu.nl/~eelco/dist/aterm-2.4.2-fixes.tar.bz2" + @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-r2.tar.bz2" @echo "and place it in the externals/ directory." false |