diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-23 15:53:34 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-23 15:53:34 +0000 |
| commit | 39ce70025b59a545127d1ffdefa83b7cbfcd8be1 (patch) | |
| tree | 073ced88097af91b11f9331168d823a7fff8d64f /externals | |
| parent | 9202570f8c40f58f6444c2ec512104b305058977 (diff) | |
* Incorporated Berkeley DB and ATerm into the source tree.
* `make dist'.
Diffstat (limited to 'externals')
| -rw-r--r-- | externals/Makefile.am | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/externals/Makefile.am b/externals/Makefile.am new file mode 100644 index 000000000..cd95832f6 --- /dev/null +++ b/externals/Makefile.am @@ -0,0 +1,43 @@ +# Berkeley DB + +DB = db-4.0.14 +DB_URL = http://www.sleepycat.com/update/snapshot/db-4.0.14.tar.gz + +$(DB).tar.gz: + wget $(DB_URL) + +$(DB): $(DB).tar.gz + gunzip < $(DB).tar.gz | tar xvf - + +build-db: $(DB) + (pfx=`pwd` && \ + cd $(DB)/build_unix && \ + CC=$(CC) CXX=$(CXX) ../dist/configure --prefix=$$pfx/inst --enable-cxx --disable-shared && \ + make && \ + make install) + touch build-db + + +# CWI ATerm + +ATERM = aterm-2.0 +ATERM_URL = http://www.cwi.nl/projects/MetaEnv/aterm/aterm-2.0.tar.gz + +$(ATERM).tar.gz: + wget $(ATERM_URL) + +$(ATERM): $(ATERM).tar.gz + gunzip < $(ATERM).tar.gz | tar xvf - + +build-aterm: $(ATERM) + (pfx=`pwd` && \ + cd $(ATERM) && \ + ./configure --prefix=$$pfx/inst && \ + make && \ + make install) + touch build-aterm + + +all: build-db build-aterm + +EXTRA_DIST = $(DB).tar.gz $(ATERM).tar.gz |