blob: 67c5aa41c8f94cf3bae0d5f93b223d22f92affbe (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
This is a prerelease version of CVC4; distribution is restricted.
For a suggestion of editing CVC4 code with emacs, see README.emacs.
To build, you'll need reasonably new automake, autoconf, and libtool
installed (see below). Execute,
./autogen.sh
./configure
make
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.
*** Dependencies
The following tools and libraries are required to build CVC4. Versions
given are minimum versions; more recent versions should be compatible.
Automake v1.11
Autoconf v2.61
Libtool v2.2.6
GMP v4.3
ANTLR + libantlr3c v3.2
Optional:
CLN v1.2 (NOTE: CLN is a GPL library)
-- Morgan Deters <mdeters@cs.nyu.edu> Mon, 02 Nov 2009 18:28:47 -0500
|
