diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-11-14T15·36+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-11-14T15·36+0000 |
| commit | bce9ff7ece912d18f1d92e6759b82ef5b8ad20aa (patch) | |
| tree | b7a1b6118ffbb7c34e5e63c9785942ba81e0c1be /externals/Makefile.am | |
| parent | 745e354b19a00dba9fd6d058036ce412ba30e23a (diff) | |
* Use the patched ATerm library.
Diffstat (limited to 'externals/Makefile.am')
| -rw-r--r-- | externals/Makefile.am | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/externals/Makefile.am b/externals/Makefile.am index 0eb229954195..937e095a312e 100644 --- a/externals/Makefile.am +++ b/externals/Makefile.am @@ -35,19 +35,17 @@ endif # CWI ATerm -ATERM = aterm-2.4.2 +ATERM = aterm-2.4.2-fixes $(ATERM).tar.gz: @echo "Nix requires the CWI ATerm library to build." - @echo "Please download version 2.4.2 from" - @echo " http://www.cwi.nl/projects/MetaEnv/aterm/aterm-2.4.2.tar.gz" + @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 "and place it in the externals/ directory." false -$(ATERM): $(ATERM).tar.gz - gunzip < $(srcdir)/$(ATERM).tar.gz | tar xvf - - (cd $(ATERM) && $(patch) -p1) < $(srcdir)/aterm-aliasing.patch -# (cd $(ATERM) && $(patch) -p1) < $(srcdir)/aterm-64-bit.patch +$(ATERM): $(ATERM).tar.bz2 + bunzip2 < $(srcdir)/$(ATERM).tar.bz2 | tar xvf - have-aterm: $(MAKE) $(ATERM) |