From 6de0e0faf3b7f2419972ebfeb90f3fa21c5657fe Mon Sep 17 00:00:00 2001 From: Emilio Jesus Gallego Arias Date: Fri, 26 May 2017 17:48:43 +0200 Subject: [checker] Add bin/votour to the coqocaml target. --- Makefile.dev | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile.dev') diff --git a/Makefile.dev b/Makefile.dev index 1803cc8ff..fde92ec94 100644 --- a/Makefile.dev +++ b/Makefile.dev @@ -98,7 +98,7 @@ pluginsopt: $(PLUGINSOPT) pluginsbyte: $(PLUGINS) # This should build all the ocaml code but not (most of) the .v files -coqocaml: tools coqbinaries pluginsopt coqide printers +coqocaml: tools coqbinaries pluginsopt coqide printers bin/votour .PHONY: coqlight states miniopt minibyte pluginsopt pluginsbyte coqocaml -- cgit v1.2.3