diff options
| -rw-r--r-- | Makefile.build | 6 | ||||
| -rw-r--r-- | checker/values.ml | 2 |
2 files changed, 4 insertions, 4 deletions
diff --git a/Makefile.build b/Makefile.build index 16c5730865..404f176ab4 100644 --- a/Makefile.build +++ b/Makefile.build @@ -282,11 +282,11 @@ $(COQC): $(patsubst %.cma,%$(BESTLIB),$(COQCCMO:.cmo=$(BESTOBJ))) # For the checker, different flags may be used -checker/check.cma: | checker/check.mllib.d +checker/check.cma: | md5chk checker/check.mllib.d $(SHOW)'OCAMLC -a -o $@' $(HIDE)$(OCAMLC) $(CHKLIBS) $(BYTEFLAGS) -a -o $@ $^ -checker/check.cmxa: | checker/check.mllib.d +checker/check.cmxa: | md5chk checker/check.mllib.d $(SHOW)'OCAMLOPT -a -o $@' $(HIDE)$(OCAMLOPT) $(CHKLIBS) $(OPTFLAGS) -a -o $@ $^ @@ -479,7 +479,7 @@ md5chk: VALIDOPTS=$(if $(VERBOSE),,-silent) -o -m -validate: $(CHICKEN) md5chk | $(ALLVO) +validate: $(CHICKEN) | $(ALLVO) $(SHOW)'COQCHK <theories & plugins>' $(HIDE)$(CHICKEN) -boot $(VALIDOPTS) $(ALLMODS) diff --git a/checker/values.ml b/checker/values.ml index e82ba10327..45220bd051 100644 --- a/checker/values.ml +++ b/checker/values.ml @@ -13,7 +13,7 @@ To ensure this file is up-to-date, 'make' now compares the md5 of cic.mli with a copy we maintain here: -MD5 cabb12868c5ab7a51dbc6dc2ae8c0894 checker/cic.mli +MD5 8b7e75b4b94a2d8506a62508e0374c0a checker/cic.mli *) |