diff options
author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-10-27 20:10:16 +0000 |
---|---|---|
committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-10-27 20:10:16 +0000 |
commit | 1004929b17708eb3a6043567f55b5e7b0b1eeab3 (patch) | |
tree | f7d9deba01ed4295df1389fe2e0a77d4a736c05b /README | |
parent | 8e0be63829441a042ff030b47fa9b9a04b48984d (diff) |
Changing dependency info in README
Diffstat (limited to 'README')
-rw-r--r-- | README | 21 |
1 files changed, 12 insertions, 9 deletions
@@ -15,17 +15,20 @@ are necessary for an independent install. *** Dependencies -The following tools and libraries are required to build CVC4. Versions +The following tools and libraries are required to run 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 +GMP v4.2 +libantlr3c v3.2 +Optional: CLN v1.3 + +*** Build dependencies -Optional: +The following tools and libraries are required to build CVC4 from +scratch. -CLN v1.2 (NOTE: CLN is a GPL library) +Automake v1.11 +Autoconf v2.61 +Libtool v2.2 +ANTLR3 v3.2 --- Morgan Deters <mdeters@cs.nyu.edu> Mon, 02 Nov 2009 18:28:47 -0500 |