diff options
-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 |