--- layout: fc_discuss_archives title: Message 20 from Frama-C-discuss on April 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Compiling Frama-C on Ubuntu 9.10



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