From b4ef8e4e670b1e368ba9fbdc93bc39e595f293bc Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Mon, 24 Feb 2020 17:46:35 -0600
Subject: [PATCH] chore: use a different travis script

---
 .travis.yml | 51 ++++++++++++++++-----------------------------------
 1 file changed, 16 insertions(+), 35 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 5d0a8753..69defb26 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,37 +1,18 @@
 language: c
+install: wget https://raw.githubusercontent.com/ocaml/ocaml-ci-scripts/master/.travis-docker.sh
+script: bash -ex .travis-docker.sh
+services:
+- docker
 env:
-  - RUN_TEST=true OCAML_VERSION=4.03.0
-  - RUN_TEST=true OCAML_VERSION=4.03.0+flambda
-  - RUN_TEST=true OCAML_VERSION=4.04.0
-  - RUN_TEST=true OCAML_VERSION=4.04.0+flambda
-  - RUN_TEST=true OCAML_VERSION=4.06.0
-addons:
-  apt:
-    sources:
-      - avsm
-    packages:
-      - opam
-      - time
-before_install:
-  # Download and use opam2
-  - wget -O ${HOME}/opam https://github.com/ocaml/opam/releases/download/2.0.0-beta6/opam-2.0.0-beta6-x86_64-linux
-  - chmod +x ${HOME}/opam
-  # Some opam boilerplate
-  - export OPAMYES=1
-  - export OPAMJOBS=2
-  # Init opam, and the default switch with the right ocaml version
-  - ${HOME}/opam init --compiler=${OCAML_VERSION}
-  - eval `${HOME}/opam config env`
-  - export OPAMVERBOSE=1
-  - opam switch ${OCAML_VERSION}
-  - eval `opam config env`
-  - opam install ocamlfind dune iter camlzip
-  - if ${RUN_TEST}; then opam install containers ; fi
-install:
-  - make build
-script:
-  # Build and launch the tests
-  - if [ "$TO_TEST" = "tests" ]; then make lib && make bin && make test; fi
-  # Try and install the package with opam
-  - if [ "$TO_TEST" = "install" ]; then ${HOME}/opam install msat.dev; fi
-
+  global:
+  - PINS="msat:. msat-bin:."
+  - DISTRO="ubuntu-16.04"
+  matrix:
+  - PACKAGE="msat" CAML_VERSION="4.03"
+  - PACKAGE="msat" CAML_VERSION="4.04"
+    #- PACKAGE="msat" CAML_VERSION="4.05"
+  - PACKAGE="msat" CAML_VERSION="4.06"
+    #- PACKAGE="msat" CAML_VERSION="4.08"
+  - PACKAGE="msat" CAML_VERSION="4.09"
+  - PACKAGE="msat" CAML_VERSION="4.10"
+  - PACKAGE="msat-bin" CAML_VERSION="4.06" TESTS=false