Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[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