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 /Makefile.dev | |
| parent | 8252ff7ef7159a2493dd5ac76a647a8b96a5a692 (diff) | |
Travis: add -warn-error targets (standard and 4.04.1 ocaml)
Diffstat (limited to 'Makefile.dev')
| -rw-r--r-- | Makefile.dev | 5 |
1 files changed, 4 insertions, 1 deletions
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 |