diff options
Diffstat (limited to 'Makefile.build')
-rw-r--r-- | Makefile.build | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/Makefile.build b/Makefile.build index 190a62d00..6a25eda75 100644 --- a/Makefile.build +++ b/Makefile.build @@ -1105,6 +1105,16 @@ dev/%.mllib.d: $(D_DEPEND_BEFORE_SRC) dev/%.mllib $(D_DEPEND_AFTER_SRC) $(OCAMLL $(SHOW)'CCDEP $<' $(HIDE)$(OCAMLC) -ccopt "-MM -MQ $@ -MQ $(<:.c=.o) -isystem $(CAMLHLIB)" $< $(TOTARGET) +theories/Init/%.v.beautified: theories/Init/%.v $(VO_TOOLS_DEP) | theories/Init/%.v.d + $(SHOW)'COQC -beautify -noinit $<' + $(HIDE)rm -f theories/Init/$*.glob + $(HIDE)$(BOOTCOQC) $< -beautify -noinit -R theories Coq + +%.v.beautified: %.v | %.v.d + $(SHOW)'COQC -beautify $<' + $(HIDE)rm -f $*.glob + $(HIDE)$(BOOTCOQC) $< -beautify + ########################################################################### # this sets up developper supporting stuff ########################################################################### |