diff options
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 |