diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-08-18 10:54:03 +0200 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-08-18 10:54:03 +0200 |
commit | a23f35f26684fa586387bdafcf5fe283fa49d12f (patch) | |
tree | 892fecc0d3d5348d0ea06e078cc99cce4909c3f3 /INSTALL.md | |
parent | e61a9b4090d6951e1d803046b09e985e3468a9a5 (diff) | |
parent | 313f8ffcb8d61452e4e0dbe4a013962dc0900a44 (diff) | |
download | smtcoq-a23f35f26684fa586387bdafcf5fe283fa49d12f.tar.gz smtcoq-a23f35f26684fa586387bdafcf5fe283fa49d12f.zip |
Merge remote-tracking branch 'remotes/origin/coq-8.11' into coq-8.12
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: @@ -195,7 +194,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 ``` |