XSB install broken

[Bart Bogaerts]

On a fresh ubuntu install, with a fresh clone of IDP and my usual cmake settings

'cmake ~/software/idp/ -DCMAKE_INSTALL_PREFIX=~/usr/local -DCMAKE_BUILD_TYPE="Release" -DTESTINGTHREADS=2'

I'm not able to compile (due to XSB stuff).

ERROR:

[ 29%] Building CXX object src/CMakeFiles/idp.dir/inferences/querying/xsb/XSBInterface.cpp.o
make[2]: *** No rule to make target 'XSB/config/x86_64-unknown-linux-gnu/saved.o/xsb.o', needed by 'src/libidp.so'.  Stop.
CMakeFiles/Makefile2:818: recipe for target 'src/CMakeFiles/idp.dir/all' failed
make[1]: *** [src/CMakeFiles/idp.dir/all] Error 2
Makefile:146: recipe for target 'all' failed
make: *** [all] Error 2

[JoD]

In release 3.6.0, we updated the XSB and Flex libraries to versions compatible with recent c++ compilers. We also packaged on Linux to remove any issues with windows file types.

Please visit https://dtai.cs.kuleuven.be/software/idp/try for release 3.6.0.