22 Commits

Author	SHA1	Message	Date
Eelco Dolstra	87e5dcd1b8	* Merge r3897 from the trunk.	2005-09-20 16:18:56 +00:00
Eelco Dolstra	cb44aa03b8	* Use aterm 2.4.	2005-09-01 20:48:18 +00:00
Eelco Dolstra	8be1db899e	* Another typo.	2005-05-10 14:24:48 +00:00
Eelco Dolstra	bfe4875a5e	* Use Berkeley DB 4.3.38.	2005-05-09 15:30:13 +00:00
Eelco Dolstra	d8a31da1ea	* Use $(MAKE)' instead of make' for systems where `make' isn't GNU ... make (such as FreeBSD).	2005-05-04 16:28:39 +00:00
Eelco Dolstra	77fc1c6c5c	* Use aterm 2.3.1.	2004-12-29 17:29:24 +00:00
Eelco Dolstra	4cbd845aa4	* Don't propagate our CFLAGS to the ATerm library since it breaks at ... -O2.	2004-11-03 16:51:09 +00:00
Eelco Dolstra	5373aed1a8	* Use ATerm 2.2. ... * Include bootstrap.sh in dist.	2004-07-30 14:17:05 +00:00
Eelco Dolstra	00aadf478b	* Use ATerm 2.1.	2004-06-28 14:51:42 +00:00
Eelco Dolstra	86b7efbdbe	* Don't build ATerm library if we don't need to.	2004-02-16 16:48:06 +00:00
Eelco Dolstra	0dfdafdf6d	* Allow linking against an external Berkeley DB / ATerm library.	2004-02-16 16:37:16 +00:00
Eelco Dolstra	c625718513	* Detect flex and bison; updated the manual.	2004-01-30 16:32:14 +00:00
Eelco Dolstra	7959354379	* Upgraded to Berkeley DB 4.2.52. The main advantage of 4.2 is that ... 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*	2004-01-07 15:53:14 +00:00
Eelco Dolstra	d2e3a132fe	* Pass CFLAGS to the subpackages.	2003-11-09 10:31:56 +00:00
Eelco Dolstra	449411e511	* Typo fix.	2003-10-31 19:20:03 +00:00
Eelco Dolstra	f31661a3b5	* Add sdf2-bundle to externals.	2003-10-29 15:04:50 +00:00
Eelco Dolstra	f7c7aad135	* 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).	2003-10-16 08:52:44 +00:00
Eelco Dolstra	c32e01eab2	* Revision 300! ... * Put `@' in front of echo's in the Makefile.	2003-08-18 08:52:49 +00:00
Eelco Dolstra	08f9cfe267	* No longer automatically download Berkeley DB / ATerm.	2003-08-18 08:35:16 +00:00
Eelco Dolstra	dec8fbc52b	* Check for the pthread library (db4 needs it on some platforms).	2003-07-28 14:13:42 +00:00
Eelco Dolstra	5d7a20dac3	* Prevent spurious rebuilds of db/aterm.	2003-07-24 14:31:39 +00:00
Eelco Dolstra	39ce70025b	* Incorporated Berkeley DB and ATerm into the source tree. ... * `make dist'.	2003-07-23 15:53:34 +00:00