diff options
| author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-10-26 15:25:47 +0000 |
|---|---|---|
| committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-10-26 15:25:47 +0000 |
| commit | 88838a403d526a12c8fcd71626e5b9d4d2e43cb0 (patch) | |
| tree | 22b91595e981300c7625ca90ab8826063a972e08 /README | |
| parent | 9400454b997b381c7683205fef94325ed673c1f6 (diff) | |
Adding dependency info to README
Diffstat (limited to 'README')
| -rw-r--r-- | README | 17 |
1 files changed, 16 insertions, 1 deletions
@@ -3,7 +3,7 @@ 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. Execute, +installed (see below). Execute, ./autogen.sh ./configure @@ -13,4 +13,19 @@ 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 |