diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-04-03 13:08:00 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-04-03 13:08:00 -0400 |
| commit | 89ce2eb5c066d4fb6d6e9a23cd9c80ca39eb2493 (patch) | |
| tree | 5ad57159d571756118d16867e62615a2b21c384d /INSTALL | |
| parent | c9c41118eb3af8c882019a6e978e838ac793002d (diff) | |
Some final minor changes before cutting 1.1.
* update documentation
* update the cut-release script
* spelling/wording updates
* add a (previously-failing) fuzzer regression
Diffstat (limited to 'INSTALL')
| -rw-r--r-- | INSTALL | 16 |
1 files changed, 12 insertions, 4 deletions
@@ -1,11 +1,12 @@ -CVC4 release version 1.0. +CVC4 release version 1.1. *** Quick-start instructions *** Build dependences -The following tools and libraries are required to run CVC4. Versions -given are minimum versions; more recent versions should be compatible. +The following tools and libraries are required to build and run CVC4. +Versions given are minimum versions; more recent versions should be +compatible. GNU C and C++ (gcc and g++), reasonably recent versions GNU Make @@ -40,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://church.cims.nyu.edu/wiki/Developer%27s_Guide#ANTLR3 .) +http://cvc4.cs.nyu.edu/wiki/Developer%27s_Guide#ANTLR3 .) *** Building CVC4 @@ -173,6 +174,13 @@ cvc-users@cs.nyu.edu. *** Building CVC4 from a repository checkout +CVC4's main repository is kept on GitHub at: + + https://github.com/CVC4/CVC4 + +and there are numerous experimental forks housed on GitHub as well, +by different developers, implementing various features. + The following tools and libraries are additionally required to build CVC4 from from a repository checkout rather than from a prepared source tarball. |