Your message dated Wed, 08 Jul 2015 15:41:29 +0000
with message-id <e1zcrtv-0004f6...@franck.debian.org>
and subject line Bug#778011: fixed in mona 1.4-15-1.1
has caused the Debian Bug report #778011,
regarding mona: ftbfs with GCC-5
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.)
--
778011: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=778011
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: src:mona
Version: 1.4-15-1
Severity: normal
Tags: sid stretch
User: debian-...@lists.debian.org
Usertags: ftbfs-gcc-5
Please keep this issue open in the bug tracker for the package it
was filed for. If a fix in another package is required, please
file a bug for the other package (or clone), and add a block in this
package. Please keep the issue open until the package can be built in
a follow-up test rebuild.
The package fails to build in a test rebuild on at least amd64 with
gcc-5/g++-5, but succeeds to build with gcc-4.9/g++-4.9. The
severity of this report may be raised before the stretch release.
The full build log can be found at:
http://people.debian.org/~doko/logs/gcc5-20150205/mona_1.4-15-1_unstable_gcc5.log
The last lines of the build log are at the end of this report.
To build with GCC 5, either set CC=gcc-5 CXX=g++-5 explicitly,
or install the gcc, g++, gfortran, ... packages from experimental.
apt-get -t experimental install g++
Common build failures are C11 as the default C mode, new warnings
resulting in build failures with -Werror turned on, or new/dropped
symbols in Debian symbols files. For other C/C++ related build failures
see the porting guide at http://gcc.gnu.org/gcc-5/porting_to.html
[...]
make all-am
make[4]: Entering directory '/«PKGBUILDDIR»/Front'
g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -D_FORTIFY_SOURCE=2 -g -O2
-fstack-protector-strong -Wformat -Werror=format-security -O3 -DNDEBUG -Wall -c
-o mona-ast.o `test -f 'ast.cpp' || echo './'`ast.cpp
g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -D_FORTIFY_SOURCE=2 -g -O2
-fstack-protector-strong -Wformat -Werror=format-security -O3 -DNDEBUG -Wall -c
-o mona-astdump.o `test -f 'astdump.cpp' || echo './'`astdump.cpp
g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -D_FORTIFY_SOURCE=2 -g -O2
-fstack-protector-strong -Wformat -Werror=format-security -O3 -DNDEBUG -Wall -c
-o mona-code.o `test -f 'code.cpp' || echo './'`code.cpp
g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -D_FORTIFY_SOURCE=2 -g -O2
-fstack-protector-strong -Wformat -Werror=format-security -O3 -DNDEBUG -Wall -c
-o mona-codedump.o `test -f 'codedump.cpp' || echo './'`codedump.cpp
g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -D_FORTIFY_SOURCE=2 -g -O2
-fstack-protector-strong -Wformat -Werror=format-security -O3 -DNDEBUG -Wall -c
-o mona-codesubst.o `test -f 'codesubst.cpp' || echo './'`codesubst.cpp
g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -D_FORTIFY_SOURCE=2 -g -O2
-fstack-protector-strong -Wformat -Werror=format-security -O3 -DNDEBUG -Wall -c
-o mona-codetable.o `test -f 'codetable.cpp' || echo './'`codetable.cpp
g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -D_FORTIFY_SOURCE=2 -g -O2
-fstack-protector-strong -Wformat -Werror=format-security -O3 -DNDEBUG -Wall -c
-o mona-freevars.o `test -f 'freevars.cpp' || echo './'`freevars.cpp
g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -D_FORTIFY_SOURCE=2 -g -O2
-fstack-protector-strong -Wformat -Werror=format-security -O3 -DNDEBUG -Wall -c
-o mona-ident.o `test -f 'ident.cpp' || echo './'`ident.cpp
g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -D_FORTIFY_SOURCE=2 -g -O2
-fstack-protector-strong -Wformat -Werror=format-security -O3 -DNDEBUG -Wall -c
-o mona-lib.o `test -f 'lib.cpp' || echo './'`lib.cpp
lib.cpp: In constructor 'AutLib::Dir::Dir(char*, char*, Deque<char*>*)':
lib.cpp:166:11: warning: ignoring return value of 'int system(const char*)',
declared with attribute warn_unused_result [-Wunused-result]
system(t);
^
g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -D_FORTIFY_SOURCE=2 -g -O2
-fstack-protector-strong -Wformat -Werror=format-security -O3 -DNDEBUG -Wall -c
-o mona-makeguide.o `test -f 'makeguide.cpp' || echo './'`makeguide.cpp
g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -D_FORTIFY_SOURCE=2 -g -O2
-fstack-protector-strong -Wformat -Werror=format-security -O3 -DNDEBUG -Wall -c
-o mona-mona.o `test -f 'mona.cpp' || echo './'`mona.cpp
g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -D_FORTIFY_SOURCE=2 -g -O2
-fstack-protector-strong -Wformat -Werror=format-security -O3 -DNDEBUG -Wall -c
-o mona-offsets.o `test -f 'offsets.cpp' || echo './'`offsets.cpp
g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -D_FORTIFY_SOURCE=2 -g -O2
-fstack-protector-strong -Wformat -Werror=format-security -O3 -DNDEBUG -Wall -c
-o mona-parser.o `test -f 'parser.cpp' || echo './'`parser.cpp
g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -D_FORTIFY_SOURCE=2 -g -O2
-fstack-protector-strong -Wformat -Werror=format-security -O3 -DNDEBUG -Wall -c
-o mona-predlib.o `test -f 'predlib.cpp' || echo './'`predlib.cpp
g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -D_FORTIFY_SOURCE=2 -g -O2
-fstack-protector-strong -Wformat -Werror=format-security -O3 -DNDEBUG -Wall -c
-o mona-printline.o `test -f 'printline.cpp' || echo './'`printline.cpp
g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -D_FORTIFY_SOURCE=2 -g -O2
-fstack-protector-strong -Wformat -Werror=format-security -O3 -DNDEBUG -Wall -c
-o mona-reduce.o `test -f 'reduce.cpp' || echo './'`reduce.cpp
/bin/bash ../config/ylwrap scanner.lpp lex.yy.c scanner.cpp -- flex -l
g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -D_FORTIFY_SOURCE=2 -g -O2
-fstack-protector-strong -Wformat -Werror=format-security -O3 -DNDEBUG -Wall -c
-o mona-scanner.o `test -f 'scanner.cpp' || echo './'`scanner.cpp
g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -D_FORTIFY_SOURCE=2 -g -O2
-fstack-protector-strong -Wformat -Werror=format-security -O3 -DNDEBUG -Wall -c
-o mona-signature.o `test -f 'signature.cpp' || echo './'`signature.cpp
g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -D_FORTIFY_SOURCE=2 -g -O2
-fstack-protector-strong -Wformat -Werror=format-security -O3 -DNDEBUG -Wall -c
-o mona-st_dfa.o `test -f 'st_dfa.cpp' || echo './'`st_dfa.cpp
g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -D_FORTIFY_SOURCE=2 -g -O2
-fstack-protector-strong -Wformat -Werror=format-security -O3 -DNDEBUG -Wall -c
-o mona-st_gta.o `test -f 'st_gta.cpp' || echo './'`st_gta.cpp
g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -D_FORTIFY_SOURCE=2 -g -O2
-fstack-protector-strong -Wformat -Werror=format-security -O3 -DNDEBUG -Wall -c
-o mona-symboltable.o `test -f 'symboltable.cpp' || echo './'`symboltable.cpp
g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -D_FORTIFY_SOURCE=2 -g -O2
-fstack-protector-strong -Wformat -Werror=format-security -O3 -DNDEBUG -Wall -c
-o mona-timer.o `test -f 'timer.cpp' || echo './'`timer.cpp
g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -D_FORTIFY_SOURCE=2 -g -O2
-fstack-protector-strong -Wformat -Werror=format-security -O3 -DNDEBUG -Wall -c
-o mona-untyped.o `test -f 'untyped.cpp' || echo './'`untyped.cpp
/bin/bash ../libtool --tag=CXX --mode=link g++ -g -O2
-fstack-protector-strong -Wformat -Werror=format-security -O3 -DNDEBUG -Wall
-Wl,-z,relro -o mona mona-ast.o mona-astdump.o mona-code.o mona-codedump.o
mona-codesubst.o mona-codetable.o mona-freevars.o mona-ident.o mona-lib.o
mona-makeguide.o mona-mona.o mona-offsets.o mona-parser.o mona-predlib.o
mona-printline.o mona-reduce.o mona-scanner.o mona-signature.o mona-st_dfa.o
mona-st_gta.o mona-symboltable.o mona-timer.o mona-untyped.o
../Mem/libmonamem.la ../BDD/libmonabdd.la ../DFA/libmonadfa.la
../GTA/libmonagta.la
libtool: link: g++ -g -O2 -fstack-protector-strong -Wformat
-Werror=format-security -O3 -DNDEBUG -Wall -Wl,-z -Wl,relro -o .libs/mona
mona-ast.o mona-astdump.o mona-code.o mona-codedump.o mona-codesubst.o
mona-codetable.o mona-freevars.o mona-ident.o mona-lib.o mona-makeguide.o
mona-mona.o mona-offsets.o mona-parser.o mona-predlib.o mona-printline.o
mona-reduce.o mona-scanner.o mona-signature.o mona-st_dfa.o mona-st_gta.o
mona-symboltable.o mona-timer.o mona-untyped.o ../Mem/.libs/libmonamem.so
../BDD/.libs/libmonabdd.so ../DFA/.libs/libmonadfa.so
../GTA/.libs/libmonagta.so /«PKGBUILDDIR»/BDD/.libs/libmonabdd.so
/«PKGBUILDDIR»/Mem/.libs/libmonamem.so
../BDD/.libs/libmonabdd.so: undefined reference to `insert_cache'
collect2: error: ld returned 1 exit status
make[4]: *** [mona] Error 1
makefile:348: recipe for target 'mona' failed
make[4]: Leaving directory '/«PKGBUILDDIR»/Front'
make[3]: *** [all] Error 2
makefile:264: recipe for target 'all' failed
make[3]: Leaving directory '/«PKGBUILDDIR»/Front'
make[2]: *** [all-recursive] Error 1
makefile:459: recipe for target 'all-recursive' failed
make[2]: Leaving directory '/«PKGBUILDDIR»'
make[1]: *** [all] Error 2
makefile:303: recipe for target 'all' failed
make[1]: Leaving directory '/«PKGBUILDDIR»'
dh_auto_build: make -j1 returned exit code 2
make: *** [build-arch] Error 2
debian/rules:4: recipe for target 'build-arch' failed
dpkg-buildpackage: error: debian/rules build-arch gave error exit status 2
--- End Message ---
--- Begin Message ---
Source: mona
Source-Version: 1.4-15-1.1
We believe that the bug you reported is fixed in the latest version of
mona, 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 778...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Matthias Klose <d...@debian.org> (supplier of updated mona 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...@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 08 Jul 2015 15:57:00 +0200
Source: mona
Binary: mona
Architecture: source amd64
Version: 1.4-15-1.1
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers
<debian-science-maintain...@lists.alioth.debian.org>
Changed-By: Matthias Klose <d...@debian.org>
Description:
mona - theorem prover based on automata
Closes: 778011
Changes:
mona (1.4-15-1.1) unstable; urgency=medium
.
* Non-maintainer upload.
* Build with -fgnu89-inline. Closes: #778011.
Checksums-Sha1:
789cfdf1e241f2a457cd1853b4317fd811d05d3b 1962 mona_1.4-15-1.1.dsc
c47224eb9ae653e6506ffd335a38ad469892fc47 6252 mona_1.4-15-1.1.debian.tar.xz
9320ea1685fa4aa7df81bd661606e99981e80737 399562 mona_1.4-15-1.1_amd64.deb
Checksums-Sha256:
faf330af3a075625df61e83038fece2137300d3edcd03709e4fd7fe09d86a9f7 1962
mona_1.4-15-1.1.dsc
ac5c046e2b84e8e2d7704617deb1ff47d4c8bd98472fa778ea0d9c7c8d36a816 6252
mona_1.4-15-1.1.debian.tar.xz
f9fbe68861516298b2c831ef69f749d2bb61a6345869b7399cb9c78b947bbb9b 399562
mona_1.4-15-1.1_amd64.deb
Files:
8da93d1100d5ab95f30fd6219864368f 1962 science extra mona_1.4-15-1.1.dsc
dd0881defcb0b8bd46e19bdcac5de29c 6252 science extra
mona_1.4-15-1.1.debian.tar.xz
432f9677e0da3dd99ae3b4266e1814ff 399562 science extra mona_1.4-15-1.1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJVnS0tAAoJEL1+qmB3j6b10EQP/35tJWQx4iuhCx2D+7Hv1Hvd
9cNw9+UMZU7jOPOfy4HkMuTxc5CGnnnpzHj/iXE3tD+erbqgAPxx3z+LD7XVVThL
g0XY0iTliCzgfATNuPHjKnHxFNnNO0h1xDRPTrJUNeTf+R09qlabR/SbZ5Y7jD59
LtgCQYAFdDEQ0OoZx7VcfrSDzt9cHDWgLcx/n5u39fIx0wLloEUD2E7MmO1tyqXh
Bm0UDXmbClie8CwAiYnBODwEt634u7laPb+o6krUHLuVn+c0bH4qoaaNjUgdp9GB
ZajBgI8Apw2f4Zd3bxW+89q8/5hfcGmwhXyLLIWgHHHGiURlDZ0Ecwmr3LKoOylb
oACj93hF1woCk6977EDOIuFeXoOptBK9qEXdjhMi1rI55cCxASfg9kJcjF3ckH9L
CwbU8q6UjtvFvYj0oIpRM695aopmoZ/aTJUuHDDIjJs1hGcP2jq1N64AJx/u3Ih0
qQ9LqvmPan8ULQwp5XqKhgvt9QhjTFaSISYlN/B7IJNpJb4LMqB4WaLAGe6ZXevy
+NjCt6eS+ZhrNsJUVTHPUI0XMT6xX8AV60zmDsFHzssx0u8O96CAJqVHDcGvD+x4
oi9wj+HtZsOeRd+ZtQHiiniQpmjgSuGZZdXaWXKd0O5Xt7lrkauTgxNBxHFiM4tO
wwDuIYkU8bj91XweqeVv
=xdcB
-----END PGP SIGNATURE-----
--- End Message ---
