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

Bug#731637: marked as done (frama-c: FTBFS with ocaml 4.01.0)

Your message dated Sun, 08 Dec 2013 11:48:49 +0000
with message-id <E1Vpcqv-0005Xn-Dr@franck.debian.org>
and subject line Bug#731637: fixed in frama-c 20130601+fluorine3+dfsg-2
has caused the Debian Bug report #731637,
regarding frama-c: FTBFS with ocaml 4.01.0
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.)


-- 
731637: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=731637
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Source: frama-c
Version: 20130601+fluorine3+dfsg-1
Severity: serious
Tags: jessie sid
Control: block 718767 with -1

Hi,

frama-c FTBFS when binNMUed against ocaml 4.01.0.

From the amd64 build log:
> The first one was selected. Please disambiguate if this is wrong.
> ocamlc.opt -c -w +a-4-6-7-9  -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/printer -I src/project -I src/type -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  -I /usr/lib/ocaml/zarith    -I +ocamlgraph src/kernel/messages.mli
> ocamlc.opt -c -w +a-4-6-7-9  -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/printer -I src/project -I src/type -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  -I /usr/lib/ocaml/zarith    -I +ocamlgraph src/kernel/messages.ml
> File "src/kernel/messages.ml", line 27, characters 7-15:
> Warning 45: this open statement shadows the constructor Failure (which is later used)
> ocamlc.opt -c -w +a-4-6-7-9  -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/printer -I src/project -I src/type -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  -I /usr/lib/ocaml/zarith    -I +ocamlgraph src/ai/abstract_interp.mli
> File "src/ai/abstract_interp.mli", line 166, characters 4-33:
> Error: In this `with' constraint, the new definition of O
>        does not match its original definition in the constrained signature:
>        ...
>        The field `find' is required but not provided
> make[1]: *** [src/ai/abstract_interp.cmi] Error 2
> dh_auto_build: make -j1 returned exit code 2
> make[1]: Leaving directory `/«BUILDDIR»/frama-c-20130601+fluorine3+dfsg'
> make: *** [build-arch] Error 2

Full build logs available via:

  https://buildd.debian.org/status/package.php?p=frama-c&suite=sid

Cheers,

-- 
Stéphane

--- End Message ---
--- Begin Message --- 
Source: frama-c
Source-Version: 20130601+fluorine3+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.

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 731637@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Stéphane Glondu <glondu@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@ftp-master.debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sun, 08 Dec 2013 12:25:21 +0100
Source: frama-c
Binary: frama-c frama-c-base
Architecture: source amd64
Version: 20130601+fluorine3+dfsg-2
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@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: 731637
Changes: 
 frama-c (20130601+fluorine3+dfsg-2) unstable; urgency=low
 .
   * Team upload
   * debian/patches:
     + Fix compilation with OCaml 4.01.0 (Closes: #731637)
Checksums-Sha1: 
 eb0941504abb9a7f00c244ce2ae57a3fd549f9b0 2337 frama-c_20130601+fluorine3+dfsg-2.dsc
 d27b943c7c2956eed6f8166a9639a58e2774fb4f 25782 frama-c_20130601+fluorine3+dfsg-2.debian.tar.gz
 9304102ca52694e03ac4286e088834acf69347cf 3561020 frama-c_20130601+fluorine3+dfsg-2_amd64.deb
 c9b98bf295b74b4662556d0308472ae3f69bdf28 21655176 frama-c-base_20130601+fluorine3+dfsg-2_amd64.deb
Checksums-Sha256: 
 78afbee90361115c58415c0738bd6473260c4b05a83973292482c5f8ccc0a43d 2337 frama-c_20130601+fluorine3+dfsg-2.dsc
 29c2b0edd7acbe433dddbff6322ba17c42b7e94c7d0e0fb67df06f08d533b970 25782 frama-c_20130601+fluorine3+dfsg-2.debian.tar.gz
 d671d5ea48b57a0e83ed36846e5033c4360aa1bdc80b38e4dd7af7d22c037842 3561020 frama-c_20130601+fluorine3+dfsg-2_amd64.deb
 9b1eeeabb36a61621a741b7de31c9ae8f4ab34d8dfc483335182d2ca247a64ac 21655176 frama-c-base_20130601+fluorine3+dfsg-2_amd64.deb
Files: 
 800845de7d2a2e2a67615533ba8a02bb 2337 devel optional frama-c_20130601+fluorine3+dfsg-2.dsc
 2c7445806d57a6134669dc8f84b4e3d3 25782 devel optional frama-c_20130601+fluorine3+dfsg-2.debian.tar.gz
 76fdbf1e9216e52b3668ce9a914717f6 3561020 devel optional frama-c_20130601+fluorine3+dfsg-2_amd64.deb
 bd435cc8769cc7a1c6a1028766441966 21655176 devel optional frama-c-base_20130601+fluorine3+dfsg-2_amd64.deb

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

iQIcBAEBCgAGBQJSpFoBAAoJEHhT2k1JiBrTmcwP/izJocHOsmPTATG2CySdyx5A
1plR9csA5QXXJouh3vmdNqu9SEdO3xMcA0wg8xquSBmRUvlnrrcbaJF79I6YA7zi
V+xK36bnSZQZ24nkDwX9kABnRNfF8Kw8xgKHtecSmmJYztlxup4LCsDrCL307qzE
vvMw8aUYOlLq1cYig/Dg3uWxkQ+R04JO64rli9IhTpPclciqOfuHKYS3E5dZMgPs
gaGtStV2qSDT+1vJUcxW1MMQB/5S0GTqFIABVxCjun56Or3OmtvPXDSp1JWVaf/Q
QBkZM6oV2HUXt5ObCsPwmf40okih+c9yRFnA8Prg+Qmtr8X84rzXigziss6WfBcx
CAO3qmTPYNlD4u/lKtv2SudQUbjg6+xzKI+TQ3zM6iQur9+8U3M3q+YvM9N8CRMr
0UbXzanl9pLuDJcvKavD16lpF0/yff6fb4m/rlDZn2Abd1QzLbUdyBheWiHFUbyK
DoekzV9wW07hwhqbzSGZcUE6dEDbvyXHPAdsUxQxUES6J14Dt5Va1BMPfoYAU2ww
WDsnTUaAA4ShzqzZ6xHBuXzxXs2bwlWFFrIQZP0dNBCPEEbMvmFeN2idDIC+cLFY
3tK9dfcAohUdQpMFAs1zjP787vFjPVSX9bOmk1uuffFMahYSQCPH0+7fhMgHp4Dh
AB+JkDD6cxmLqBdJz4AY
=EDOZ
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: