about summary refs log tree commit diff
path: root/externals/Makefile.am
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2003-10-16T08·52+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2003-10-16T08·52+0000
commitf7c7aad1351a0ed58f458e485968af498d542b5b (patch)
tree11edd455ae41e78084c206c96e1538290afb08ae /externals/Makefile.am
parent181aa3dc4198d2e2cfa89d3ebb53a96fa567e12f (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/Makefile.am')
-rw-r--r--externals/Makefile.am12
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