[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#652257: marked as done (frama-c: FTBFS: configure: error: cannot find OcamlGraph in the current directory.)

Your message dated Tue, 03 Jan 2012 11:32:23 +0000
with message-id <E1Ri2bP-0007BN-07@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 owner@bugs.debian.org
immediately.)


-- 
652257: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=652257
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Source: frama-c
Version: 20110201+carbon+dfsg-2
Severity: serious
Tags: wheezy sid
User: debian-qa@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 652257@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Mehdi Dogguy <mehdi@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 ftpmaster@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-maint@lists.debian.org>
Changed-By: Mehdi Dogguy <mehdi@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 ---
Reply to: