Commit 392a6d5c authored by MARCHE Claude's avatar MARCHE Claude

suppress runstrat from bench: does not work without findlib

parent 5dce6207
......@@ -1100,8 +1100,9 @@ install_local: bin/why3doc
bench:: bin/why3.@OCAMLBEST@ bin/why3config.@OCAMLBEST@ plugins $(TOOLS)
$(MAKE) test-api.@OCAMLBEST@
if test -d examples/runstrat ; then \
$(MAKE) test-runstrat.@OCAMLBEST@ ; fi
# desactivé car requiert findlib
# 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