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