* Add virtual destructors to CnfStream, Theory, OutputChannel, and
[cvc5.git] / INSTALL
1 To build, use the top-level script "autogen.sh" to invoke various
2 autotools. You'll need reasonably new automake, autoconf, and libtool
3 installed. Then ./configure && make as usual.
4
5 To build a source release, use "make dist"; this will include the
6 configure script and all the bits of automake/autoconf/libtool that
7 are necessary for an independent install.
8
9 -- Morgan Deters <mdeters@cs.nyu.edu> Mon, 02 Nov 2009 17:54:27 -0500