Skip to content
Snippets Groups Projects
Commit 5373aed1 authored by Eelco Dolstra's avatar Eelco Dolstra
Browse files

* Use ATerm 2.2. 

* Include bootstrap.sh in dist.
parent 16c8b4c8
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Makefile.am
+ 1
− 1
View file @ 5373aed1
SUBDIRS = externals src scripts corepkgs doc misc tests SUBDIRS = externals src scripts corepkgs doc misc tests
EXTRA_DIST = substitute.mk nix.spec nix.spec.in EXTRA_DIST = substitute.mk nix.spec nix.spec.in bootstrap
include ./substitute.mk include ./substitute.mk
......
externals/Makefile.am
+ 3
− 3
View file @ 5373aed1
...@@ -34,12 +34,12 @@ endif ...@@ -34,12 +34,12 @@ endif
# CWI ATerm # CWI ATerm
ATERM = aterm-2.1 ATERM = aterm-2.2
$(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.1 from" @echo "Please download version 2.2 from"
@echo " http://www.cwi.nl/projects/MetaEnv/aterm/aterm-2.1.tar.gz" @echo " http://www.cwi.nl/projects/MetaEnv/aterm/aterm-2.2.tar.gz"
@echo "and place it in the externals/ directory." @echo "and place it in the externals/ directory."
false false
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment