From b16f9e8a17d2223e6045e57a11bef2aa44ffb6ff Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net>
Date: Mon, 27 Nov 2017 14:44:15 +0100
Subject: CI: use -byte-only in [warnings] jobs.

This avoids mixing native and byte compilation as the debug printers
are always byte compiled and the tools have no .byte rule, only the
OCAMLBEST rule.
---
 .travis.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to '.travis.yml')

diff --git a/.travis.yml b/.travis.yml
index 44c799c71..83a4e7fdd 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -141,7 +141,7 @@ matrix:
     # Ocaml warnings with two compilers
     - env:
       - MAIN_TARGET="coqocaml"
-      - EXTRA_CONF="-coqide opt -warn-error"
+      - EXTRA_CONF="-byte-only -coqide byte -warn-error"
       - EXTRA_OPAM="hevea ${LABLGTK}"
       # dummy target
       - BUILD_TARGET="clean"
@@ -160,7 +160,7 @@ matrix:
       - COMPILER="${COMPILER_BE}"
       - FINDLIB_VER="${FINDLIB_VER_BE}"
       - CAMLP5_VER="${CAMLP5_VER_BE}"
-      - EXTRA_CONF="-coqide opt -warn-error"
+      - EXTRA_CONF="-byte-only -coqide byte -warn-error"
       - EXTRA_OPAM="num hevea ${LABLGTK_BE}"
       # dummy target
       - BUILD_TARGET="clean"
-- 
cgit v1.2.3