README

   1 This is a prerelease version of CVC4; distribution is restricted.
   2
   3 For a suggestion of editing CVC4 code with emacs, see README.emacs.
   4
   5 To build, use the top-level script "autogen.sh" to invoke various
   6 autotools.  You'll need reasonably new automake, autoconf, and libtool
   7 installed.  Then ./configure && make as usual.
   8
   9 To build a source release, use "make dist"; this will include the
  10 configure script and all the bits of automake/autoconf/libtool that
  11 are necessary for an independent install.
  12
  13 -- Morgan Deters <mdeters@cs.nyu.edu>  Mon, 02 Nov 2009 18:28:47 -0500