diff options
| author | Hugo Herbelin | 2016-04-27 22:13:04 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2016-04-27 22:13:04 +0200 |
| commit | ce802a406e0667d02fb03571659ef7308fba3427 (patch) | |
| tree | b08efb7749b68952f311c22a4f7b0dcd55979cca | |
| parent | ada0e568ed7d5d25ab6bff4eae72afc30c3f675f (diff) | |
Revert "Adding a target for beautification."
This reverts commit c2249c3b4c3387a3c8510e68fc447274d7299695.
| -rw-r--r-- | Makefile.build | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/Makefile.build b/Makefile.build index 6a25eda754..190a62d000 100644 --- a/Makefile.build +++ b/Makefile.build @@ -1105,16 +1105,6 @@ 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 ########################################################################### |