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

Bug#580090: marked as done (FTBFS because of unrecognized ocamlgraph version)

Your message dated Tue, 01 Jun 2010 18:48:35 +0000
with message-id <E1OJWVv-0006nZ-Vq@ries.debian.org>
and subject line Bug#580090: fixed in frama-c 20100401+boron+dfsg-2
has caused the Debian Bug report #580090,
regarding FTBFS because of unrecognized ocamlgraph version
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.)


-- 
580090: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=580090
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: src:frama-c
Version: 20100401+boron+dfsg-1
Severity: normal
User: debian-ocaml-maint@lists.debian.org
Usertags: ocaml312-ftbfs

Hello,

While rebuilding all packages with a SVN snapshot of OCaml (version
3.12.0+dev17, revision 10268), your package failed to build on amd64.

Relevant part:
> ocamlc.opt -c -w Z -warn-error A -annot  -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/project -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I lib/plugins -I lib  -I +ocamlgraph   cil/src/cil.ml
> File "cil/src/cil.ml", line 5895, characters 2-368:
> Warning 7: the method pExp is overridden.
> File "cil/src/cil.ml", line 7688, characters 2-364:
> Warning 7: the method vinst is overridden.
> File "cil/src/cil.ml", line 7697, characters 2-99:
> Warning 7: the method vexpr is overridden.
> [...]
> File "cil/src/cil.ml", line 9433, characters 4-426:
> Warning 7: the method vtype is overridden.
> File "cil/src/cil.ml", line 1, characters 0-1:
> Error: Error-enabled warnings (27 occurrences)
> make[1]: *** [cil/src/cil.cmo] Error 2
> make[1]: Leaving directory `/tmp/frama-c-20100401+boron+dfsg'

The full build log is available at:
  http://debian.glondu.net/debian/ocaml31120dev17r10268/failures/frama-c_20100401%2Bboron%2Bdfsg-1%2B3.12.0%2Bdev17%2B10268_amd64.build

OCaml 3.12 introduces a new syntax to declare overridden methods, and
a new warning for undeclared overridden methods, that make frama-c
FTBFS because of error-enabled warnings.

The "right" fix would be to declare overridden methods (using
"method!"), but it is not backward-compatible with OCaml < 3.12. A
backward-compatible fix would be to disable error-enabled warnings
(i.e. compile without -warn-error A).


Best regards,

-- 
Stéphane


-- System Information:
Debian Release: squeeze/sid
  APT prefers testing
  APT policy: (990, 'testing'), (500, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)

Kernel: Linux 2.6.32-3-amd64 (SMP w/2 CPU cores)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

--- End Message ---
--- Begin Message --- 
Source: frama-c
Source-Version: 20100401+boron+dfsg-2

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_20100401+boron+dfsg-2_amd64.deb
  to main/f/frama-c/frama-c-base_20100401+boron+dfsg-2_amd64.deb
frama-c_20100401+boron+dfsg-2.diff.gz
  to main/f/frama-c/frama-c_20100401+boron+dfsg-2.diff.gz
frama-c_20100401+boron+dfsg-2.dsc
  to main/f/frama-c/frama-c_20100401+boron+dfsg-2.dsc
frama-c_20100401+boron+dfsg-2_amd64.deb
  to main/f/frama-c/frama-c_20100401+boron+dfsg-2_amd64.deb



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 580090@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: SHA256

Format: 1.8
Date: Tue, 01 Jun 2010 20:18:44 +0200
Source: frama-c
Binary: frama-c frama-c-base
Architecture: source amd64
Version: 20100401+boron+dfsg-2
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: 580090
Changes: 
 frama-c (20100401+boron+dfsg-2) unstable; urgency=low
 .
   * Make the configure script accept OCamlgraph 1.5 (Closes: #580090)
   * Build-depend on ocaml (>= 3.11.1-3~) and dh-ocaml (>= 0.9~).
   * Add a debian/source/format file (keep the package in 1.0 format,
     for now).
Checksums-Sha1: 
 ebe3439ea228105c6ee50849a07583710ccf91e5 2191 frama-c_20100401+boron+dfsg-2.dsc
 baec4bee4816d5abf0bda17007c4273e4999ed4a 26374 frama-c_20100401+boron+dfsg-2.diff.gz
 32879b4cd8fcb1880149cc463bb945bd4ed27c96 3361302 frama-c_20100401+boron+dfsg-2_amd64.deb
 0928724a50497ea81b0efda175b715c1c7802fe6 25051842 frama-c-base_20100401+boron+dfsg-2_amd64.deb
Checksums-Sha256: 
 3c1c92d5cd5d9de7e011d47dbaeb1feabb8505ea3a21b858408b3de0bdf1bf7f 2191 frama-c_20100401+boron+dfsg-2.dsc
 28a02b257d91b0ac35af3fdf08e28e6a8fd46062d96058d033cfd826c9f69edb 26374 frama-c_20100401+boron+dfsg-2.diff.gz
 af68e2ee2d74198101992d97ed03a69251bb0b2535f11bb6735954f4324aecb6 3361302 frama-c_20100401+boron+dfsg-2_amd64.deb
 537e3da5772f63f7d0551894d071df2c1499b779ef9d4b1c45f58af9ba1ebdd4 25051842 frama-c-base_20100401+boron+dfsg-2_amd64.deb
Files: 
 9a9212e476c1cfebe4e6399cef648e75 2191 devel optional frama-c_20100401+boron+dfsg-2.dsc
 ecbe0ecdb75ef9f04beacbc79aee4a06 26374 devel optional frama-c_20100401+boron+dfsg-2.diff.gz
 b44e703bffa98f12121e05ff502f10e3 3361302 devel optional frama-c_20100401+boron+dfsg-2_amd64.deb
 e8e1748d18d1fc01481a8b9489b6fc30 25051842 devel optional frama-c-base_20100401+boron+dfsg-2_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)

iQIcBAEBCAAGBQJMBVH/AAoJEDO+GgqMLtj/d4YP/1WkiGGyBJz3DM9+OSnZ75LX
z5QA0k2iFPnan96C8K6TEtxRSFiJxx9lgzYS8bD1Ivr/l7TnBIxZ4KW3f3QPU8mQ
QV3JEALnuCibqsjuuW/XLkM5JLcN1wX+eVLxr2lSLuptunuIomWm7wFGDp6b0LtA
xepOuD24+DVb9/4JUrXs6UO14TSeiVN0RJfdGss76XfCs/sQN+dTOC11C6dJNP2D
FO9BlIte9iFWbrQ+FJQrC50E2n3r8Wn46//FCPccOGn3ruP2HObE5pl4R/wOfp2M
pNKzQ3L0MgBp51bxF4faEoGaOnk/aVMyd8xKhMrRek4inP7vC1X7o2/m7UH48+bI
Rt8ESXsRZrsI6oxH37qgJW9tWHvCykZAm3SRZdejz+6WunLPTa+Dl5BUlt0GfxPL
AJ+L8gFj2O+4DqJF5b61zl9KYXwXLAoQSB1PjWVX8IOoLQ1hAc2LulIrCRtQ1rox
ZajPYpn9tWjTtF5uOs3BylTflGY25WInmCU8P8NIksrW56u/7E2vv0vii+O5+x28
YMclTFhgeiG8N+gaYONzBl39+TMKwZFNbH0bUXUCOjJvpfIrTIcJRdGl+X6lVHBy
Mw9qBb7fd/VV0ONQZwyUEehL2rUn7lO3Xq/EWL5FnSYWWmWoZtC0TxBZsTxuAwMg
qh4FuEsdMhKF3uOgbMzP
=uVyT
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: