From 1004929b17708eb3a6043567f55b5e7b0b1eeab3 Mon Sep 17 00:00:00 2001 From: "Christopher L. Conway" Date: Wed, 27 Oct 2010 20:10:16 +0000 Subject: [PATCH] Changing dependency info in README --- README | 21 ++++++++++++--------- 1 file changed, 12 insertions(+), 9 deletions(-) diff --git a/README b/README index 67c5aa41c..f058c3852 100644 --- a/README +++ b/README @@ -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 Mon, 02 Nov 2009 18:28:47 -0500 -- 2.30.2