diff options
| author | ckeller <ckeller@users.noreply.github.com> | 2019-02-14 20:09:40 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-02-14 20:09:40 +0100 |
| commit | ec41af7ac01cef7c30785e6dd704381f31e7c2d3 (patch) | |
| tree | 13d51483c50d7b5a668d90b8b67a8b99ef0fbe56 /INSTALL.md | |
| parent | ba22fad2fb46962eef5f30d976e9eaeb587023a0 (diff) | |
| download | smtcoq-ec41af7ac01cef7c30785e6dd704381f31e7c2d3.tar.gz smtcoq-ec41af7ac01cef7c30785e6dd704381f31e7c2d3.zip | |
V8.7 (#36)
Port SMTCoq to Coq-8.7
Diffstat (limited to 'INSTALL.md')
| -rw-r--r-- | INSTALL.md | 18 |
1 files changed, 9 insertions, 9 deletions
@@ -15,7 +15,7 @@ changes](#setting-up-environment-for-smtcoq). ## Requirements -You need to have OCaml version >= 4.04.0 and Coq version 8.6 or 8.6.1. +You need to have OCaml version >= 4.04.0 and Coq version 8.7.*. 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 @@ -26,7 +26,7 @@ The easiest way to install these two pieces of software is through opam. If you want to use SMTCoq with high performance, you need to use the [version of Coq with native data-structures](https://github.com/smtcoq/native-coq) instead of -Coq-8.6. +Coq-8.7. ### Installation with Coq and OCaml opam packages @@ -63,16 +63,16 @@ opam switch 4.04.0 #### Install Coq -After OCaml is installed, you can install Coq through opam (we recommend 8.6.1). +After OCaml is installed, you can install Coq through opam (we recommend 8.7.2). ```bash -opam install coq.8.6.1 +opam install coq.8.7.2 ``` If you also want to install CoqIDE at the same time you can do ```bash -opam install coq.8.6.1 coqide.8.6.1 +opam install coq.8.7.2 coqide.8.7.2 ``` but you might need to install some extra packages and libraries for your system @@ -90,11 +90,11 @@ make install ``` -### Installation with official Coq 8.6 release +### Installation with official Coq 8.7 release -1. Download the last stable version of Coq 8.6: +1. Download the last stable version of Coq 8.7: ```bash -wget https://coq.inria.fr/distrib/8.6.1/files/coq-8.6.1.tar.gz +wget https://coq.inria.fr/distrib/8.7.2/files/coq-8.7.2.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 @@ -107,7 +107,7 @@ make 2. Set an environment variable COQBIN to the directory where Coq's binaries are; for instance: ```bash -export COQBIN=/home/jdoe/coq-8.6.1/bin/ +export COQBIN=/home/jdoe/coq-8.7.2/bin/ ``` (the final slash is mandatory). |