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 Julien,

Trying to compile the latest ocamlgraph on cygwin also failed:

~/tmp/ocamlgraph-1.3> ./configure
checking for ocamlc... ocamlc
ocaml version is 3.11.0
ocaml library path is /cygdrive/c/Frama-C/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 ocamllex... ocamllex
checking for ocamllex.opt... ocamllex.opt
checking for ocamlyacc... ocamlyacc
checking for ocamldoc... ocamldoc
checking for ocamldoc.opt... ocamldoc.opt
checking for ocamlweb... true
checking for ocamlfind... no
checking for /cygdrive/c/Frama-C/lib/lablgtk2/lablgtk.cmxa... yes
checking for /cygdrive/c/Frama-C/lib/lablgtk2/lablgnomecanvas.cmxa... yes
checking Win32 platform... >> Fatal error: cannot open pervasives.cmi
Fatal error: exception Misc.Fatal_error
configure: creating ./config.status
config.status: creating Makefile
~/tmp/ocamlgraph-1.3> make
sed -e s/VERSION/1.3/ -e s/CMA/graph.cma/ -e s/CMXA/graph.cmxa/ \
       > META
rm -f src/
echo "let version = \""1.3"\"" > src/
echo "let date = \""`date`"\"" >> src/
rm -f .depend
ocamldep -slash -I src -I lib -I editor -I view_graph -I dgraph\
                lib/*.ml lib/*.mli \
                src/*.ml src/*.mli \
                editor/*.mli editor/*.ml \
                view_graph/*.mli view_graph/*.ml \
                dgraph/*.mli dgraph/*.ml > .depend
ocamlc.opt -c -I src -I lib -g -dtypes src/sig.mli
>> Fatal error: cannot open pervasives.cmi
Fatal error: exception Misc.Fatal_error
make: *** [src/sig.cmi] Error 2

I will remove my Beryllium 2 & why 2.22 files and switch back to Beryllium 1.
Unfortunately, we can't use Linux here. A binary version of Frama-C including why and Jessie for Windows would be very useful and time-saving for Windows users.