Commit c949253c authored by Andrei Paskevich's avatar Andrei Paskevich

"make bench" should typecheck the library before testing API

parent ad063ef7
......@@ -1723,8 +1723,9 @@ endif
.PHONY: bench test
bench:: bin/why3.@OCAMLBEST@ bin/why3config.@OCAMLBEST@ plugins $(TOOLS) \
share/Makefile.config bin/why3extract.@OCAMLBEST@ bench-api
share/Makefile.config bin/why3extract.@OCAMLBEST@
bash bench/bench ".@OCAMLBEST@"
$(MAKE) bench-api
@echo ""
@echo "=== Checking extraction ==="
$(MAKE) test-ocaml-extraction
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment