Commit a7401045 authored by François Bobot's avatar François Bobot
Browse files

install fix

parent 4e0bf50f
......@@ -599,6 +599,12 @@ plugins/whytptp.cmxs: plugins src/tptp2why/whytptp.cmxs
plugins/whytptp.cmo: plugins src/tptp2why/whytptp.cmo
@cp src/tptp2why/whytptp.cmo $@
mkdir -p $(LIBDIR)/why3/plugins
cp -f plugins/* $(LIBDIR)/why3/plugins
# depend and clean targets
ifeq (@enable_whytptp@,yes)
......@@ -332,7 +332,7 @@ answer output time
let tool_res = (fun (t,l) -> t,compute_average l) l in
let print_tool_res (tool_val,tool_res) =
fprintf fmt "%a - %a\n" print_tool_res tool_res print_tool tool_val in
fprintf fmt "(v,u,t,i,f) - valid, unknown, timeout, invalid, failure@.";
fprintf fmt "(v,u,t,i,f) - valid, unknown, timeout, invalid, failure\n";
List.iter print_tool_res tool_res
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