From d8d56dfadc571fdf23ff9f8cb97d4c8cd96691ee Mon Sep 17 00:00:00 2001
From: Gaetan Gilbert <gaetan.gilbert@ens-lyon.fr>
Date: Fri, 5 May 2017 14:24:23 +0200
Subject: Travis: add -warn-error targets (standard and 4.04.1 ocaml)

---
 Makefile.dev | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'Makefile.dev')

diff --git a/Makefile.dev b/Makefile.dev
index 5931e46dd..1803cc8ff 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