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