New shiny travis script + test dep on dolmen.dev

.travis.yml

@@ -1,29 +1,47 @@
 language: c
 env:
-  - RUN_TEST=false OCAML_VERSION=4.00.1
+  # Check that funarith installs correctly with and without its test dependencies using opam
-  - RUN_TEST=false OCAML_VERSION=4.01.0
+  - TO_TEST=install OPAMBUILDTEST=false OCAML_VERSION=4.03.0
-  - RUN_TEST=true OCAML_VERSION=4.02.3
+  - TO_TEST=install OPAMBUILDTEST=true OCAML_VERSION=4.03.0
-  - RUN_TEST=true OCAML_VERSION=4.03.0
+  # Check build and unit tests
-  - RUN_TEST=true OCAML_VERSION=4.03.0+flambda
+  # NOTE: testing needs OPAMBUILDTEST=true so that test deps are installed
-  - RUN_TEST=true OCAML_VERSION=4.04.0
+  - TO_TEST=tests OPAMBUILDTEST=true OCAML_VERSION=4.03.0
-  - RUN_TEST=true OCAML_VERSION=4.04.0+flambda
+  - TO_TEST=tests OPAMBUILDTEST=true OCAML_VERSION=4.03.0+flambda
-addons:
+  - TO_TEST=tests OPAMBUILDTEST=true OCAML_VERSION=4.04.2
-  apt:
+  - TO_TEST=tests OPAMBUILDTEST=true OCAML_VERSION=4.04.2+flambda
-    sources:
+  - TO_TEST=tests OPAMBUILDTEST=true OCAML_VERSION=4.05.0
-      - avsm
+  - TO_TEST=tests OPAMBUILDTEST=true OCAML_VERSION=4.05.0+flambda
-    packages:
+  - TO_TEST=tests OPAMBUILDTEST=true OCAML_VERSION=4.06.0
-      - opam
+  - TO_TEST=tests OPAMBUILDTEST=true OCAML_VERSION=4.06.0+flambda
-      - time
+#matrix:
+#  allow_failures:
+#    # opam-installer fails on these versions (will probably be fixed before the official opam2 release
+#    - env: TO_TEST=tests OPAMBUILDTEST=true OCAML_VERSION=4.06.0
+#    - env: TO_TEST=tests OPAMBUILDTEST=true OCAML_VERSION=4.06.0+flambda
+# Caching may take a lot of space with so many ocaml versions
+#cache:
+#  directories:
+#    - $HOME/.opam
 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 init
+  # Testing requires the dev version of dolmen
-  - opam switch ${OCAML_VERSION}
+  - if [ "$TO_TEST" = "tests" ]; then ${HOME}/opam pin add --dev-repo dolmen; fi
-  - eval `opam config env`
-  - opam install ocamlfind ocamlbuild
-  - if ${RUN_TEST}; then opam pin add dolmen https://github.com/Gbury/dolmen.git; fi
 install:
-  - make lib
+  # Install dependencies
-  - if ${RUN_TEST}; then make bin; fi
+  - ${HOME}/opam pin add --no-action msat .
+  - ${HOME}/opam install --deps-only msat
 script:
-  - if ${RUN_TEST}; then make test; fi
+  # 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; fi
+

opam

@@ -20,6 +20,7 @@ remove: [
 depends: [
   "ocamlfind" {build}
   "ocamlbuild" {build}
+  "dolmen" {test && = "dev" }
 ]
 available: [
   ocaml-version >= "4.00.1"