Re: Bug#580090: frama-c: FTBFS with OCaml 3.12 because of undeclared overridden methods

[Mehdi Dogguy <mehdi@dogguy.org>]

usertags 580090 - ocaml312-ftbfs
thanks

On 17/05/2010 12:07, Stéphane Glondu wrote:
[...]
> 
> Relevant part:
>> checking for /usr/lib/ocaml/ocamlgraph... yes
>> configure: ocamlgraph 1.5 is incompatible with Frama-C. Will switch to a local version.
>> configure: Switching to local ocamlgraph
>> checking for ocamlgraph... no
>> checking for ocamlgraph.tar.gz... no
>> configure: error: Cannot find ocamlgraph in current directory
>>       Please download the latest version from http://ocamlgraph.lri.fr/download
>>       Compile it in "ocamlgraph" then rerun ./configure
>> make[1]: *** [override_dh_auto_configure] Error 1
>> make[1]: Leaving directory `/tmp/frama-c-20100401+boron+dfsg'
> 

This failure is due to a recent update of the ocamlgraph package.
Frama-c's configure script checks the version of ocamlgraph and allows
only ocamlgraph 1.4, even if ocamlgraph 1.5 is compatible. I'll update
Frama-C accordingly and upload it as soon as possible.

Thanks for this

-- 
Mehdi Dogguy مهدي الدڤي
http://dogguy.org/