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

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