diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-09-22T12·07+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-09-22T12·07+0000 |
| commit | 385c6f87373303f6e4c9f4e67e02507641a268f2 (patch) | |
| tree | 0125a5520d218d76cdfc2f775bd1279a28376568 /externals/Makefile.am | |
| parent | d22d7565f3a1848552f9459e18cb4be4e6d08018 (diff) | |
* Supply the 64-bit ATerm patch, but don't apply it (since that
requires rerunning Autoconf/Automake). Interested users should do that themselves.
Diffstat (limited to 'externals/Makefile.am')
| -rw-r--r-- | externals/Makefile.am | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/externals/Makefile.am b/externals/Makefile.am index 75984fce4cd1..5d2a2324d1c7 100644 --- a/externals/Makefile.am +++ b/externals/Makefile.am @@ -47,6 +47,7 @@ $(ATERM).tar.gz: $(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 have-aterm: $(MAKE) $(ATERM) @@ -102,7 +103,8 @@ endif all: build-db build-aterm build-bzip2 -EXTRA_DIST = $(DB).tar.gz $(ATERM).tar.gz $(BZIP2).tar.gz bdb-cygwin.patch aterm-aliasing.patch +EXTRA_DIST = $(DB).tar.gz $(ATERM).tar.gz $(BZIP2).tar.gz \ + bdb-cygwin.patch aterm-aliasing.patch aterm-64-bit.patch ext-clean: $(RM) -f have-db build-db have-aterm build-aterm |