use Coq 8.7.1 in Travis

DistributedComponents · Dec 19, 2017 · 8584ec0 · 8584ec0
1 parent a046289
commit 8584ec0
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/.travis-ci.sh b/.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
diff --git a/.travis.yml b/.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:

diff --git a/README.md b/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