Your message dated Fri, 25 Mar 2011 14:16:15 +0000
with message-id <[email protected]>
and subject line Bug#615678: fixed in mcrl2 201103-1
has caused the Debian Bug report #615678,
regarding mcrl2: ftbfs with gcc-4.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 [email protected]
immediately.)
--
615678: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=615678
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: mcrl2
Version: 201007~rc1-1
Severity: normal
Tags: sid
User: [email protected]
Usertags: ftbfs-gcc-4.5
The package fails to build in a test rebuild on at least amd64 with
gcc-4.5/g++-4.5, but succeeds to build with gcc-4.4/g++-4.4.
The full build log can be found at:
http://people.debian.org/~lucas/logs/2011/02/14/gcc/gcc4.5/mcrl2_201007~rc1-1_lsid64b.buildlog
The last lines of the build log are at the end of this report.
Some more details can be found at
http://lists.debian.org/debian-devel-announce/2011/02/msg00012.html
[...]
[ 13%] Building CXX object
libraries/core/CMakeFiles/mcrl2_core.dir/source/text_utility.cpp.o
cd
"/build/user-mcrl2_201007~rc1-1-amd64-spuXLp/mcrl2-201007~rc1/debian/build/libraries/core"
&& /usr/bin/c++ -Dmcrl2_core_EXPORTS -DAT_64BIT -D_FILE_OFFSET_BITS=64
-D_LARGE_FILES -D__WXGTK__ -g -O2 -pthread -O3 -DNDEBUG -fPIC -isystem
/usr/lib/wx/include/gtk2-unicode-release-2.8 -isystem /usr/include/wx-2.8
-I"/build/user-mcrl2_201007~rc1-1-amd64-spuXLp/mcrl2-201007~rc1/libraries/core/include"
-I"/build/user-mcrl2_201007~rc1-1-amd64-spuXLp/mcrl2-201007~rc1/libraries/data/include"
-I"/build/user-mcrl2_201007~rc1-1-amd64-spuXLp/mcrl2-201007~rc1/3rd-party/aterm/include/aterm"
-I"/build/user-mcrl2_201007~rc1-1-amd64-spuXLp/mcrl2-201007~rc1/libraries/atermpp/include"
-I"/build/user-mcrl2_201007~rc1-1-amd64-spuXLp/mcrl2-201007~rc1/libraries/utilities/include"
-I"/build/user-mcrl2_201007~rc1-1-amd64-spuXLp/mcrl2-201007~rc1/build/workarounds"
-Wall -Wno-inline -pthread -fno-strict-overflow -pipe -Wl,-as-needed -fPIC
-o CMakeFiles/mcrl2_core.dir/source/text_utility.cpp.o -c "/bu
ild/user-mcrl2_201007~rc1-1-amd64-spuXLp/mcrl2-201007~rc1/libraries/core/source/text_utility.cpp"
Linking CXX shared library libticpp.so
cd
"/build/user-mcrl2_201007~rc1-1-amd64-spuXLp/mcrl2-201007~rc1/debian/build/3rd-party/ticpp"
&& /usr/bin/cmake -E cmake_link_script CMakeFiles/ticpp.dir/link.txt
--verbose=1
/usr/bin/c++ -fPIC -g -O2 -pthread -O3 -DNDEBUG -shared
-Wl,-soname,libticpp.so -o libticpp.so CMakeFiles/ticpp.dir/source/ticpp.cpp.o
CMakeFiles/ticpp.dir/source/tinyxmlparser.cpp.o
CMakeFiles/ticpp.dir/source/tinyxmlerror.cpp.o
CMakeFiles/ticpp.dir/source/tinyxml.cpp.o -Wl,-rpath,::::::::::::::
make[3]: Leaving directory
`/build/user-mcrl2_201007~rc1-1-amd64-spuXLp/mcrl2-201007~rc1/debian/build'
/usr/bin/cmake -E cmake_progress_report
"/build/user-mcrl2_201007~rc1-1-amd64-spuXLp/mcrl2-201007~rc1/debian/build/CMakeFiles"
97
[ 13%] Built target ticpp
Linking CXX shared library libmcrl2_utilities_wx.so
cd
"/build/user-mcrl2_201007~rc1-1-amd64-spuXLp/mcrl2-201007~rc1/debian/build/libraries/utilities"
&& /usr/bin/cmake -E cmake_link_script
CMakeFiles/mcrl2_utilities_wx.dir/link.txt --verbose=1
/usr/bin/c++ -fPIC -g -O2 -pthread -O3 -DNDEBUG -shared
-Wl,-soname,libmcrl2_utilities_wx.so -o libmcrl2_utilities_wx.so
CMakeFiles/mcrl2_utilities_wx.dir/source/spinctrlfloat.cpp.o
CMakeFiles/mcrl2_utilities_wx.dir/source/colorbutton.cpp.o
CMakeFiles/mcrl2_utilities_wx.dir/source/font_renderer.cpp.o -pthread
-lwx_baseu-2.8 -lwx_gtk2u_core-2.8 -lwx_gtk2u_adv-2.8 -lwx_gtk2u_gl-2.8
-lwx_baseu_xml-2.8 -lwx_gtk2u_html-2.8 -lwx_gtk2u_aui-2.8 -lGLU -lGL -lX11
-lXext -Wl,-rpath,::::::::::::::
make[3]: Leaving directory
`/build/user-mcrl2_201007~rc1-1-amd64-spuXLp/mcrl2-201007~rc1/debian/build'
/usr/bin/cmake -E cmake_progress_report
"/build/user-mcrl2_201007~rc1-1-amd64-spuXLp/mcrl2-201007~rc1/debian/build/CMakeFiles"
83
[ 13%] Built target mcrl2_utilities_wx
mcrl2parser.cpp: In function 'YYRESULTTAG yyglrReduce(yyGLRStack*, size_t,
yyRuleNum, yybool)':
mcrl2parser.cpp:6556:30: warning: 'yyloc.YYLTYPE::yydummy' may be used
uninitialized in this function
mcrl2parser.cpp:6688:15: note: 'yyloc.YYLTYPE::yydummy' was declared here
mcrl2parser.cpp: In function 'int mcrl2yyparse()':
mcrl2parser.cpp:6556:30: warning: 'yyerrloc.YYLTYPE::yydummy' may be used
uninitialized in this function
mcrl2parser.cpp:7472:16: note: 'yyerrloc.YYLTYPE::yydummy' was declared here
Linking CXX shared library libmcrl2_core.so
cd
"/build/user-mcrl2_201007~rc1-1-amd64-spuXLp/mcrl2-201007~rc1/debian/build/libraries/core"
&& /usr/bin/cmake -E cmake_link_script CMakeFiles/mcrl2_core.dir/link.txt
--verbose=1
/usr/bin/c++ -fPIC -g -O2 -pthread -O3 -DNDEBUG -shared
-Wl,-soname,libmcrl2_core.so -o libmcrl2_core.so
CMakeFiles/mcrl2_core.dir/source/typecheck.cpp.o
CMakeFiles/mcrl2_core.dir/source/parse.cpp.o
CMakeFiles/mcrl2_core.dir/source/struct_core.cpp.o
CMakeFiles/mcrl2_core.dir/source/mcrl2parser.cpp.o
CMakeFiles/mcrl2_core.dir/source/mcrl2lexer.cpp.o
CMakeFiles/mcrl2_core.dir/source/regfrmtrans.cpp.o
CMakeFiles/mcrl2_core.dir/source/print.cpp.o
CMakeFiles/mcrl2_core.dir/source/messaging.cpp.o
CMakeFiles/mcrl2_core.dir/source/aterm_ext.cpp.o
CMakeFiles/mcrl2_core.dir/source/print_c.cpp.o
CMakeFiles/mcrl2_core.dir/source/text_utility.cpp.o
../../3rd-party/aterm/libaterm.so
-Wl,-rpath,"/build/user-mcrl2_201007~rc1-1-amd64-spuXLp/mcrl2-201007~rc1/debian/build/3rd-party/aterm:"
make[3]: Leaving directory
`/build/user-mcrl2_201007~rc1-1-amd64-spuXLp/mcrl2-201007~rc1/debian/build'
/usr/bin/cmake -E cmake_progress_report
"/build/user-mcrl2_201007~rc1-1-amd64-spuXLp/mcrl2-201007~rc1/debian/build/CMakeFiles"
69 70 71
[ 13%] Built target mcrl2_core
make[2]: Leaving directory
`/build/user-mcrl2_201007~rc1-1-amd64-spuXLp/mcrl2-201007~rc1/debian/build'
make[1]: *** [all] Error 2
make: *** [build-stamp] Error 2
dpkg-buildpackage: error: debian/rules build gave error exit status 2
--- End Message ---
--- Begin Message ---
Source: mcrl2
Source-Version: 201103-1
We believe that the bug you reported is fixed in the latest version of
mcrl2, which is due to be installed in the Debian FTP archive:
mcrl2_201103-1.debian.tar.gz
to main/m/mcrl2/mcrl2_201103-1.debian.tar.gz
mcrl2_201103-1.dsc
to main/m/mcrl2/mcrl2_201103-1.dsc
mcrl2_201103-1_amd64.deb
to main/m/mcrl2/mcrl2_201103-1_amd64.deb
mcrl2_201103.orig.tar.gz
to main/m/mcrl2/mcrl2_201103.orig.tar.gz
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.
Paul van Tilburg <[email protected]> (supplier of updated mcrl2 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: SHA1
Format: 1.8
Date: Fri, 25 Mar 2011 09:19:56 +0100
Source: mcrl2
Binary: mcrl2
Architecture: source amd64
Version: 201103-1
Distribution: unstable
Urgency: low
Maintainer: Paul van Tilburg <[email protected]>
Changed-By: Paul van Tilburg <[email protected]>
Description:
mcrl2 - the mCRL2 formal specification language toolset
Closes: 615678
Changes:
mcrl2 (201103-1) unstable; urgency=low
.
* New upstream release (closes: #615678).
* Upload to unstable.
* debian/patches:
- Added fix_manpage_generation.patch to fix macro errors in
some man pages (fix from rev. 9060).
* debian/rules:
- Do man-page generation the right way (enabled MCRL2_MAN_PAGES).
* debian/watch:
- Changed the .bz2 suffix into .gz.
Checksums-Sha1:
8b9f6a6b808240028800cb50cc5ca45a977236c1 1367 mcrl2_201103-1.dsc
85f029754795dc31dd289125a1f6cb8bcbe6cf8e 5021666 mcrl2_201103.orig.tar.gz
675c6ad1884d9d7684fe16f9f6bd6da1c1ba7f47 6723 mcrl2_201103-1.debian.tar.gz
afe927028fb56a26f2ee78c0dd69593b27cdbd85 14396068 mcrl2_201103-1_amd64.deb
Checksums-Sha256:
100c200d943631aa19cf99cf75d29fd6b1a516facd6fa1e670fabca731ddbbf1 1367
mcrl2_201103-1.dsc
1d6760492e422c2c05f914eb44afe77b7c8bb9976ef0cf0d4c3d4b81f5845683 5021666
mcrl2_201103.orig.tar.gz
e412127a47efb6d5deceff0e00d61286bbab63a2cbc33ccb572b7b42c49e4b22 6723
mcrl2_201103-1.debian.tar.gz
f26548d669a41b060bd4a7b88d5fc28f06326744f5cdf18f42c810e487864067 14396068
mcrl2_201103-1_amd64.deb
Files:
ef086bc16dcbfc315a9cbfbb3c2188fb 1367 math extra mcrl2_201103-1.dsc
d6bec0a99ac01a72e4c97182f1774611 5021666 math extra mcrl2_201103.orig.tar.gz
ac524b53b7abc51dcb32b464e910781f 6723 math extra mcrl2_201103-1.debian.tar.gz
1162cbabcdb688fbb2f3246e2a015baf 14396068 math extra mcrl2_201103-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iEYEARECAAYFAk2MhJYACgkQJBBhylAGQYHjXgCffcSuwvfUZEdIED65nIWCGQhF
G+cAn1SPFZU02TJFGlUOzntUcP6lK5gL
=20R4
-----END PGP SIGNATURE-----
--- End Message ---
