- changed status to resolved
XSB install broken
Issue #910
resolved
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
Comments (1)
-
- Log in to comment
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.