54 commits

Author	SHA1	Message	Date
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