-
assigned issue to
- edited description
XSB crashes
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
Comments (11)
-
-
reporter 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
-
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
-
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
-
Cmake should add this flag itself. It should detect that the architecture is 32BIT. This should not be a user's concern
-
fixed. Pull request open
-
-
Is deze issue echt gefixed nu of kwam de issue ook voor onder 64bit?
-
- changed status to resolved
Fixed? If not, please reopen
-
Ik dacht je hem ook op yonder had kunnen reproduceren, niet? Ik dat geval zou het niet enkel aan 64b liggen
-
De build fail heb ik kunnen reproduceren en is gefixed.
- Log in to comment