diff options
Diffstat (limited to 'Makefile.build')
| -rw-r--r-- | Makefile.build | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.build b/Makefile.build index fefaf2cb7..6a0857ccd 100644 --- a/Makefile.build +++ b/Makefile.build @@ -165,13 +165,13 @@ kernel/copcodes.ml: kernel/byterun/coq_instruct.h # Main targets (coqmktop, coqtop.opt, coqtop.byte) ########################################################################### -coqbinaries:: ${COQBINARIES} ${CSDPCERT} +coqbinaries:: ${COQBINARIES} ${CSDPCERT} $(INITPLUGINSOPT) $(INITPLUGINS) coq: coqlib tools coqbinaries coqlib:: initplugins theories contrib -coqlight: initplugins theories-light tools coqbinaries +coqlight: theories-light tools coqbinaries states:: states/initial.coq |