Your message dated Tue, 03 Jan 2012 11:32:23 +0000 with message-id <e1ri2bp-0007bn...@franck.debian.org> and subject line Bug#652257: fixed in frama-c 20111001+nitrogen+dfsg-1 has caused the Debian Bug report #652257, regarding frama-c: FTBFS: configure: error: cannot find OcamlGraph in the current directory. to be marked as done.
This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 652257: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=652257 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
--- Begin Message ---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.
--- End Message ---
--- Begin Message ---Source: frama-c Source-Version: 20111001+nitrogen+dfsg-1 We believe that the bug you reported is fixed in the latest version of frama-c, which is due to be installed in the Debian FTP archive: frama-c-base_20111001+nitrogen+dfsg-1_amd64.deb to main/f/frama-c/frama-c-base_20111001+nitrogen+dfsg-1_amd64.deb frama-c_20111001+nitrogen+dfsg-1.debian.tar.gz to main/f/frama-c/frama-c_20111001+nitrogen+dfsg-1.debian.tar.gz frama-c_20111001+nitrogen+dfsg-1.dsc to main/f/frama-c/frama-c_20111001+nitrogen+dfsg-1.dsc frama-c_20111001+nitrogen+dfsg-1_amd64.deb to main/f/frama-c/frama-c_20111001+nitrogen+dfsg-1_amd64.deb frama-c_20111001+nitrogen+dfsg.orig.tar.gz to main/f/frama-c/frama-c_20111001+nitrogen+dfsg.orig.tar.gz A summary of the changes between this version and the previous one is attached. Thank you for reporting the bug, which will now be closed. If you have further comments please address them to 652...@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Mehdi Dogguy <me...@debian.org> (supplier of updated frama-c package) (This message was generated automatically at their request; if you believe that there is a problem with it please contact the archive administrators by mailing ftpmas...@debian.org) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Mon, 02 Jan 2012 17:29:13 +0100 Source: frama-c Binary: frama-c frama-c-base Architecture: source amd64 Version: 20111001+nitrogen+dfsg-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: frama-c - Framework for source code analysis of software written in C frama-c-base - Framework for C source code analysis (without gui) Closes: 652257 Changes: frama-c (20111001+nitrogen+dfsg-1) unstable; urgency=low . * New upstream release (Closes: #652257). * Update patches: - remove 0001-Value-Analysis-Carbon-patchlevel-1.patch - remove 0002-Fix-for-issue-727.patch - rebase 0003-Add-ocamlgraph-to-DYN_-O-B-LINKFLAGS.patch - update 0004-Accept-ocamlgraph-1.8.patch - add 0003-Fix-spelling-error-in-binary.patch - add 0004-Use-bin-cp-instead-of-usr-bin-install.patch * Bump minimum requirement for ocamlgraph to 1.8. * Bump Standards-Version to 3.9.2, no changes needed. Checksums-Sha1: 3f2fa6076d186aef6d600c50dd124332fd47486d 1949 frama-c_20111001+nitrogen+dfsg-1.dsc 16dbf5c1bd9902a2908d0c1e19d174b5abe32da7 2719515 frama-c_20111001+nitrogen+dfsg.orig.tar.gz b7def1d9e54ea96f83f4e36086da519a0f910625 24960 frama-c_20111001+nitrogen+dfsg-1.debian.tar.gz 38fcc7b1ac5ba4097666d4e93f612b2d98054230 3689548 frama-c_20111001+nitrogen+dfsg-1_amd64.deb 81f5ea5f6dc67a651d91b4d1cd396f64fbc67538 29687162 frama-c-base_20111001+nitrogen+dfsg-1_amd64.deb Checksums-Sha256: 6373a0bbf5902af3767c08e7533099e4a8d4f99c566ce0db1f8d466fde6eeb5d 1949 frama-c_20111001+nitrogen+dfsg-1.dsc f6b699bd27e3539beb2212d57212b276cb5c444a87dc9553dc622bbd807173e2 2719515 frama-c_20111001+nitrogen+dfsg.orig.tar.gz 9eb8a8a15b9928d70c5ddbcf18a8dac04ae7366ecafe6a3a9047379b726a6ffa 24960 frama-c_20111001+nitrogen+dfsg-1.debian.tar.gz a6d67989710e45b35a9aaf3ac7b3ac728741ed063418ad9b89b086a01724ffd8 3689548 frama-c_20111001+nitrogen+dfsg-1_amd64.deb 71289c88fdf843225aece123a8ad9afd1b3f5905ca3bd4e5d3653f5b0c1b3f7d 29687162 frama-c-base_20111001+nitrogen+dfsg-1_amd64.deb Files: 73dead9bab4f0742685e02a2317c0879 1949 devel optional frama-c_20111001+nitrogen+dfsg-1.dsc 7a512643cb35cf516c488bc9734210f7 2719515 devel optional frama-c_20111001+nitrogen+dfsg.orig.tar.gz f18fb2328f5a42df906a2a6f3c7c6b66 24960 devel optional frama-c_20111001+nitrogen+dfsg-1.debian.tar.gz 797b5ec73c862baf07f8726436eb6c14 3689548 devel optional frama-c_20111001+nitrogen+dfsg-1_amd64.deb 75eb17e239c7cee8beb960d7fbb9fb3c 29687162 devel optional frama-c-base_20111001+nitrogen+dfsg-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iQEcBAEBAgAGBQJPAuJ6AAoJEDe1GR0FRlJoFOgH/0LjmTmPqjgOOTAEZVW6vekW YSTdBrcnBA1G8p/iek+X5OPTMiiF1mTV1nLvTf4W55KwGv/9FqnJDq8LK4KdHegR GGXF5MKYYzUwEK3tSuKb8vUPGBAR6n+BDp7UWYbqPTkukr7wsTZfvT2x14cvbK2a qRJhXUnkph73sGJuBGY3ShALzJOmI5iMBIcAnxReyb15tXaLBD5pbGhYK88rCoOg gbb3FIos9j/3Z81mXJL0weVjpSvGRtc+C1VmPNDviqoBKHYEq+dXwJPGk8jMgueR 0tQOVdD/y6aKYC2MVQhXq19C6bA2OKojLmcwgaX7jkXm0BGzO6x0W2KdIQll/MY= =wA0j -----END PGP SIGNATURE-----
--- End Message ---
