Your message dated Tue, 19 Jul 2011 07:19:07 +0000
with message-id <e1qj4ab-0004fa...@franck.debian.org>
and subject line Bug#625156: fixed in mcrl2 201107-1
has caused the Debian Bug report #625156,
regarding mcrl2: FTBFS: lysaconverter.cpp:708: undefined reference to
`std::basic_string<char, std::char_traits<char>, std::allocator<char> >
lysa::join<lysa::Indices>(lysa::Indices&, std::basic_string<char,
std::char_traits<char>, std::allocator<char> >)'
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.)
--
625156: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=625156
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: mcrl2
Version: 201103-1
Severity: serious
Tags: wheezy sid
User: debian...@lists.debian.org
Usertags: qa-ftbfs-20110502 qa-ftbfs
Justification: FTBFS on amd64
Hi,
During a rebuild of all packages in sid, your package failed to build on
amd64.
Relevant part:
> /usr/bin/c++ -g -O2 -pthread -O3 -DNDEBUG
> CMakeFiles/lysa2mcrl2.dir/lysa2mcrl2.cpp.o
> CMakeFiles/lysa2mcrl2.dir/lysaconverter.cpp.o
> CMakeFiles/lysa2mcrl2.dir/lysa.cpp.o
> CMakeFiles/lysa2mcrl2.dir/lysalexer.cpp.o
> CMakeFiles/lysa2mcrl2.dir/lysaparser.cpp.o
> CMakeFiles/lysa2mcrl2.dir/strategy.cpp.o
> CMakeFiles/lysa2mcrl2.dir/string_template.cpp.o -o lysa2mcrl2 -rdynamic
> ../../libraries/core/libmcrl2_core.so ../../libraries/data/libmcrl2_data.so
> ../../libraries/utilities/libmcrl2_utilities_command_line.so
> ../../libraries/core/libmcrl2_core.so ../../3rd-party/aterm/libaterm.so -ldl
> -lboost_system-mt -lboost_serialization-mt -lboost_signals-mt
> -lboost_filesystem-mt -lboost_regex-mt
> -Wl,-rpath,/build/user-mcrl2_201103-1-amd64-iBhX9u/mcrl2-201103/debian/build/libraries/core:/build/user-mcrl2_201103-1-amd64-iBhX9u/mcrl2-201103/debian/build/libraries/data:/build/user-mcrl2_201103-1-amd64-iBhX9u/mcrl2-201103/debian/build/libraries/utilities:/build/user-mcrl2_201103-1-amd64-iBhX9u/mcrl2-201103/debian/build/3rd-party/aterm:
>
> CMakeFiles/lysa2mcrl2.dir/lysaconverter.cpp.o: In function
> `lysa::Converter::to_mcrl2(lysa::Name&, lysa::Context const&)':
> /build/user-mcrl2_201103-1-amd64-iBhX9u/mcrl2-201103/tools/lysa2mcrl2/lysaconverter.cpp:708:
> undefined reference to `std::basic_string<char, std::char_traits<char>,
> std::allocator<char> > lysa::join<lysa::Indices>(lysa::Indices&,
> std::basic_string<char, std::char_traits<char>, std::allocator<char> >)'
> CMakeFiles/lysa2mcrl2.dir/lysaconverter.cpp.o: In function
> `lysa::Converter::to_mcrl2(lysa::Cryptopoint&)':
> /build/user-mcrl2_201103-1-amd64-iBhX9u/mcrl2-201103/tools/lysa2mcrl2/lysaconverter.cpp:796:
> undefined reference to `std::basic_string<char, std::char_traits<char>,
> std::allocator<char> > lysa::join<lysa::Indices>(lysa::Indices&,
> std::basic_string<char, std::char_traits<char>, std::allocator<char> >)'
> collect2: ld returned 1 exit status
The full build log is available from:
http://people.debian.org/~lucas/logs/2011/05/02/mcrl2_201103-1_lsid64.buildlog
A list of current common problems and possible solutions is available at
http://wiki.debian.org/qa.debian.org/FTBFS . You're welcome to contribute!
About the archive rebuild: The rebuild was done on about 50 AMD64 nodes
of the Grid'5000 platform, using a clean chroot. Internet was not
accessible from the build systems.
--
| Lucas Nussbaum
| lu...@lucas-nussbaum.net http://www.lucas-nussbaum.net/ |
| jabber: lu...@nussbaum.fr GPG: 1024D/023B3F4F |
--- End Message ---
--- Begin Message ---
Source: mcrl2
Source-Version: 201107-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_201107-1.debian.tar.gz
to main/m/mcrl2/mcrl2_201107-1.debian.tar.gz
mcrl2_201107-1.dsc
to main/m/mcrl2/mcrl2_201107-1.dsc
mcrl2_201107-1_amd64.deb
to main/m/mcrl2/mcrl2_201107-1_amd64.deb
mcrl2_201107.orig.tar.gz
to main/m/mcrl2/mcrl2_201107.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 625...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Paul van Tilburg <pau...@debian.org> (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 ftpmas...@debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Mon, 18 Jul 2011 16:03:38 +0200
Source: mcrl2
Binary: mcrl2
Architecture: source amd64
Version: 201107-1
Distribution: unstable
Urgency: low
Maintainer: Paul van Tilburg <pau...@debian.org>
Changed-By: Paul van Tilburg <pau...@debian.org>
Description:
mcrl2 - formal specification language toolset
Closes: 625156
Changes:
mcrl2 (201107-1) unstable; urgency=low
.
* New upstream release (closes: #625156).
* debian/control:
- Bumped standards version to 3.9.2.
- Removed the initial "the mCRL2" from the description.
- Added a build depend on libgl2ps-dev.
* debian/patches:
- Removed fix_manpage_generation.patch; fixed upstream.
- Added lintian_fixes.patch to resolve some lintian issues.
* debian/rules;
- Added targets build-arch and build-indep to comply with (future)
policy.
Checksums-Sha1:
69d1eb0194ae2a87bf664a5acbb0e4d88a10b468 1381 mcrl2_201107-1.dsc
8e8785ef838a66efb8dcf3ea7bbca4a3b998b2e3 5117504 mcrl2_201107.orig.tar.gz
d5a605d493c03fbec54daf1748d75c37b53cd24d 8535 mcrl2_201107-1.debian.tar.gz
747daed8a1efeaba4287766b746e5d5f563ad331 14866980 mcrl2_201107-1_amd64.deb
Checksums-Sha256:
060e201be3cbf0c13be945e5812ad9d35079b6d78c6147b42b37439cd3698599 1381
mcrl2_201107-1.dsc
2101dc3e845a3a8dc5a2c84cecba7c1c79cbfa5b58abb24679890e5bf7c771ae 5117504
mcrl2_201107.orig.tar.gz
52481a3ec6bc205ee24bd5958ff344d0054b978df886a7aa1d286615c78206ca 8535
mcrl2_201107-1.debian.tar.gz
5049287d57486699ae44cab1656a4b19dd25d090f652ff052c9b3181b6f24809 14866980
mcrl2_201107-1_amd64.deb
Files:
016085c681ef289517637eae880c9d99 1381 math extra mcrl2_201107-1.dsc
f2b6dac7786815cc9f01635add8507d4 5117504 math extra mcrl2_201107.orig.tar.gz
dcface5f027717ca00192af2fc05f168 8535 math extra mcrl2_201107-1.debian.tar.gz
36ee03939cea2e7f9e408eb756a429aa 14866980 math extra mcrl2_201107-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iEYEARECAAYFAk4lLU0ACgkQJBBhylAGQYHSowCffqqcICwGLUsy2d7DOfjuTq60
EnMAoJAsmU41oCCeYrVbxjhBedKU/dqi
=aY4M
-----END PGP SIGNATURE-----
--- End Message ---
