XSB crashes

[Neline van Ginkel]

On running the attached file, xsb seems to crash.

Partial Forward Continuation...
... tnot/1  From /home/neline/Documents/idpgitinstall/bin/xsb/xsb-3.5.0/syslib/tables.xwam
... brat_undefined/0  From /home/neline/Documents/idpgitinstall/bin/xsb/xsb-3.5.0/syslib/xsbbrat.xwam
... reinitialize_undefineds/0  From /home/neline/Documents/idpgitinstall/bin/xsb/xsb-3.5.0/syslib/xsbbrat.xwam
... co_code_call/3  From /home/neline/Documents/idpgitinstall/bin/xsb/xsb-3.5.0/syslib/consult.xwam
... reconsult0/3  From /home/neline/Documents/idpgitinstall/bin/xsb/xsb-3.5.0/syslib/consult.xwam
... reconsult/1  From /home/neline/Documents/idpgitinstall/bin/xsb/xsb-3.5.0/syslib/consult.xwam
... ./2  From /home/neline/Documents/idpgitinstall/bin/xsb/xsb-3.5.0/syslib/consult.xwam
... co_code_call/3  From /home/neline/Documents/idpgitinstall/bin/xsb/xsb-3.5.0/syslib/consult.xwam
... reconsult0/3  From /home/neline/Documents/idpgitinstall/bin/xsb/xsb-3.5.0/syslib/consult.xwam
... reconsult/1  From /home/neline/Documents/idpgitinstall/bin/xsb/xsb-3.5.0/syslib/consult.xwam
... load_library_directories/0  From /home/neline/Documents/idpgitinstall/bin/xsb/xsb-3.5.0/syslib/loader.xwam
... call/1  From /home/neline/Documents/idpgitinstall/bin/xsb/xsb-3.5.0/syslib/standard.xwam
... catch/3  From /home/neline/Documents/idpgitinstall/bin/xsb/xsb-3.5.0/syslib/standard.xwam

[Neline van Ginkel]

Seems like some error on building. I did a clean build and got the following error:

[ 73%] Building CXX object src/CMakeFiles/idp.dir/inferences/querying/xsb/JoinDefinitionsForXSB.cpp.o
[ 73%] Building CXX object src/CMakeFiles/idp.dir/inferences/querying/xsb/XSBToIDPTranslator.cpp.o
[ 73%] Building CXX object src/CMakeFiles/idp.dir/inferences/querying/xsb/FormulaClauseBuilder.cpp.o
[ 73%] Building CXX object src/CMakeFiles/idp.dir/inferences/querying/xsb/FormulaClause.cpp.o
[ 75%] Building CXX object src/CMakeFiles/idp.dir/inferences/querying/xsb/FormulaClauseToPrologClauseConverter.cpp.o
[ 75%] Building CXX object src/CMakeFiles/idp.dir/inferences/querying/xsb/PrologProgram.cpp.o
[ 75%] Building CXX object src/CMakeFiles/idp.dir/inferences/querying/xsb/XSBInterface.cpp.o
In file included from /home/neline/Documents/idp3build/XSB/emu/context.h:29:0,
                 from /home/neline/Documents/idp3build/XSB/emu/cinterf.h:26,
                 from /home/neline/Documents/git/idp/src/inferences/querying/xsb/XSBInterface.cpp:18:
/home/neline/Documents/idp3build/XSB/emu/basictypes.h:28:24: fatal error: xsb_config.h: No such file or directory
 #include "xsb_config.h"
                        ^
compilation terminated.
[ 75%] Building CXX object src/CMakeFiles/idp.dir/inferences/querying/Query.cpp.o
make[2]: *** [src/CMakeFiles/idp.dir/inferences/querying/xsb/XSBInterface.cpp.o] Error 1
make[2]: *** Waiting for unfinished jobs....
make[1]: *** [src/CMakeFiles/idp.dir/all] Error 2
make: *** [all] Error 2
neline@neline-Thesis:~/Documents/idp3build$ make check
[  0%] Built target tinythread
[  7%] Built target pbsolver
[  7%] Built target gtest
[  9%] Built target linenoise
[ 28%] Built target minisatid
[ 35%] Built target lua
[ 35%] Building CXX object src/CMakeFiles/idp.dir/inferences/querying/xsb/XSBInterface.cpp.o
In file included from /home/neline/Documents/idp3build/XSB/emu/context.h:29:0,
                 from /home/neline/Documents/idp3build/XSB/emu/cinterf.h:26,
                 from /home/neline/Documents/git/idp/src/inferences/querying/xsb/XSBInterface.cpp:18:
/home/neline/Documents/idp3build/XSB/emu/basictypes.h:28:24: fatal error: xsb_config.h: No such file or directory
 #include "xsb_config.h"
                        ^
compilation terminated.
make[3]: *** [src/CMakeFiles/idp.dir/inferences/querying/xsb/XSBInterface.cpp.o] Error 1
make[2]: *** [src/CMakeFiles/idp.dir/all] Error 2
make[1]: *** [tests/CMakeFiles/check.dir/rule] Error 2
make: *** [check] Error 2

[Joachim Jansen]

Have you tried starting from a clean (empty) source folder, and then performing a new clone of the master branch?

Also, instead of make -j8, try doing make xsb -j8, this builds only XSB

[Joachim Jansen]

Build was tried on a 32bit machine. Currently, I can't get this working.

Also, if you're compiling IDP for 32bit machines, you should include the -D32BITS=OFF flag in your cmake, this also leads to IDP not building XSB

[Bart Bogaerts]

Cmake should add this flag itself. It should detect that the architecture is 32BIT. This should not be a user's concern

[Joachim Jansen]

fixed. Pull request open

[Bart Bogaerts]

Merged in 32bit_over (pull request #302)

32 bit detection again See #835

→ <<cset 6c830664d6d5>>

[Bart Bogaerts]

Is deze issue echt gefixed nu of kwam de issue ook voor onder 64bit?

[Joachim Jansen]

Fixed? If not, please reopen

[Bart Bogaerts]

Ik dacht je hem ook op yonder had kunnen reproduceren, niet? Ik dat geval zou het niet enkel aan 64b liggen

[Joachim Jansen]

De build fail heb ik kunnen reproduceren en is gefixed.