From 8584ec02b0db7e26095e19663afca8d86f0b954e Mon Sep 17 00:00:00 2001 From: Karl Palmskog Date: Mon, 18 Dec 2017 19:32:06 -0600 Subject: [PATCH] use Coq 8.7.1 in Travis --- .travis-ci.sh | 4 ++-- .travis.yml | 2 +- README.md | 2 +- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/.travis-ci.sh b/.travis-ci.sh index 5f2c6e0..53099f2 100644 --- 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 index 1f5ad81..d21a7ba 100644 --- 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 index c09af81..bb18cfa 100644 --- 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