user debian-ocaml-ma...@lists.debian.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. Regards, -- Mehdi Dogguy مهدي الدڤي http://dogguy.org/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org