diff options
| author |  Gaetan Gilbert <gaetan.gilbert@ens-lyon.fr> | 2017-05-05 14:24:23 +0200 |
|---|---|---|
| committer | Gaetan Gilbert <gaetan.gilbert@ens-lyon.fr> | 2017-05-17 09:13:58 +0200 |
| commit | d8d56dfadc571fdf23ff9f8cb97d4c8cd96691ee (patch) | |
| tree | 6cc1428be94b4a8c7392482ff69e42599ba8e6ab /.travis.yml | |
| parent | 8252ff7ef7159a2493dd5ac76a647a8b96a5a692 (diff) | |
Travis: add -warn-error targets (standard and 4.04.1 ocaml)
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml index 158f61cfd..06ce3cae2 100644 --- a/.travis.yml +++ b/.travis.yml @@ -91,6 +91,34 @@ matrix: sources: - avsm packages: *extra-packages + - env: + - TEST_TARGET="coqocaml" + - EXTRA_CONF="-coqide opt -warn-error" + - EXTRA_OPAM="lablgtk-extras hevea" + # dummy target + - BUILD_TARGET="clean" + addons: + apt: + sources: + - avsm + packages: &coqide-packages + - opam + - aspcud + - libgtk2.0-dev + - libgtksourceview2.0-dev + - env: + - TEST_TARGET="coqocaml" + - COMPILER="4.04.1" + - CAMLP5_VER="6.17" + - EXTRA_CONF="-coqide opt -warn-error" + - EXTRA_OPAM="lablgtk-extras hevea" + # dummy target + - BUILD_TARGET="clean" + addons: + apt: + sources: + - avsm + packages: *coqide-packages install: - opam init -j ${NJOBS} --compiler=${COMPILER} -n -y |