diff --git a/.travis.yml b/.travis.yml index 6ad16f51..cf295755 100644 --- a/.travis.yml +++ b/.travis.yml @@ -1,10 +1,12 @@ language: c env: - - OCAML_VERSION=4.02.3 - - OCAML_VERSION=4.03.0 - - OCAML_VERSION=4.03.0+flambda - - OCAML_VERSION=4.04.0 - - OCAML_VERSION=4.04.0+flambda + - RUN_TEST=false OCAML_VERSION=4.00.1 + - RUN_TEST=false OCAML_VERSION=4.01.0 + - RUN_TEST=true OCAML_VERSION=4.02.3 + - 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 addons: apt: sources: @@ -19,8 +21,8 @@ before_install: - opam switch ${OCAML_VERSION} - eval `opam config env` - opam install ocamlfind ocamlbuild - - opam pin add dolmen https://github.com/Gbury/dolmen.git + - if ${RUN_TEST}; then opam pin add dolmen https://github.com/Gbury/dolmen.git; fi install: - make bin lib script: - - make test + - if ${RUN_TEST}; then make test; fi