log configure

age author description
Sat, 06 Feb 2010 13:27:05 -0500 Adam Chlipala AM_INIT_AUTOMAKE with no-define (to fix some NetBSD and OS X problems)
Sat, 30 Jan 2010 15:34:00 -0500 Adam Chlipala Another try to include more Autofiles in the distribution
Thu, 28 Jan 2010 09:56:08 -0500 Adam Chlipala First attempt to switch to Automake, to get shared libraries built in OSX
Sun, 27 Dec 2009 13:18:32 -0500 Adam Chlipala Dynamic linking of the runtime system
Tue, 28 Oct 2008 15:05:16 -0400 Adam Chlipala GCCARGS configure option
Sat, 25 Oct 2008 12:07:10 -0400 Adam Chlipala Use configure --prefix