From d8d56dfadc571fdf23ff9f8cb97d4c8cd96691ee Mon Sep 17 00:00:00 2001
From: Gaetan Gilbert
Date: Fri, 5 May 2017 14:24:23 +0200
Subject: Travis: add -warn-error targets (standard and 4.04.1 ocaml)

---
 .travis.yml  | 28 ++++++++++++++++++++++++++++
 Makefile.dev |  5 ++++-
 2 files changed, 32 insertions(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index 158f61cfdb..06ce3cae26 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
diff --git a/Makefile.dev b/Makefile.dev
index 5931e46dd0..1803cc8ffe 100644
--- a/Makefile.dev
+++ b/Makefile.dev
@@ -97,7 +97,10 @@ minibyte: $(COQTOPBYTE) pluginsbyte
 pluginsopt: $(PLUGINSOPT)
 pluginsbyte: $(PLUGINS)
 
-.PHONY: coqlight states miniopt minibyte pluginsopt pluginsbyte
+# This should build all the ocaml code but not (most of) the .v files
+coqocaml: tools coqbinaries pluginsopt coqide printers
+
+.PHONY: coqlight states miniopt minibyte pluginsopt pluginsbyte coqocaml
 
 ##########################
 ### 2) core ML components
-- 
cgit v1.2.3