search

konclude / Konclude

Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL
http://konclude.com
36 stars 5 forks source link

Build failed Konclude on OSX 10.13.6 (High Sierra) #10

Closed mielvds closed 5 years ago

mielvds commented 5 years ago

The code doesn't seem to compile using the Clang of OSX, probably an XCode developer tools update.

Version:

Apple LLVM version 10.0.0 (clang-1000.10.44.4)
Target: x86_64-apple-darwin17.7.0
Thread model: posix
InstalledDir: /Library/Developer/CommandLineTools/usr/bin

The error given is:


Source/Reasoner/Realizer/COptimizedRepresentativeKPSetOntologyRealizingThread.cpp:1416:58: error: ordered comparison between pointer and zero ('Konclude::Utilities::cint64 *' (aka 'long long *') and 'int')
                                if (mergingOperationLimit && mergingOperationLimit-- <= 0) {
                                                             ~~~~~~~~~~~~~~~~~~~~~~~ ^  ~
Source/Reasoner/Realizer/COptimizedRepresentativeKPSetOntologyRealizingThread.cpp:1529:37: error: ordered comparison between pointer and zero ('Konclude::Utilities::cint64 *' (aka 'long long *') and 'int')
                                                                if (mergingOperationLimit-- <= 0) {
                                                                    ~~~~~~~~~~~~~~~~~~~~~~~ ^  ~
Source/Reasoner/Realizer/COptimizedRepresentativeKPSetOntologyRealizingThread.cpp:1578:36: error: ordered comparison between pointer and zero ('Konclude::Utilities::cint64 *' (aka 'long long *') and 'int')
                                                        if (mergingOperationLimit-- <= 0) {
                                                            ~~~~~~~~~~~~~~~~~~~~~~~ ^  ~
Source/Reasoner/Realizer/COptimizedRepresentativeKPSetOntologyRealizingThread.cpp:1621:37: error: ordered comparison between pointer and zero ('Konclude::Utilities::cint64 *' (aka 'long long *') and 'int')
                                                                if (mergingOperationLimit-- <= 0) {
                                                                    ~~~~~~~~~~~~~~~~~~~~~~~ ^  ~
Source/Reasoner/Realizer/COptimizedRepresentativeKPSetOntologyRealizingThread.cpp:1684:58: error: ordered comparison between pointer and zero ('Konclude::Utilities::cint64 *' (aka 'long long *') and 'int')
                                if (mergingOperationLimit && mergingOperationLimit-- <= 0) {
                                                             ~~~~~~~~~~~~~~~~~~~~~~~ ^  ~
andreas-steigmiller commented 5 years ago

Many thanks for reporting the compilation error (the dereferencing of the pointer was missing). It should now be fixed. I will try to set up travis as soon as possible such that hopefully all major compilers/operation systems are automatically tested.

mielvds commented 5 years ago

My pleasure! Thanks for the quick response