diff options
| author | Chantal Keller <Chantal.Keller@inria.fr> | 2020-06-30 09:32:01 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@inria.fr> | 2020-06-30 09:32:01 +0200 |
| commit | 4a1a25da91cb65dad36eab365644523fd35c3608 (patch) | |
| tree | 93dae18e23b03ed7a0f7f8971433654a149c791b /INSTALL.md | |
| parent | 22c6b47cd482534e5c789f2f367cff9a0d6ace64 (diff) | |
| parent | 2047f81d05ba46c82d9c503358c4eec17dff7d27 (diff) | |
| download | smtcoq-4a1a25da91cb65dad36eab365644523fd35c3608.tar.gz smtcoq-4a1a25da91cb65dad36eab365644523fd35c3608.zip | |
Merge branch 'master' of github.com:smtcoq/smtcoq into coq-8.11
Diffstat (limited to 'INSTALL.md')
| -rw-r--r-- | INSTALL.md | 11 |
1 files changed, 5 insertions, 6 deletions
@@ -15,13 +15,13 @@ you want to use. ## Requirements -You need to have OCaml version >= 4.04.0 and Coq version 8.11.*. +You need to have OCaml version >= 4.09.0 and Coq version 8.11.*. The easiest way to install these two pieces of software is through opam. > **Warning**: The version of Coq that you plan to use must have been compiled > with the same version of OCaml that you are going to use to compile > SMTCoq. In particular this means you want a version of Coq that was compiled -> with OCaml version >= 4.04.0. +> with OCaml version >= 4.09.0. If you want to use SMTCoq with high performance to check large proof certificates, you need to use the [version of Coq with native @@ -67,11 +67,10 @@ eval `opam config env` #### Install OCaml -Now you can install an OCaml compiler (we recommend 4.08.1 or the latest -release): +Now you can install an OCaml compiler (we recommend 4.09.0): ```bash -opam switch 4.08.1 +opam switch create ocaml-base-compiler.4.09.0 ``` #### Install Coq @@ -110,7 +109,7 @@ make install <!-- wget https://github.com/coq/coq/archive/V8.9.0.tar.gz --> <!-- ``` --> <!-- and compile it by following the instructions available in the --> -<!-- repository (make sure you use OCaml 4.04.0 for that). We recommand --> +<!-- repository (make sure you use OCaml 4.09.0 for that). We recommand --> <!-- that you do not install it, but only compile it in local: --> <!-- ```bash --> <!-- ./configure -local --> |