Commit ebed5ee0 authored by Andrei Paskevich's avatar Andrei Paskevich

brown-paper bug fix

parent 4599fe6b
......@@ -1111,8 +1111,9 @@ install_local: bin/why3doc
.PHONY: bench test
bench:: bin/why3.@OCAMLBEST@ bin/why3config.@OCAMLBEST@ plugins $(TOOLS)
test -f examples/use-api.ml && $(MAKE) test-api.@OCAMLBEST@
test -d examples/runstrat && $(MAKE) test-runstrat.@OCAMLBEST@
$(MAKE) test-api.@OCAMLBEST@
if test -d examples/runstrat ; then \
$(MAKE) test-runstrat.@OCAMLBEST@ ; fi
sh bench/bench "bin/why3.@OCAMLBEST@"
@if test "@enable_coq_tactic@" = "yes"; then \
echo "=== checking the Coq tactic ==="; \
......
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