--- layout: fc_discuss_archives title: Message 20 from Frama-C-discuss on April 2010 ---
Now I also have a problem with alt-ergo: Since alt-ergo is not part of Frama-C or why, I assume that I have to install it separately. However, the tarball from http://ergo.lri.fr/ doesn't compile: ~/Downloads/alt-ergo-0.9$ ./configure checking for ocamlc... ocamlc ocaml version is 3.11.1 ocaml library path is /usr/lib/ocaml checking for /usr/lib/ocaml/ocamlgraph/graph.cmi... no checking for /usr/lib/ocaml/graph.cmi... no configure: error: Cannot find ocamlgraph library. Please install the *libocamlgraph-ocaml-dev* Debian package - or use the GODI caml package system *http://godi.ocaml-programming.de/* - or compile from sources *http://ocamlgraph.lri.fr/* ~/Downloads/alt-ergo-0.9$ Frama-C contains a local ocamlgraph. It seems that the makefile for alt-ergo doesn't find this one. Should I install libocamlgraph-ocaml-dev as suggested? What to about the local ocamlgraph package? Should i uninstall frama-c and recompile with the global ocamlgraph package? -Boris