diff options
author | Emilio Jesus Gallego Arias <e+git@x80.org> | 2017-05-26 17:48:43 +0200 |
---|---|---|
committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2017-05-26 17:48:43 +0200 |
commit | 6de0e0faf3b7f2419972ebfeb90f3fa21c5657fe (patch) | |
tree | 552ebd545cf23ede407facd8a588c39c6188401b /Makefile.dev | |
parent | 26bc355c9a48db514efda6cb631f40b4f371ccef (diff) |
[checker] Add bin/votour to the coqocaml target.
Diffstat (limited to 'Makefile.dev')
-rw-r--r-- | Makefile.dev | 2 |
1 files changed, 1 insertions, 1 deletions
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 |