diff options
| author | Maxime Dénès | 2017-05-28 12:52:58 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-05-28 12:52:58 +0200 |
| commit | 834942a0c30c1e770b167846873bede9254ebdcc (patch) | |
| tree | c7ab8998d689c69baea16a999cb780f92df908bd /Makefile.dev | |
| parent | 606ae29a6972ab8b11dfc010b2b52e85e99e69d9 (diff) | |
| parent | 2d412951abd8f96c652d5510ee9d92e3668a6019 (diff) | |
Merge PR#681: Fix votour for safe strings & warnings
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 1803cc8ffe..fde92ec949 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 |