--- layout: fc_discuss_archives title: Message 3 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,

`frama-c -print-plugin-path` gives C:\Frama-C\bin\lib\frama-c\plugins

This directory doesn't exist:

~/tmp/why-2.22> ls /cygdrive/c/Frama-C/bin/lib/
ls: cannot access /cygdrive/c/Frama-C/bin/lib/: No such file or directory

However, I noticed that the why windows installer http://www.lri.fr/~oudot/whyzip/windows/why-2.13_install.exe has  version number 2.13. Therefore, I tried to compile it on cygwin, which failed:

~/tmp/why-2.22> ./configure
checking executable suffix... .exe
checking for ocamlc... ocamlc
ocaml version is 3.11.0
ocaml library path is C:\Program Files\Objective Caml\lib
checking for ocamlopt... ocamlopt
checking ocamlopt version... ok
checking for ocamlc.opt... ocamlc.opt
checking ocamlc.opt version... ok
checking for ocamlopt.opt... ocamlopt.opt
checking ocamlc.opt version... ok
checking for ocamldep... ocamldep
checking for ocamldep.opt... ocamldep.opt
checking for ocamllex... ocamllex
checking for ocamllex.opt... ocamllex.opt
checking for ocamlyacc... ocamlyacc
checking for ocamldoc... ocamldoc
checking for ocamldoc.opt... ocamldoc.opt
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
Switching to local ocamlgraph
checking ocamlgraph compilation... configure: error: cannot compile ocamlgraph in ocamlgraph
~/tmp/why-2.22>

-Boris