Use 8.10 docker image

Author: proux01

.travis.yml

@@ -1,47 +1,34 @@
-opam: &OPAM
-  language: minimal
-  sudo: required
-  services: docker
-  install: |
-    # Prepare the COQ container
-    docker pull ${COQ_IMAGE}
-    docker run -d -i --init --name=COQ -v ${TRAVIS_BUILD_DIR}:/home/coq/${CONTRIB_NAME} -w /home/coq/${CONTRIB_NAME} ${COQ_IMAGE}
-    docker exec COQ /bin/bash --login -c "
-      # This bash script is double-quoted to interpolate Travis CI env vars:
-      echo \"Build triggered by ${TRAVIS_EVENT_TYPE}\"
-      export PS4='+ \e[33;1m(\$0 @ line \$LINENO) \$\e[0m '
-      set -ex  # -e = exit on failure; -x = trace for debug
-      opam update -y
-      opam pin add ${CONTRIB_NAME} . -y --no-action
-      opam install ${CONTRIB_NAME} -y -j ${NJOBS} --deps-only
-      opam config list
-      opam repo list
-      opam list
-      "
-  script:
-  - echo -e "${ANSI_YELLOW}Building ${CONTRIB_NAME}...${ANSI_RESET}" && echo -en 'travis_fold:start:script\\r'
-  - |
-    docker exec COQ /bin/bash --login -c "
-      export PS4='+ \e[33;1m(\$0 @ line \$LINENO) \$\e[0m '
-      set -ex
-      sudo chown -R coq:coq /home/coq/${CONTRIB_NAME}
-      opam install ${CONTRIB_NAME} -v -y -j ${NJOBS}
-      "
-  - docker stop COQ  # optional
-  - echo -en 'travis_fold:end:script\\r'
+dist: trusty
+sudo: required
+language: generic
 
-nix: &NIX
-  language: nix
-  script:
-  - nix-build --argstr coq-version-or-url "$COQ" --extra-substituters https://coq.cachix.org --trusted-public-keys "cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= coq.cachix.org-1:5QW/wwEnD+l2jvN6QRbRRsa4hBHG3QiQQ26cxu1F5tI="
+services:
+  - docker
 
-matrix:
-  include:
+env:
+  matrix:
+  - COQ_IMAGE="coqorg/coq:8.10"
 
-  # Test supported versions of Coq via Nix
-  - env:
-    - COQ=https://github.com/coq/coq-on-cachix/tarball/v8.10
-    <<: *NIX
-
-  # Test supported versions of Coq via OPAM
+install: |
+  # Run the COQ container and display build metadata
+  docker run -d -i --init --name=COQ -v ${TRAVIS_BUILD_DIR}:/home/coq/paramcoq -w /home/coq/paramcoq ${COQ_IMAGE}
+  docker exec COQ /bin/bash --login -c "
+    export PS4='+ \e[33;1m(\$0 @ line \$LINENO) \$\e[0m '
+    set -ex
+    opam config list
+    opam repo list
+    opam list
+    "
 
+script:
+- echo -e "${ANSI_YELLOW}Building paramcoq...${ANSI_RESET}" && echo -en 'travis_fold:start:paramcoq.build\\r'
+- |
+  docker exec COQ /bin/bash --login -c "
+    export PS4='+ \e[33;1m(\$0 @ line \$LINENO) \$\e[0m '
+    set -ex
+    sudo chown -R coq:coq /home/coq/paramcoq
+    make
+    cd test-suite; make examples
+    "
+- docker stop COQ  # optional
+- echo -en 'travis_fold:end:paramcoq.build\\r'