diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-10-16T08·52+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-10-16T08·52+0000 |
| commit | f7c7aad1351a0ed58f458e485968af498d542b5b (patch) | |
| tree | 11edd455ae41e78084c206c96e1538290afb08ae /externals | |
| parent | 181aa3dc4198d2e2cfa89d3ebb53a96fa567e12f (diff) | |
* Upgraded to Berkeley DB 4.1.25 and do not synchronously flush the
log on commit. This means that there is a small change that some transactions may be rolled back in case of a system crash, but this should not be a problem (it merely might cause some expression realisations to be rolled back), and it vastly improves performance. * Upgraded to ATerm 2.0.5 (which also includes Armijn's 64-bit patches).
Diffstat (limited to 'externals')
| -rw-r--r-- | externals/Makefile.am | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/externals/Makefile.am b/externals/Makefile.am index 6a3d3a1f75a5..46b1a9fdbe4c 100644 --- a/externals/Makefile.am +++ b/externals/Makefile.am @@ -1,11 +1,11 @@ # Berkeley DB -DB = db-4.0.14 +DB = db-4.1.25 $(DB).tar.gz: @echo "Nix requires Berkeley DB to build." - @echo "Please download version 4.0.14 from" - @echo " http://www.sleepycat.com/update/snapshot/db-4.0.14.tar.gz" + @echo "Please download version 4.1.25 from" + @echo " http://www.sleepycat.com/update/snapshot/db-4.1.25.tar.gz" @echo "and place it in the externals/ directory." false @@ -28,12 +28,12 @@ build-db: have-db # CWI ATerm -ATERM = aterm-2.0 +ATERM = aterm-2.0.5 $(ATERM).tar.gz: @echo "Nix requires the CWI ATerm library to build." - @echo "Please download version 2.0 from" - @echo " http://www.cwi.nl/projects/MetaEnv/aterm/aterm-2.0.tar.gz" + @echo "Please download version 2.0.5 from" + @echo " http://www.cwi.nl/projects/MetaEnv/aterm/aterm-2.0.5.tar.gz" @echo "and place it in the externals/ directory." false |