From 493c3127cd3e73de14b567a586be819ccadcfad2 Mon Sep 17 00:00:00 2001 From: Guillaume Melquiond Date: Tue, 17 Feb 2015 09:01:44 +0100 Subject: [PATCH] Fix command line for coqc in the bench. --- Makefile.in | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile.in b/Makefile.in index 727d51b13..0ca8cddae 100644 --- a/Makefile.in +++ b/Makefile.in @@ -1432,10 +1432,10 @@ test-session.opt: examples/use_api/create_session.ml lib/why3/why3.cmxa @rm -f test-session.opt why3session.xml why3shapes why3shapes.gz test-coq-tactic.byte: src/coq-tactic/.why3-vo-byte - $(COQC) -byte -I lib/coq-tactic/ bench/coq-tactic/test.v + $(COQC) -byte -R lib/coq-tactic Why3 bench/coq-tactic/test.v test-coq-tactic.opt: src/coq-tactic/.why3-vo-opt - $(COQC) -opt -I lib/coq-tactic/ bench/coq-tactic/test.v + $(COQC) -opt -R lib/coq-tactic Why3 bench/coq-tactic/test.v #only test the compilation of runstrat test-runstrat.byte: lib/why3/why3.cma lib/why3/META -- GitLab