diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-06-22T13·01+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-06-22T13·01+0000 |
| commit | f4a3a280dbd5c723d13cf74d71aab1993d0f0a9e (patch) | |
| tree | 2713222bf52320434c20cac0af7ed0a16817363c /externals/Makefile.am | |
| parent | dbf6d7e783ff86c60d39f5000e341082d2604e85 (diff) | |
* Apply the ATerm aliasing patch so that Nix works correctly with gcc 4.1.x.
Diffstat (limited to 'externals/Makefile.am')
| -rw-r--r-- | externals/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/externals/Makefile.am b/externals/Makefile.am index 55c09bd78faf..2a6c6ba1828b 100644 --- a/externals/Makefile.am +++ b/externals/Makefile.am @@ -46,6 +46,7 @@ $(ATERM).tar.gz: $(ATERM): $(ATERM).tar.gz gunzip < $(srcdir)/$(ATERM).tar.gz | tar xvf - + (cd $(ATERM) && patch -p1) < $(srcdir)/aterm-aliasing.patch have-aterm: $(MAKE) $(ATERM) @@ -101,7 +102,7 @@ endif all: build-db build-aterm build-bzip2 -EXTRA_DIST = $(DB).tar.gz $(ATERM).tar.gz $(BZIP2).tar.gz bdb-cygwin.patch +EXTRA_DIST = $(DB).tar.gz $(ATERM).tar.gz $(BZIP2).tar.gz bdb-cygwin.patch aterm-aliasing.patch ext-clean: $(RM) -f have-db build-db have-aterm build-aterm |