Package: mcrl2 Version: 201409.0-1 Severity: important User: [email protected] 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
