Hi Jonas, Many thanks for maintaining the packaging of Konclude for Debian and for reporting this problem. I fixed the compilation errors and zipped a new source code package of version 0.6.2 that can be downloaded with the following link (it is also available on Konclude's webpage):
http://www.derivo.de/fileadmin/externe_websites/ext.derivo/KoncludeReleases/v0.6.2-544/Konclude-v0.6.2-544-SourceCode-GCC6Fixes.zip Of course, we will also include the fixes in the next release. Best, Andreas Am 15.07.2016 um 12:43 schrieb Jonas Smedegaard: > Hi Konclude Developer Team, > > I maintail the packaging of Konclude for Debian. > > My fellow developer, Martin, have discovered that Konclude fails to > compile succesfully with the most recent GNU compiler, GCC 6. > > Any help resolving this is quite appreciated. > > Quoting Martin Michlmayr (2016-01-20 01:48:28) >> 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. >> >>> sbuild (Debian sbuild) 0.67.0 (26 Dec 2015) on dl580gen9-02.hlinux >> ... >>> g++ -c -m64 -pipe -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 >>> -fstack-protector-strong -Wformat -Werror=format-security -Wall -w >>> -D_REENTRANT -DQT_XML_LIB -DQT_NETWORK_LIB >>> -DKONCLUDE_FORCE_ALL_DEBUG_DEACTIVATED -DQT_NO_DEBUG -DQT_GUI_LIB >>> -DQT_CORE_LIB -DQT_SHARED -I/usr/share/qt4/mkspecs/linux-g++-64 -I. >>> -I/usr/include/qt4/QtCore -I/usr/include/qt4/QtNetwork >>> -I/usr/include/qt4/QtGui -I/usr/include/qt4/QtXml -I/usr/include/qt4 >>> -I./generatedfiles -I./GeneratedFiles/Release -ISource -I. >>> -IGeneratedFiles/release -o release/CQueryError.o >>> Source/Reasoner/Query/CQueryError.cpp >>> g++ -c -m64 -pipe -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 >>> -fstack-protector-strong -Wformat -Werror=format-security -Wall -w >>> -D_REENTRANT -DQT_XML_LIB -DQT_NETWORK_LIB >>> -DKONCLUDE_FORCE_ALL_DEBUG_DEACTIVATED -DQT_NO_DEBUG -DQT_GUI_LIB >>> -DQT_CORE_LIB -DQT_SHARED -I/usr/share/qt4/mkspecs/linux-g++-64 -I. >>> -I/usr/include/qt4/QtCore -I/usr/include/qt4/QtNetwork >>> -I/usr/include/qt4/QtGui -I/usr/include/qt4/QtXml -I/usr/include/qt4 >>> -I./generatedfiles -I./GeneratedFiles/Release -ISource -I. >>> -IGeneratedFiles/release -o release/CQueryInconsitentOntologyError.o >>> Source/Reasoner/Query/CQueryInconsitentOntologyError.cpp >>> Source/Reasoner/Query/CQueryInconsitentOntologyError.cpp: In static member >>> function 'static Konclude::Reasoner::Query::CQueryInconsitentOntologyError* >>> Konclude::Reasoner::Query::CQueryInconsitentOntologyError::getInconsistentOntologyError(Konclude::Reasoner::Query::CQueryError*)': >>> Source/Reasoner/Query/CQueryInconsitentOntologyError.cpp:57:12: error: >>> cannot convert 'bool' to >>> 'Konclude::Reasoner::Query::CQueryInconsitentOntologyError*' in return >>> return false; >>> ^~~~~ >>> >>> Makefile:10326: recipe for target >>> 'release/CQueryInconsitentOntologyError.o' failed > > Kind regards, > > - Jonas >
