Your message dated Tue, 10 Apr 2012 15:02:33 +0000
with message-id <[email protected]>
and subject line Bug#667193: fixed in gringo 3.0.4-2
has caused the Debian Bug report #667193,
regarding gringo: ftbfs with 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 [email protected]
immediately.)
--
667193: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=667193
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: gringo
Version: 3.0.4-1
Severity: important
Tags: sid wheezy
User: [email protected]
Usertags: ftbfs-gcc-4.7
The package fails to build in a test rebuild on at least amd64 with
gcc-4.7/g++-4.7, but succeeds to build with gcc-4.6/g++-4.6. The
severity of this report may be raised before the wheezy release.
clone_ptr.h:53:46: error: 'new_clone' was not declared in this scope, and no
declarations were found by argument-dependent lookup at the point of
instantiation [-fpermissive]
The full build log can be found at:
http://people.debian.org/~lucas/logs/2012/03/29-clang-gcc47/unstable-gcc47/gringo_3.0.4-1_unstable-gcc47.log
The last lines of the build log are at the end of this report.
Some hints on fixing these issues can be found at
http://gcc.gnu.org/gcc-4.7/porting_to.html
To build with GCC 4.7, either set CC=gcc-4.7 CXX=g++-4.7 explicitly,
or install the gcc, g++, gfortran, ... packages from experimental.
[...]
[ 58%] Building CXX object
libgringo/CMakeFiles/gringo-lib.dir/src/minmaxaggrlit.cpp.o
[ 60%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/stmdep.cpp.o
[ 61%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/argterm.cpp.o
[ 62%] Building CXX object
libgringo/CMakeFiles/gringo-lib.dir/src/statement.cpp.o
[ 64%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/litdep.cpp.o
[ 65%] Building CXX object
libgringo/CMakeFiles/gringo-lib.dir/src/junctionaggrlit.cpp.o
In file included from /«PKGBUILDDIR»/libgringo/./gringo/gringo.h:24:0,
from /«PKGBUILDDIR»/libgringo/./gringo/junctionaggrlit.h:20,
from /«PKGBUILDDIR»/libgringo/src/junctionaggrlit.cpp:18:
/«PKGBUILDDIR»/libgringo/./gringo/clone_ptr.h: In instantiation of
'clone_ptr<T>::clone_ptr(const clone_ptr<T>&) [with T = LitDep::GrdNode]':
/«PKGBUILDDIR»/libgringo/./gringo/groundable.h:22:7: required from here
/«PKGBUILDDIR»/libgringo/./gringo/clone_ptr.h:53:46: error: 'new_clone' was
not declared in this scope, and no declarations were found by
argument-dependent lookup at the point of instantiation [-fpermissive]
In file included from
/«PKGBUILDDIR»/libgringo/./gringo/junctionaggrlit.h:20:0,
from /«PKGBUILDDIR»/libgringo/src/junctionaggrlit.cpp:18:
/«PKGBUILDDIR»/libgringo/./gringo/gringo.h:139:10: note: 'CondLit*
new_clone(const CondLit&)' declared here, later in the translation unit
make[6]: *** [libgringo/CMakeFiles/gringo-lib.dir/src/junctionaggrlit.cpp.o]
Error 1
make[6]: Leaving directory `/«PKGBUILDDIR»/build/release'
make[5]: *** [libgringo/CMakeFiles/gringo-lib.dir/all] Error 2
make[4]: *** [app/CMakeFiles/gringo-app.dir/rule] Error 2
make[3]: *** [gringo-app] Error 2
make[2]: *** [release] Error 2
dh_auto_build: make -j1 target=gringo-app clingo-app iclingo-app
cmake_options=-DWITH_LUA=system -DWITH_LUASQL=1 returned exit code 2
make[5]: Leaving directory `/«PKGBUILDDIR»/build/release'
make[4]: Leaving directory `/«PKGBUILDDIR»/build/release'
make[3]: Leaving directory `/«PKGBUILDDIR»/build/release'
make[2]: Leaving directory `/«PKGBUILDDIR»'
make[1]: *** [override_dh_auto_build] Error 2
make[1]: Leaving directory `/«PKGBUILDDIR»'
make: *** [build-arch] Error 2
dpkg-buildpackage: error: debian/rules build-arch gave error exit status 2
--- End Message ---
--- Begin Message ---
Source: gringo
Source-Version: 3.0.4-2
We believe that the bug you reported is fixed in the latest version of
gringo, which is due to be installed in the Debian FTP archive:
gringo_3.0.4-2.debian.tar.gz
to main/g/gringo/gringo_3.0.4-2.debian.tar.gz
gringo_3.0.4-2.dsc
to main/g/gringo/gringo_3.0.4-2.dsc
gringo_3.0.4-2_amd64.deb
to main/g/gringo/gringo_3.0.4-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 [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Thomas Krennwallner <[email protected]> (supplier of updated gringo 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 [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 10 Apr 2012 16:48:52 +0200
Source: gringo
Binary: gringo
Architecture: source amd64
Version: 3.0.4-2
Distribution: unstable
Urgency: low
Maintainer: Debian Science Maintainers
<[email protected]>
Changed-By: Thomas Krennwallner <[email protected]>
Description:
gringo - grounding tools for (disjunctive) logic programs
Closes: 667193
Changes:
gringo (3.0.4-2) unstable; urgency=low
.
* debian/patches/gringo-clang-gcc.patch: New file originally from
https://potassco.svn.sourceforge.net/svnroot/potassco/tags/gringo-3.0.4/patches/patch-clang.diff.
* Bug fix: "ftbfs with GCC-4.7", thanks to Matthias Klose (Closes:
#667193).
* debian/control: Bump Standards-Version to 3.9.3.
Checksums-Sha1:
6bd765fad4549c517304ec608244b7937f92d0e2 2041 gringo_3.0.4-2.dsc
3bfd4816ea944b09efdf9e6e93383753b99ead85 8990 gringo_3.0.4-2.debian.tar.gz
b3bb4989025e76ba0c010e95409990f21c23969d 1569392 gringo_3.0.4-2_amd64.deb
Checksums-Sha256:
796910eec9cc6755203b57410884281a6965405f7fa14b1eda037a6aa2c18c55 2041
gringo_3.0.4-2.dsc
16f91ce5c9f0dacae0b1866c2b815bd7a77578d55f1f042535cc06c2c7b54b01 8990
gringo_3.0.4-2.debian.tar.gz
f0f6d6825fef95290e4ccce2ea1bb494a84c0694ad84ab4bc7fa935598b24aaf 1569392
gringo_3.0.4-2_amd64.deb
Files:
ef49cdb1a48ecd6e5f96e0cf42adce25 2041 interpreters extra gringo_3.0.4-2.dsc
7b6af118fe2f97dee20e393991f26ce2 8990 interpreters extra
gringo_3.0.4-2.debian.tar.gz
d4aa389506753d1415b80536bb14ea6d 1569392 interpreters extra
gringo_3.0.4-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCAAGBQJPhEkzAAoJECeX33SmZpqpkCoP/R6uayy6IVGkWhencBLxpaqy
b7TWyun9HaIvyOLWT1kGKSjiguV9E/yOGzEOfE3rGVKKvyol18qaK2PCH9WZpHvY
T0ud2ghbe6NHIyevoMLEESuoKVjNgd2KB4c16UjQHjCwm9gL+PwnTfjwBbnT9x2q
oNnCl34IRX2NeyK6R4erD6K5G86XDv83c/0qU7M+jVLvJ8dg3+c/xnm0xYPWwqnf
doLXzCy/SXQcfGQ++av0wUxJN5sgiYbeMrTAm7LHq5rHmzY2PAHmEJQ5+w50/b63
zQ5XO36G+TF4a4IGNxxcSQ2Gp42wMqWCwacpRFo5bkXPVbdXXCkSpqArc2+oRinM
ggzjo5oUi5pb0oNw2DyrjTs9eBNIab/wDxn9ASM9tM6ieABqO4AXAi8JTj3+GAVM
cR/+vUyrPf4SL2VF4AKp7p5PhEFOVKKoYtDtzJJYGpWa/W/7G4uiyj4iPsAz3SXz
qLf/Vfg0y3jikcynUGoJ5/fFY4xM1ChW3mnQUu+TndqSVRju2KK42kXpKvDQjnKS
eiQSI2WY6zAuZcY4MQf4LYG6Cb00/Cm7vmqrK3D3nJY2Vl2Ta7KQ6WWE6ONUoUJr
zYEoP4nUy0Z4mgVq/knpXdwXL0FhTc6FXqjvhwDiwlTbpYEihZdCruHY5DTZ7geG
BFXoDwipM/pWVttyNCEV
=gDd0
-----END PGP SIGNATURE-----
--- End Message ---
