Commit f1b63493 authored by MARCHE Claude's avatar MARCHE Claude

install the .gen files

parent ec5701fe
......@@ -238,7 +238,7 @@ install_no_local::
cp -f theories/*.why $(DATADIR)/why3/theories
cp -f theories/transform/*.why $(DATADIR)/why3/theories/transform
cp -f modules/*.mlw $(DATADIR)/why3/modules
cp -f drivers/*.drv $(DATADIR)/why3/drivers
cp -f drivers/*.drv drivers/*.gen $(DATADIR)/why3/drivers
cp -f share/provers-detection-data.conf $(DATADIR)/why3/
cp -f share/images/*.png $(DATADIR)/why3/images
cp -f share/emacs/why.el $(DATADIR)/why3/emacs/why.el
......
......@@ -48,9 +48,12 @@ let get_prover_data env id pr acc =
editor = pr.Whyconf.editor;
}
acc
with _e ->
eprintf "Failed to load driver %s for prover %s. prover disabled@."
pr.Whyconf.driver pr.Whyconf.name;
with e ->
eprintf "Failed to load driver %s for prover %s (%a). prover disabled@."
pr.Whyconf.driver
pr.Whyconf.name
Exn_printer.exn_printer e
;
acc
(***************************)
......
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