Your message dated Tue, 22 May 2012 06:32:28 +0000
with message-id <e1swidw-0001dc...@franck.debian.org>
and subject line Bug#673579: fixed in cbmc 4.1-1.2
has caused the Debian Bug report #673579,
regarding cbmc: FTBFS[kfreebsd,hurd]: GCC-4.7
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.)
--
673579: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=673579
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: src:cbmc
Version: 4.1-1.1
Severity: serious
Tags: sid wheezy
User: debian-...@lists.debian.org
Usertags: kfreebsd
User: debian-...@lists.debian.org
Usertags: ftbfs-gcc-4.7
X-Debbugs-Cc: debian-...@lists.debian.org
Justification: fails to build from source (but built successfully in the
past)
Hi,
Related to #667131, there is some remaining code that FTBFS
on kfreebsd-* and hurd-i386 with gcc-4.7:
> g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4
> -Wformat -Werror=format-security -I .. -I ../util -o c_preprocess.o
> c_preprocess.cpp
> c_preprocess.cpp: In function 'bool c_preprocess(std::istream&,
> std::ostream&, message_handlert&)':
> c_preprocess.cpp:189:22: error: 'unlink' was not declared in this scope
> c_preprocess.cpp: In function 'bool c_preprocess_visual_studio(const string&,
> std::ostream&, message_handlert&)':
> c_preprocess.cpp:342:24: error: 'unlink' was not declared in this scope
> c_preprocess.cpp:355:22: error: 'unlink' was not declared in this scope
> c_preprocess.cpp: In function 'bool c_preprocess_codewarrior(const string&,
> std::ostream&, message_handlert&)':
> c_preprocess.cpp:497:24: error: 'unlink' was not declared in this scope
> c_preprocess.cpp:501:24: error: 'unlink' was not declared in this scope
> c_preprocess.cpp:515:29: error: 'unlink' was not declared in this scope
> c_preprocess.cpp: In function 'bool c_preprocess_gcc(const string&,
> std::ostream&, message_handlert&)':
> c_preprocess.cpp:784:31: error: 'unlink' was not declared in this scope
> c_preprocess.cpp:798:29: error: 'unlink' was not declared in this scope
> c_preprocess.cpp: In function 'bool c_preprocess_arm(const string&,
> std::ostream&, message_handlert&)':
> c_preprocess.cpp:934:31: error: 'unlink' was not declared in this scope
> c_preprocess.cpp:948:29: error: 'unlink' was not declared in this scope
> make[3]: *** [c_preprocess.o] Error 1
> make[3]: Leaving directory
> `/build/buildd-cbmc_4.1-1.1-kfreebsd-i386-gdeKmI/cbmc-4.1/src/ansi-c'
> make[2]: *** [ansi-c.dir] Error 2
Thanks,
Regards,
--
Steven Chamberlain
ste...@pyro.eu.org
--- End Message ---
--- Begin Message ---
Source: cbmc
Source-Version: 4.1-1.2
We believe that the bug you reported is fixed in the latest version of
cbmc, which is due to be installed in the Debian FTP archive:
cbmc_4.1-1.2.debian.tar.gz
to main/c/cbmc/cbmc_4.1-1.2.debian.tar.gz
cbmc_4.1-1.2.dsc
to main/c/cbmc/cbmc_4.1-1.2.dsc
cbmc_4.1-1.2_amd64.deb
to main/c/cbmc/cbmc_4.1-1.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 673...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Salvatore Bonaccorso <car...@debian.org> (supplier of updated cbmc 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: SHA256
Format: 1.8
Date: Sun, 20 May 2012 07:55:28 +0200
Source: cbmc
Binary: cbmc
Architecture: source amd64
Version: 4.1-1.2
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <m...@debian.org>
Changed-By: Salvatore Bonaccorso <car...@debian.org>
Description:
cbmc - bounded model checker for C and C++ programs
Closes: 673579
Changes:
cbmc (4.1-1.2) unstable; urgency=low
.
* Non-maintainer upload.
* Update fix-FTBFS-with-gcc-4.7.patch patch.
Fix FTBFS with gcc 4.7 on kfreebsd and hurd.
Thanks to Steven Chamberlain <ste...@pyro.eu.org> for the patch.
(Closes: #673579)
Checksums-Sha1:
22b9d2414592a55caae5f743bf98cf866c5212af 1706 cbmc_4.1-1.2.dsc
46132b70a2769ce1bbf1d9689031b424bb7d905c 4930 cbmc_4.1-1.2.debian.tar.gz
c33af1335c4862aaa4ff7dc7033cb9325c768123 4559612 cbmc_4.1-1.2_amd64.deb
Checksums-Sha256:
0cf1af0b3c83caf0fabf641ad2c842e8e3f9dc40a79e669c34919015b49754fe 1706
cbmc_4.1-1.2.dsc
2304fdc35cfecc49cb1ea0dc7ded065f16de29d51805e9468d023541cef14939 4930
cbmc_4.1-1.2.debian.tar.gz
08e7f88b3c7ebd0591b81ae2daa926ae27852f5203073aa29f2dfeb64e9391f3 4559612
cbmc_4.1-1.2_amd64.deb
Files:
984dc73cdbc205393d53217fb3e142bb 1706 science extra cbmc_4.1-1.2.dsc
03c9c2f0b1ad15b559ab70168ae9cb50 4930 science extra cbmc_4.1-1.2.debian.tar.gz
84176c09d63c602023b9919b19e0f251 4559612 science extra cbmc_4.1-1.2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCAAGBQJPuIi+AAoJEHidbwV/2GP+CMUQAKvMf5eKHJrpKWMpMbfnMxuQ
B8PwmBVEbAPK3s1s/1Cd4hXleMxVYgoAuwCtfksMHZ8Vrq4dzctqXzMT3Ukzrl52
Bmvo4N2GNPyeQwfNMGKieQEEItFhqkBLR/2oqyzx3eucV2CNTgBhlSCzA5rVtexv
Kyx27CRA+uMQa/OmkC1FT6lMj1pRJs2lvpckJmryoGarJ/ELEhYUWOjalPeSCXSg
VLdD7AO/14PgK2awrIOhpX7GPz2zFw21zyxT4l9VnEiHXwFERf/vlqR80iAkrO3X
33Wt5X/fQzmuD+nGI4/LAA2AXyvYJOEa+Ru+QPyFZU9KNWyHL1HivTI7FbFTcUC1
3u3H48qIBLUE8AweCV+TTWbJdm6mEnXGP90twEvv18QzK1sNJ3ZD3UNYGpk2ZRoh
xj97HwBFLbeeD+utNaJHL82PdufzCPXWKv6z8uTb6+Azf5YhR0Ezy6zw4L1RKNv5
ngQPML9jxAuXHIlTw0L0g9HyscCA/GIsTI6UFm48Rh9yM4JbJEEFmEI+UNmj/Sk0
J72qAUCKdTidoXzGhvMKLEB2pSMZg08EoJFonHizy0q+j4G2ctmDOwogKwX6Ss60
Eu8ygLCktg3Hi/HXUuvdoUBvKAykKwFrxO84ZxLQhuURrrdTdnHKh53Ua7QYRkOQ
7qDUErgXN5AXlmAXoV5V
=SdZI
-----END PGP SIGNATURE-----
--- End Message ---
