--- layout: fc_discuss_archives title: Message 6 from Frama-C-discuss on December 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Why/Jessie plugin version 2.22 is out



Hello,

Hollas Boris (CR/AEY1) a ?crit :
> ~/tmp/why-2.22> ./configure -prefix /cygdrive/c/Frama-C/
> checking executable suffix... .exe
> checking for ocamlc... ocamlc
> ocaml version is 3.11.0
> ocaml library path is C:\Program Files\Objective Caml\lib

This line is quite strange: if you set CAMLLIB to C:\Frama-C\lib as the 
wiki says, it should be "ocaml library path is C:\Frama-C\lib". Are you 
sure that CAMLLIB and other environment variables are set to the right 
values?

The strange result of this line explains the following failure

> checking for C:\Program Files\Objective Caml\lib/graph.cmi... no
> checking for C:\Program Files\Objective Caml\lib/ocamlgraph/graph.cmi... no
> checking for ocamlgraph/src/sig.mli... yes
> checking ocamlgraph version... failed

As far as I know, this check should not fail since Frama-C installs an 
ocamlgraph version usable by Why.

Hope this helps,
Julien Signoles