summary refs log tree commit diff
path: root/externals
AgeCommit message (Collapse)Author
2004-11-03* Don't propagate our CFLAGS to the ATerm library since it breaks atEelco Dolstra
-O2.
2004-07-30* Use ATerm 2.2.Eelco Dolstra
* Include bootstrap.sh in dist.
2004-06-28* Use ATerm 2.1.Eelco Dolstra
2004-02-16* Don't build ATerm library if we don't need to.Eelco Dolstra
2004-02-16* Allow linking against an external Berkeley DB / ATerm library.Eelco Dolstra
2004-01-30* Detect flex and bison; updated the manual.Eelco Dolstra
2004-01-07* Upgraded to Berkeley DB 4.2.52. The main advantage of 4.2 is thatEelco Dolstra
it automatically removes log files when they are no longer needed. *** IMPORTANT *** If you have an existing Nix installation, you must checkpoint the Nix database to prevent recent transactions from being undone. Do the following: - optional: make a backup of $prefix/var/nix/db. - run `db_checkpoint' from Berkeley DB 4.1: $ db_checkpoint -h $prefix/var/nix/db -1 - optional (?): run `db_recover' from Berkeley DB 4.1: $ db_recover -h $prefix/var/nix/db - remove $prefix/var/nix/db/log* and $prefix/var/nix/db/__db*
2003-11-09* Pass CFLAGS to the subpackages.Eelco Dolstra
2003-10-31* Typo fix.Eelco Dolstra
2003-10-29* Add sdf2-bundle to externals.Eelco Dolstra
2003-10-16* Upgraded to Berkeley DB 4.1.25 and do not synchronously flush theEelco Dolstra
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).
2003-08-18* Revision 300!Eelco Dolstra
* Put `@' in front of echo's in the Makefile.
2003-08-18* No longer automatically download Berkeley DB / ATerm.Eelco Dolstra
2003-07-28* Check for the pthread library (db4 needs it on some platforms).Eelco Dolstra
2003-07-24* Prevent spurious rebuilds of db/aterm.Eelco Dolstra
2003-07-23* Incorporated Berkeley DB and ATerm into the source tree.Eelco Dolstra
* `make dist'.