diff options
author | Chantal Keller <Chantal.Keller@inria.fr> | 2018-10-10 09:30:01 +0200 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@inria.fr> | 2018-10-10 09:30:01 +0200 |
commit | 2e21fade829b79ced140080b68b9efe07a83e922 (patch) | |
tree | 6f13d977f70314925f1c8fe81c4ac94b5088f873 /INSTALL.md | |
parent | 75a524227ac565a0b2e867ca19061bd4d48157a5 (diff) | |
download | smtcoq-2e21fade829b79ced140080b68b9efe07a83e922.tar.gz smtcoq-2e21fade829b79ced140080b68b9efe07a83e922.zip |
Version of OCaml is related to installing with Coq-8.6
Diffstat (limited to 'INSTALL.md')
-rw-r--r-- | INSTALL.md | 7 |
1 files changed, 3 insertions, 4 deletions
@@ -33,13 +33,12 @@ You can also build SMTCoq from the sources, using either Coq 8.6 or the We recommend Coq 8.6 for standard use, and native-coq for uses that require very efficient computation (such as checking big certificates). -You will need an appropriate OCaml version. -OCaml 4.01.0 is too old for SMTCoq, while OCaml 4.06.0 is too new for Coq 8.6.1. -OCaml 4.04.0 is reported to work with Coq 8.6.1 and SMTCoq df1a51d. - ### Installation with Coq 8.6 +It requires OCaml between versions 4.02 and 4.05 (included). OCaml +4.04.0 is reported to work with Coq 8.6.1 and SMTCoq df1a51d. + 1. Download the last stable version of Coq 8.6: ``` wget https://coq.inria.fr/distrib/8.6.1/files/coq-8.6.1.tar.gz |