use Coq 8.7.1 in Travis

Author: palmskog

.travis-ci.sh

@@ -7,9 +7,9 @@ opam repo add coq-released https://coq.inria.fr/opam/released
 opam repo add coq-core-dev https://coq.inria.fr/opam/core-dev
 opam repo add coq-extra-dev https://coq.inria.fr/opam/extra-dev
 
-opam pin add coq $COQ_VERSION --kind=version --yes --verbose
+opam pin add coq $COQ_VERSION --kind=version --yes
 opam pin add coq-mathcomp-ssreflect $SSREFLECT_VERSION --kind=version --yes --verbose
 
 opam pin add Heaps --yes --verbose
 opam pin add Core --yes --verbose
-make -C Examples
+make -j4 -C Examples

.travis.yml

@@ -9,7 +9,7 @@ addons:
       - aspcud
 env:
   matrix:
-    - COQ_VERSION=8.7.0 SSREFLECT_VERSION=1.6.4
+    - COQ_VERSION=8.7.1 SSREFLECT_VERSION=1.6.4
 script: bash -ex .travis-ci.sh
 sudo: false
 notifications:

README.md

@@ -16,7 +16,7 @@ the GitHub repository; the following dependencies are necessary.
 ### Requirements
 
 * Coq 8.7 (available from https://coq.inria.fr/download)
-* Mathematical Components 1.6.2 (http://math-comp.github.io/math-comp/)
+* Mathematical Components 1.6.2 or later (http://math-comp.github.io/math-comp/)
 * OCaml 4.05.0 or later (to compile and run the extracted applications)
 
 ### Building Manually