From 2e21fade829b79ced140080b68b9efe07a83e922 Mon Sep 17 00:00:00 2001 From: Chantal Keller Date: Wed, 10 Oct 2018 09:30:01 +0200 Subject: Version of OCaml is related to installing with Coq-8.6 --- INSTALL.md | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/INSTALL.md b/INSTALL.md index 68a2e7b..9498307 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -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 -- cgit