Changing dependency info in README

diff --git a/README b/README
index 67c5aa41c8f94cf3bae0d5f93b223d22f92affbe..f058c3852aaf772b2657b4c2309d673cebb54237 100644 (file)
--- 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