diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-04-19 14:51:58 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-04-19 14:51:58 +0000 |
| commit | f3b8833a48472c3545ea8673d687ea9cadcedd61 (patch) | |
| tree | 3143fb3d27d506864c72770492dcf01d85e21c80 /externals/Makefile.am | |
| parent | efc7a579e880ec15ebe9afc0d8766c85c7d53ec2 (diff) | |
* Drop the dependency on the ATerm library.
Diffstat (limited to 'externals/Makefile.am')
| -rw-r--r-- | externals/Makefile.am | 43 |
1 files changed, 4 insertions, 39 deletions
diff --git a/externals/Makefile.am b/externals/Makefile.am index c9bc05d71..838f5d704 100644 --- a/externals/Makefile.am +++ b/externals/Makefile.am @@ -1,38 +1,3 @@ -# CWI ATerm - -ATERM = aterm-2.5 - -$(ATERM).tar.gz: - @echo "Nix requires the CWI ATerm library to build." - @echo "Please download version 2.5 from" - @echo " http://nixos.org/tarballs/aterm-2.5.tar.gz" - @echo "and place it in the externals/ directory." - false - -$(ATERM): $(ATERM).tar.gz - gzip -d < $(srcdir)/$(ATERM).tar.gz | tar xvf - - patch -d $(ATERM) -p1 < ./max-long.patch - patch -d $(ATERM) -p1 < ./sizeof.patch - -have-aterm: - $(MAKE) $(ATERM) - touch have-aterm - -if HAVE_ATERM -build-aterm: -else -build-aterm: have-aterm - (pfx=`pwd` && \ - cd $(ATERM) && \ - CC="$(CC)" ./configure --prefix=$$pfx/inst-aterm \ - --disable-shared --enable-static && \ - $(MAKE) && \ - $(MAKE) check && \ - $(MAKE) install) - touch build-aterm -endif - - # bzip2 BZIP2 = bzip2-1.0.5 @@ -67,10 +32,10 @@ install: endif -all: build-aterm build-bzip2 +all: build-bzip2 -EXTRA_DIST = $(ATERM).tar.gz $(BZIP2).tar.gz max-long.patch sizeof.patch +EXTRA_DIST = $(BZIP2).tar.gz max-long.patch sizeof.patch ext-clean: - $(RM) -f have-aterm build-aterm have-bzip2 build-bzip2 - $(RM) -rf $(ATERM) $(BZIP2) + $(RM) -f have-bzip2 build-bzip2 + $(RM) -rf $(BZIP2) |