--- layout: fc_discuss_archives title: Message 31 from Frama-C-discuss on July 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] why-2.31 installation problem



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