--- layout: fc_discuss_archives title: Message 31 from Frama-C-discuss on July 2012 ---
Hello, I just compiled and installed why3-0.73 and I've compiled why-2.31. However, "make install" aborts with cp: cannot stat `lib/why3/coq.drv': No such file or directory make: *** [install-lib] Error 1 I haven't installed Coq, but this shouldn't be required for why. This is the output of configure: Summary ----------------------------------------- OCaml version : 3.12.1 OCaml library path : /usr/lib/ocaml OcamlGraph lib : in Ocaml lib, subdir ocamlgraph Verbose make : no Inference of annotations : no Frama-C plugin : yes Frama-C version : Nitrogen-20111001 GWhy : yes Coq support : no PVS support : no Mizar support : no Other provers support : at run-time (use why-config to configure) -Boris