From 96e424c5c2f51f32f32935bffd515b48f9b9997f Mon Sep 17 00:00:00 2001 From: Mathias Preiner Date: Wed, 5 Jul 2017 14:26:06 -0700 Subject: [PATCH] updated INSTALL for version 1.5 --- INSTALL | 15 +++++++-------- library_versions | 1 + 2 files changed, 8 insertions(+), 8 deletions(-) diff --git a/INSTALL b/INSTALL index bec3936c3..e6ee4f93d 100644 --- a/INSTALL +++ b/INSTALL @@ -1,4 +1,4 @@ -CVC4 release version 1.4. +CVC4 release version 1.5. *** Quick-start instructions @@ -41,7 +41,7 @@ libantlr3c. On a 32-bit machine, or if you have difficulty building libantlr3c (or difficulty getting CVC4 to link against it later), you may need to remove the --enable-64bit part in the script. (If you're curious, the manual instructions are at -http://cvc4.cs.nyu.edu/wiki/Developer%27s_Guide#ANTLR3 .) +http://cvc4.cs.stanford.edu/wiki/Developer%27s_Guide#ANTLR3 .) *** Building CVC4 @@ -201,8 +201,7 @@ In principle, since we use SWIG to generate the native Java API, we could support other languages as well. However, using CVC4 from other languages is not supported, nor expected to work, at this time. If you're interested in helping to develop, maintain, and test a language -binding, please contact us via the users' mailing list at -cvc-users@cs.nyu.edu. +binding, please contact one of the project leaders. *** Building CVC4 from a repository checkout @@ -217,10 +216,10 @@ The following tools and libraries are additionally required to build CVC4 from from a repository checkout rather than from a prepared source tarball. - Automake v1.11 - Autoconf v2.61 - Libtool v2.2 - ANTLR3 v3.2 or v3.4 + Automake v1.11 or later + Autoconf v2.61 or later + Libtool v2.2 or later + ANTLR3 v3.2 or v3.4 First, use "./autogen.sh" to create the configure script. Then proceed as normal for any distribution tarball. The parsers are diff --git a/library_versions b/library_versions index a487695d7..0bb4c4dfa 100644 --- a/library_versions +++ b/library_versions @@ -59,3 +59,4 @@ 1\.4 libcvc4:3:0:0 libcvc4parser:3:0:0 libcvc4compat:3:0:0 libcvc4bindings:3:0:0 1\.4\.1-prerelease libcvc4:3:0:0 libcvc4parser:3:0:0 libcvc4compat:3:0:0 libcvc4bindings:3:0:0 1\.5-prerelease libcvc4:3:0:0 libcvc4parser:3:0:0 libcvc4compat:3:0:0 libcvc4bindings:3:0:0 +1\.5 libcvc4:4:0:0 libcvc4parser:4:0:0 libcvc4compat:4:0:0 libcvc4bindings:4:0:0 -- 2.30.2