Commit bf5879a0 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Make sure the link to why3extract is available before running the bench.

parent 2c4af0a1
......@@ -1551,7 +1551,7 @@ install_local:: bin/why3doc
.PHONY: bench test
bench:: bin/why3.@OCAMLBEST@ bin/why3config.@OCAMLBEST@ plugins $(TOOLS) \
share/Makefile.config
share/Makefile.config bin/why3extract
$(MAKE) test-api-logic.@OCAMLBEST@
$(MAKE) test-api-mlw-tree.@OCAMLBEST@
$(MAKE) test-api-mlw.@OCAMLBEST@
......@@ -1678,7 +1678,7 @@ test-runstrat.opt: lib/why3/why3.cmxa lib/why3/META
test-runstrat: test-runstrat.$(OCAMLBEST)
test-ocaml-extraction: bin/why3.opt lib/why3/why3extract.cmxa
test-ocaml-extraction: bin/why3.opt bin/why3extract.opt lib/why3/why3extract.cmxa
@echo "driver ocaml32"
@mkdir -p tests/test-extraction
@cd tests ; ../bin/why3extract.opt -D ocaml32 \
......
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