--- layout: fc_discuss_archives title: Message 5 from Frama-C-discuss on December 2009 ---
Hi, It still doesn't work: ~/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 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> echo $CAMLLIB /cygdrive/c/Frama-C/lib ~/tmp/why-2.22> l $CAMLLIB COPYING.LIB* char.mli* hashtbl.cmx* libintl.dll.a* obj.ml* stack.ml* ... ~/tmp/why-2.22> echo $CAML_LD_LIBRARY_PATH /cygdrive/c/Frama-C/lib ~/tmp/why-2.22> l $CAML_LD_LIBRARY_PATH COPYING.LIB* char.mli* hashtbl.cmx* libintl.dll.a* obj.ml* stack.ml* I guess there's a problem with configure. The local ocamlgraph is present, but configure has a problem with it. -Boris