--- layout: fc_discuss_archives title: Message 6 from Frama-C-discuss on December 2009 ---
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