diff options
| author | ckeller <ckeller@users.noreply.github.com> | 2019-03-15 11:23:55 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-03-15 11:23:55 +0100 |
| commit | ae455fa3aa29c872c9c5b2736fff861afebcd051 (patch) | |
| tree | 1db2df3a7bd9ca076ea4007d59557a549af9dc04 /INSTALL.md | |
| parent | 4a610de645ca2bb505c97dd082220a57595019ad (diff) | |
| download | smtcoq-ae455fa3aa29c872c9c5b2736fff861afebcd051.tar.gz smtcoq-ae455fa3aa29c872c9c5b2736fff861afebcd051.zip | |
V8.9 (#43)
* New syntax for implicit arguments
* Towards 8.9: problems with Micromega plugin
* Move to _CoqProject
* Back to name Makefile
* Switch to Makefile.local instead of -extra
* The compilation issue is a Coq bug
* Ok with 8.9
* INSTALL with 8.9
* Everything ok with 8.9
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.8.*. +You need to have OCaml version >= 4.04.0 and Coq version 8.9.0. 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 to check large proof certificates, you need to use the [version of Coq with native data-structures](https://github.com/smtcoq/native-coq) instead of -Coq-8.8. +Coq-8.9. ### 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.8.2). +After OCaml is installed, you can install Coq-8.9.0 through opam. ```bash -opam install coq.8.8.2 +opam install coq.8.9.0 ``` If you also want to install CoqIDE at the same time you can do ```bash -opam install coq.8.8.2 coqide.8.8.2 +opam install coq.8.9.0 coqide.8.9.0 ``` 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.8 release +### Installation with official Coq 8.9 release -1. Download the last stable version of Coq 8.8: +1. Download the last stable version of Coq 8.9: ```bash -wget https://github.com/coq/coq/archive/V8.8.2.tar.gz +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 @@ -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.8.2/bin/ +export COQBIN=/home/jdoe/coq-8.9.0/bin/ ``` (the final slash is mandatory). |