Your message dated Sun, 3 Dec 2017 13:05:22 +0200
with message-id <f0f742ec-1a5f-9b0d-681c-22f2c7b51...@gmail.com>
and subject line Re: Unable to reproduce mcrl2 FTBFS
has caused the Debian Bug report #811860,
regarding mcrl2: FTBFS with GCC 6: no matching function for call to
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.)
--
811860: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=811860
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: mcrl2
Version: 201409.0-1
Severity: important
User: debian-...@lists.debian.org
Usertags: ftbfs-gcc-6 gcc-6-no-match
This package fails to build with GCC 6. GCC 6 has not been released
yet, but it's expected that GCC 6 will become the default compiler for
stretch.
Note that only the first error is reported; there might be more. You
can find a snapshot of GCC 6 in experimental. To build with GCC 6,
you can set CC=gcc-6 CXX=g++-6 explicitly.
You may be able to find out more about this issue at
https://gcc.gnu.org/gcc-6/changes.html
> sbuild (Debian sbuild) 0.67.0 (26 Dec 2015) on dl580gen9-02.hlinux
...
> /usr/include/qt4/QtGui -isystem /usr/include/qt4/QtXml -isystem
> /usr/include/qt4/QtCore -I/<<PKGBUILDDIR>>/3rd-party/tr/include -fPIC
> -std=c++11 -Wall -Wno-inline -fno-strict-overflow -pipe -O3 -DNDEBUG -o
> CMakeFiles/mcrl2-gui.dir/copythread.cpp.o -c
> /<<PKGBUILDDIR>>/tools/mcrl2-gui/copythread.cpp
> cd /<<PKGBUILDDIR>>/debian/build/tools/mcrl2-gui && /usr/bin/c++
> -DMCRL2_HAVE_NOEXCEPT -DMCRL2_HAVE_NULLPTR -DMCRL2_HAVE_UNORDERED_SET
> -DQT_CORE_LIB -DQT_GUI_LIB -DQT_NO_DEBUG -DQT_OPENGL_LIB -DQT_XML_LIB
> -I/<<PKGBUILDDIR>>/tools/mcrl2-gui
> -I/<<PKGBUILDDIR>>/debian/build/tools/mcrl2-gui
> -I/<<PKGBUILDDIR>>/3rd-party/dparser -I/<<PKGBUILDDIR>>/3rd-party/svc/include
> -I/<<PKGBUILDDIR>>/build/precompile -I/<<PKGBUILDDIR>>/build/workarounds
> -I/<<PKGBUILDDIR>>/libraries/atermpp/include
> -I/<<PKGBUILDDIR>>/libraries/bes/include
> -I/<<PKGBUILDDIR>>/libraries/core/include
> -I/<<PKGBUILDDIR>>/libraries/data/include
> -I/<<PKGBUILDDIR>>/libraries/lps/include
> -I/<<PKGBUILDDIR>>/libraries/lts/include
> -I/<<PKGBUILDDIR>>/libraries/modal_formula/include
> -I/<<PKGBUILDDIR>>/libraries/pbes/include
> -I/<<PKGBUILDDIR>>/libraries/process/include
> -I/<<PKGBUILDDIR>>/libraries/trace/include
> -I/<<PKGBUILDDIR>>/libraries/utilities/include -isystem /usr/include/qt4
> -isystem /usr/include/qt4/QtOpenGL -isystem
> /usr/include/qt4/QtGui -isystem /usr/include/qt4/QtXml -isystem
> /usr/include/qt4/QtCore -I/<<PKGBUILDDIR>>/3rd-party/tr/include -fPIC
> -std=c++11 -Wall -Wno-inline -fno-strict-overflow -pipe -O3 -DNDEBUG -o
> CMakeFiles/mcrl2-gui.dir/optionvalue.cpp.o -c
> /<<PKGBUILDDIR>>/tools/mcrl2-gui/optionvalue.cpp
> In file included from
> /<<PKGBUILDDIR>>/libraries/data/include/mcrl2/data/rewriter.h:21:0,
> from
> /<<PKGBUILDDIR>>/libraries/data/include/mcrl2/data/detail/bdd_prover.h:17,
> from
> /<<PKGBUILDDIR>>/libraries/data/source/detail/rewrite/with_prover.cpp:17:
> /<<PKGBUILDDIR>>/libraries/data/include/mcrl2/data/expression_traits.h: In
> static member function 'static const mcrl2::data::data_expression&
> mcrl2::data::expression_traits<Expression>::head(const
> mcrl2::data::data_expression&)':
> /<<PKGBUILDDIR>>/libraries/data/include/mcrl2/data/expression_traits.h:349:45:
> error: no matching function for call to 'down_cast(const
> mcrl2::data::data_expression&)'
> return atermpp::down_cast<application>(e).head();
> ^
>
> In file included from
> /<<PKGBUILDDIR>>/libraries/atermpp/include/mcrl2/atermpp/detail/aterm_appl.h:15:0,
> from
> /<<PKGBUILDDIR>>/libraries/atermpp/include/mcrl2/atermpp/detail/aterm_appl_iterator.h:15,
> from
> /<<PKGBUILDDIR>>/libraries/atermpp/include/mcrl2/atermpp/aterm_appl.h:20,
> from
> /<<PKGBUILDDIR>>/libraries/data/include/mcrl2/data/data_specification.h:21,
> from
> /<<PKGBUILDDIR>>/libraries/data/source/detail/rewrite/with_prover.cpp:16:
> /<<PKGBUILDDIR>>/libraries/atermpp/include/mcrl2/atermpp/aterm.h:276:16:
> note: candidate: template<class Derived, class Base> const Derived&
> atermpp::down_cast(const Base&, typename
> std::enable_if<(atermpp::is_convertible<Base, Derived>::value && (!
> std::is_base_of<Derived, Base>::value))>::type*)
> const Derived& down_cast(const Base& t,
> ^~~~~~~~~
>
> /<<PKGBUILDDIR>>/libraries/atermpp/include/mcrl2/atermpp/aterm.h:276:16:
> note: template argument deduction/substitution failed:
> In file included from
> /<<PKGBUILDDIR>>/libraries/data/include/mcrl2/data/rewriter.h:21:0,
> from
> /<<PKGBUILDDIR>>/libraries/data/include/mcrl2/data/detail/bdd_prover.h:17,
> from
> /<<PKGBUILDDIR>>/libraries/data/include/mcrl2/data/detail/rewrite/with_prover.h:15,
> from
> /<<PKGBUILDDIR>>/libraries/data/source/detail/rewrite/rewrite.cpp:28:
> /<<PKGBUILDDIR>>/libraries/data/include/mcrl2/data/expression_traits.h: In
> static member function 'static const mcrl2::data::data_expression&
> mcrl2::data::expression_traits<Expression>::head(const
> mcrl2::data::data_expression&)':
> /<<PKGBUILDDIR>>/libraries/data/include/mcrl2/data/expression_traits.h:349:45:
> error: no matching function for call to 'down_cast(const
> mcrl2::data::data_expression&)'
> return atermpp::down_cast<application>(e).head();
> ^
>
> In file included from
> /<<PKGBUILDDIR>>/libraries/atermpp/include/mcrl2/atermpp/algorithm.h:17:0,
> from
> /<<PKGBUILDDIR>>/libraries/data/source/detail/rewrite/rewrite.cpp:17:
> /<<PKGBUILDDIR>>/libraries/atermpp/include/mcrl2/atermpp/aterm.h:276:16:
> note: candidate: template<class Derived, class Base> const Derived&
> atermpp::down_cast(const Base&, typename
> std::enable_if<(atermpp::is_convertible<Base, Derived>::value && (!
> std::is_base_of<Derived, Base>::value))>::type*)
> const Derived& down_cast(const Base& t,
> ^~~~~~~~~
>
> /<<PKGBUILDDIR>>/libraries/atermpp/include/mcrl2/atermpp/aterm.h:276:16:
> note: template argument deduction/substitution failed:
> libraries/data/CMakeFiles/mcrl2_data.dir/build.make:161: recipe for target
> 'libraries/data/CMakeFiles/mcrl2_data.dir/source/detail/rewrite/with_prover.cpp.o'
> failed
> make[3]: ***
> [libraries/data/CMakeFiles/mcrl2_data.dir/source/detail/rewrite/with_prover.cpp.o]
> Error 1
> make[3]: *** Waiting for unfinished jobs....
> libraries/data/CMakeFiles/mcrl2_data.dir/build.make:209: recipe for target
> 'libraries/data/CMakeFiles/mcrl2_data.dir/source/detail/rewrite/rewrite.cpp.o'
> failed
> make[3]: ***
> [libraries/data/CMakeFiles/mcrl2_data.dir/source/detail/rewrite/rewrite.cpp.o]
> Error 1
--
Martin Michlmayr
Linux for HPE Helion, Hewlett Packard Enterprise
--- End Message ---
--- Begin Message ---
On Sun, 6 Aug 2017 23:42:27 +0000 brian m. carlson wrote:
> I'm unable to reproduce this FTBFS with g++ 4:7.1.0-1 and g++-7 7.1.0.12
> on my amd64/sid system. It's possible this is no longer an issue and
> has been fixed by GCC upstream. Notably, that file compiles without
> warnings or errors on my system.
I'm unable to reproduce the issue as well. My build was successful on
amd64 unstable chroot with g++-7 7.2.0-16, using cowbuilder.
Additionally, the buildd status page[1] indicates there has been a
successful build on all of the release architectures on 2017-09-28. This
is why I believe this is not an issue any more and the bug can be closed.
Regards,
Juhani Numminen
[1] https://buildd.debian.org/status/package.php?p=mcrl2
--- End Message ---
