diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2019-03-15 14:13:27 +0100 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2019-03-15 14:13:27 +0100 |
| commit | 7ad6fc519d863cde1b83ae0d682f26c86edae9b1 (patch) | |
| tree | 80b267df4946f14e3a35d3f8ed7016dc40acac63 /INSTALL.md | |
| parent | 51f84d2c45316522d04787f7265c767ab1bea863 (diff) | |
| download | smtcoq-7ad6fc519d863cde1b83ae0d682f26c86edae9b1.tar.gz smtcoq-7ad6fc519d863cde1b83ae0d682f26c86edae9b1.zip | |
Use CVC4 version 1.6
Diffstat (limited to 'INSTALL.md')
| -rw-r--r-- | INSTALL.md | 16 |
1 files changed, 10 insertions, 6 deletions
@@ -184,12 +184,16 @@ proof production mode**, as detailed below. ### CVC4 -Use the version of CVC4 that is available in the master branch of its -[git repository](https://github.com/CVC4/CVC4) or one of the **development** -versions available at [http://cvc4.cs.stanford.edu/downloads] (we recommend using -the latest version available). - -The `cvc4` binary must be present in your PATH to use it through SMTCoq. +Use the stable version 1.6 of CVC4 that is available in the **stable +versions** column at [http://cvc4.cs.stanford.edu/downloads]. You can +either get a binary (recommended) or compile it from the sources using +the following commands: +``` +./configure +make +``` +Whatever solution you choose, a binary called `cvc4` must be present in +your PATH to use it through SMTCoq. In your `.bashrc` (or `.bash_profile`, or any other initialization file read by your shell), export the following environment variable to make it point at the |