diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-08-18 10:50:50 +0200 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-08-18 10:50:50 +0200 |
commit | 737cf2ec966c5a154353ef2d15b11607d9e15f9e (patch) | |
tree | d9933817c8db30cde09318c74b9cb7df3b11a974 /INSTALL.md | |
parent | 266faf9f8bddb038e48e8bfc4a79b6ad68703a92 (diff) | |
parent | aceba6c2aff4bd6faa702bca3c8346589d1f32f6 (diff) | |
download | smtcoq-737cf2ec966c5a154353ef2d15b11607d9e15f9e.tar.gz smtcoq-737cf2ec966c5a154353ef2d15b11607d9e15f9e.zip |
Merge remote-tracking branch 'remotes/origin/master' into coq-8.10
Diffstat (limited to 'INSTALL.md')
-rw-r--r-- | INSTALL.md | 10 |
1 files changed, 4 insertions, 6 deletions
@@ -7,8 +7,7 @@ clone) operating system. It is known to work under GNU/Linux (i386 and amd64) and Mac OS X. The simplest way is to install it using opam. You can also install it -from the sources (this is mandatory if you want to use the native -version, see below). +from the sources. You will also need to [install the provers](#installation-of-the-provers) you want to use. @@ -18,7 +17,7 @@ you want to use. ### In an existing switch -You need to have OCaml version >= 4.09.0 and Coq version 8.11.*. +You need to have OCaml version between 4.07 and 4.10 and Coq >= 8.11. Simply add the coq-extra-dev repo to opam: ```bash @@ -31,9 +30,9 @@ opam install coq-smtcoq ### In a new switch -Create a switch with the last version of OCaml: +Create a switch: ```bash -opam switch create ocaml-base-compiler.4.10.0 +opam switch create ocaml-base-compiler.4.07.1 eval $(opam env) ``` add the Coq repos to opam: @@ -194,7 +193,6 @@ which is known compatible with SMTCoq, and is already in proof production mode. To compile it, unpack the archive and use the following commands: ``` -autoconf ./configure make ``` |