Source: frama-c
Version: 20110201+carbon+dfsg-2
Severity: serious
Tags: wheezy sid
User: debian...@lists.debian.org
Usertags: qa-ftbfs-20111210 qa-ftbfs
Justification: FTBFS on amd64
Hi,
During a rebuild of all packages in sid, your package failed to build on
amd64.
Relevant part:
> make[1]: Entering directory
> `/build/frama-c-5xZIPw/frama-c-20110201+carbon+dfsg'
> mkdir -p lib/plugins
> mkdir -p lib/gui
> touch .depend .make-clean .make-clean-stamp
> [ ! -f src/kernel/config.ml ] || cp src/kernel/config.ml
> src/kernel/config.ml.debian
> ./configure --prefix=/usr \
> --mandir=\${prefix}/share/man \
> --infodir=\${prefix}/share/info \
> --datarootdir=\${prefix}/share \
> --disable-impact \
> --disable-security \
> --enable-verbosemake \
> CFLAGS="" \
> LDFLAGS="-Wl,-z,defs"
> configure: WARNING: unrecognized options: --disable-security
> configure: ******************
> configure: * CONFIGURE MAKE *
> configure: ******************
> checking for make... make
> make version is GNU Make 3.81: Good!
> Make will be verbose.
> configure: *****************************
> configure: * CONFIGURE OCAML COMPILERS *
> configure: *****************************
> checking for ocamlc... ocamlc
> OCaml version is 3.12.1: good!
> ocaml library path is /usr/lib/ocaml
> checking for ocamlopt... ocamlopt
> checking ocamlopt version and standard library... ok
> checking for ocamlc.opt... ocamlc.opt
> checking ocamlc.opt version and standard library... ok
> checking for ocamlopt.opt... ocamlopt.opt
> checking ocamlc.opt version and standard library... ok
> configure: *******************************************
> configure: * CONFIGURE MANDATORY TOOLS AND LIBRARIES *
> configure: *******************************************
> checking for ocamldep... ocamldep
> checking for ocamldep.opt... ocamldep.opt
> checking for ocamllex... ocamllex
> checking for ocamllex.opt... ocamllex.opt
> checking for ocamlyacc... ocamlyacc
> checking for /usr/lib/ocaml/ocamlgraph/graph.cmx... yes
> configure: OcamlGraph 1.8.1 is incompatible with Frama-C.
> configure: switching to OcamlGraph provided by Frama-C
> checking for ocamlgraph... no
> checking for ocamlgraph.tar.gz... no
> configure: error: cannot find OcamlGraph in the current directory.
> Quite strange: would your Frama-C distribution be corrupted?
> Anyway:
> 1. download the latest version from http://ocamlgraph.lri.fr/download
> 2. install it by './configure && make && make install'
> 3. rerun ./configure here
> make[1]: *** [override_dh_auto_configure] Error 1
The full build log is available from:
http://people.debian.org/~lucas/logs/2011/12/10/frama-c_20110201+carbon+dfsg-2_lsid64.buildlog
A list of current common problems and possible solutions is available at
http://wiki.debian.org/qa.debian.org/FTBFS . You're welcome to contribute!
About the archive rebuild: The rebuild was done on about 50 AMD64 nodes
of the Grid'5000 platform, using a clean chroot. Internet was not
accessible from the build systems.
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
