From ec41af7ac01cef7c30785e6dd704381f31e7c2d3 Mon Sep 17 00:00:00 2001
From: ckeller <ckeller@users.noreply.github.com>
Date: Thu, 14 Feb 2019 20:09:40 +0100
Subject: V8.7 (#36)

Port SMTCoq to Coq-8.7
---
 INSTALL.md | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

(limited to 'INSTALL.md')

diff --git a/INSTALL.md b/INSTALL.md
index 59c40f7..73084c5 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -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).
 
-- 
cgit