From: Christopher L. Conway <christopherleeconway@gmail.com>
Date: Wed, 27 Oct 2010 20:10:16 +0000 (+0000)
Subject: Changing dependency info in README
X-Git-Tag: cvc5-1.0.0~8770
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1004929b17708eb3a6043567f55b5e7b0b1eeab3;p=cvc5.git

Changing dependency info in README
---

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 <mdeters@cs.nyu.edu>  Mon, 02 Nov 2009 18:28:47 -0500