diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-08-18 10:53:17 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-08-18 10:53:17 +0200 |
| commit | 313f8ffcb8d61452e4e0dbe4a013962dc0900a44 (patch) | |
| tree | 63edef4458f53a25820ac049f913cdf98a5dd883 /INSTALL.md | |
| parent | a1d76ab05464ec306357d7bf64f6b05caf34ca55 (diff) | |
| parent | 737cf2ec966c5a154353ef2d15b11607d9e15f9e (diff) | |
| download | smtcoq-313f8ffcb8d61452e4e0dbe4a013962dc0900a44.tar.gz smtcoq-313f8ffcb8d61452e4e0dbe4a013962dc0900a44.zip | |
Merge remote-tracking branch 'remotes/origin/coq-8.10' into coq-8.11
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 ``` |