lix-project/lix
20
55
Fork 31
Code Issues 346 Code Review (Gerrit) Projects 3 Releases Wiki Activity

* Use ATerm 2.4.2.

Browse source
This commit is contained in:
Eelco Dolstra 2005-10-11 12:41:12 +00:00
parent dfbf520ec2
commit 0f133ae8d2
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
externals/Makefile.am vendored
View file

@ -34,12 +34,12 @@ endif
# CWI ATerm # CWI ATerm
ATERM = aterm-2.4 ATERM = aterm-2.4.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.4 from" @echo "Please download version 2.4.2 from"
@echo " http://www.cwi.nl/projects/MetaEnv/aterm/aterm-2.4.tar.gz" @echo " http://www.cwi.nl/projects/MetaEnv/aterm/aterm-2.4.2.tar.gz"
@echo "and place it in the externals/ directory." @echo "and place it in the externals/ directory."
false false
@ -57,7 +57,7 @@ build-aterm: have-aterm
(pfx=`pwd` && \ (pfx=`pwd` && \
cd $(ATERM) && \ cd $(ATERM) && \
CC="$(CC)" ./configure --prefix=$$pfx/inst-aterm \ CC="$(CC)" ./configure --prefix=$$pfx/inst-aterm \
--disable-shared --enable-static CFLAGS=-O1 && \ --disable-shared --enable-static && \
$(MAKE) && \ $(MAKE) && \
$(MAKE) install) $(MAKE) install)
touch build-aterm touch build-aterm