Commit 5eb6143e authored by MARCHE Claude's avatar MARCHE Claude

install-lib should also install why3session.{cma|cmxa}

parent 6df23b0b
......@@ -324,6 +324,7 @@ endif
install_no_local_lib::
mkdir -p $(OCAMLINSTALLLIB)/why3
cp -f lib/why3/why3.cm* lib/why3/why3.[ao] \
lib/why3/why3session.cm* lib/why3/why3session.[ao] \
lib/why3/META $(OCAMLINSTALLLIB)/why3
ifeq (@enable_local@,yes)
......
......@@ -739,8 +739,10 @@ let save fname shfname _config session =
fprintf fmt "@[<v 0><why3session shape_version=\"%d\">"
session.session_shape_version;
Tc.reset_dict ();
let provers,_ = PHprover.fold (save_prover fmt) (get_used_provers_with_stats session)
(Mprover.empty,0) in
let provers,_ =
PHprover.fold (save_prover fmt) (get_used_provers_with_stats session)
(Mprover.empty,0)
in
PHstr.iter
(save_file { provers = provers; ch_shapes = chsh} fmt)
session.session_files;
......
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