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
>
