Menu

#238 Cannot install XSB from current SVN version

Other
open
nobody
None
5
2017-07-13
2017-07-13
No

Bug: building and installing from a fresh copy of the SVN results in an error.
My system: Kubuntu 16.04 x86_64

How to reproduce
1) Clone the SVN to a new directory
2) navigate to the XSB/build directory
3) run ./configure
4) run ./makexsb
5) run ./makexsb install

error output:

[joachim@thither ~/builds/xsbsvnbuild/xsb-src/XSB/build]$ ./makexsb install -j1

...
Installed!

Configuring XSB packages. Wait...
[Compiling /home/joachim/software/xsb/xsb-3.7.0/config/x86_64-unknown-linux-gnu/lib/xsb_configuration]
% Specialising partially instantiated calls to xsb_configuration/2
[Module xsb_configuration compiled, cpu time used: 0,0080 seconds]
[xsb_configuration loaded]
++Error[XSB/Runtime/P]: [Existence (No file/module /home/joachim/software/xsb/xsb-3.7.0/syslib/sysinitrc exists)]  in arg 1 of predicate consult/1
Forward Continuation...
... machine:xsb_backtrace/1  From /home/joachim/software/xsb/xsb-3.7.0/syslib/machine.xwam
... consult:reconsult0/3  From /home/joachim/software/xsb/xsb-3.7.0/syslib/consult.xwam
... consult:reconsult/1  From /home/joachim/software/xsb/xsb-3.7.0/syslib/consult.xwam
... loader:load_library_directories/0  From /home/joachim/software/xsb/xsb-3.7.0/syslib/loader.xwam
... standard:call/1  From /home/joachim/software/xsb/xsb-3.7.0/syslib/standard.xwam
... standard:catch/3  From /home/joachim/software/xsb/xsb-3.7.0/syslib/standard.xwam

End XSB (cputime 0,02 secs, elapsetime 0,02 secs)

Full log with workflow is attached

1 Attachments

Discussion


Log in to post a comment.