--- layout: fc_discuss_archives title: Message 18 from Frama-C-discuss on December 2009 ---
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 no 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.in > META rm -f src/version.ml echo "let version = \""1.3"\"" > src/version.ml echo "let date = \""`date`"\"" >> src/version.ml 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 ~/tmp/ocamlgraph-1.3> 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. Regards, Boris