From 2135e795ffd39039b70ececf7dc199cd1e484db4 Mon Sep 17 00:00:00 2001
From: Guillaume Claret <dev@clarus.me>
Date: Fri, 26 Jul 2019 14:25:34 +0200
Subject: [PATCH] Explicit plaform which sould be supported

---
 .travis.yml | 13 ++++++-------
 1 file changed, 6 insertions(+), 7 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index ee427a6..4bc7cc9 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -10,11 +10,11 @@ env:
   - PACKAGE_NAME="coq-io-system"
   matrix:
   - COQ_IMAGE="coqorg/coq:8.4"
-  - COQ_IMAGE="coqorg/coq:8.5"
-  - COQ_IMAGE="coqorg/coq:8.6"
-  - COQ_IMAGE="coqorg/coq:8.7"
-  - COQ_IMAGE="coqorg/coq:8.8"
-  - COQ_IMAGE="coqorg/coq:8.9"
+  - COQ_IMAGE="coqorg/coq:8.5" SHOULD_SUPPORT="true"
+  - COQ_IMAGE="coqorg/coq:8.6" SHOULD_SUPPORT="true"
+  - COQ_IMAGE="coqorg/coq:8.7" SHOULD_SUPPORT="true"
+  - COQ_IMAGE="coqorg/coq:8.8" SHOULD_SUPPORT="true"
+  - COQ_IMAGE="coqorg/coq:8.9" SHOULD_SUPPORT="true"
 
 install: |
   # Prepare the COQ container
@@ -32,7 +32,6 @@ install: |
     opam pin list
     opam list
     " install
-
 script:
 - echo -e "${ANSI_YELLOW}Building...${ANSI_RESET}" && echo -en 'travis_fold:start:script\\r'
 - |
@@ -41,7 +40,7 @@ script:
     set -ex
     sudo chown -R coq:coq /home/project
     # Check if the package is compatible with the current environment
-    if opam install ${PACKAGE_NAME} --show-action; then
+    if [ ${SHOULD_SUPPORT} ] || opam install ${PACKAGE_NAME} --show-action; then
       # First install the dependencies
       opam install ${PACKAGE_NAME} --deps-only -y
       opam list