From: Christopher L. Conway <christopherleeconway@gmail.com>
Date: Tue, 26 Oct 2010 15:25:47 +0000 (+0000)
Subject: Adding dependency info to README
X-Git-Tag: cvc5-1.0.0~8778
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=88838a403d526a12c8fcd71626e5b9d4d2e43cb0;p=cvc5.git

Adding dependency info to README
---

diff --git a/README b/README
index 3608dfef0..67c5aa41c 100644
--- a/README
+++ b/README
@@ -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