#241 Shared directory install needs to precompile for non-root users.

[Jim Bowery]

Following the directions for a shared installation on page 9 of manual1.pdf:

# ./configure -prefix=/usr/local
# ./makexsb
# makexsb install

Then as a non-root user:

$ /usr/local/xsb-3.8.0/bin/xsb
[Compiling /usr/local/xsb-3.8.0/config/x86_64-unknown-linux-gnu/lib/xsb_configuration]
% Specialising partially instantiated calls to xsb_configuration/2
++Error[XSB/Runtime/P]: [Permission (Operation) open on file: /usr/local/xsb-3.8.0/config/x86_64-unknown-linux-gnu/lib/xsb_configuration.xwam]  in open/3
Forward Continuation...
... machine:xsb_backtrace/1  From /usr/local/xsb-3.8.0/syslib/machine.xwam
... standard:open/3  From /usr/local/xsb-3.8.0/syslib/standard.xwam
... compile:compile1/8  From /usr/local/xsb-3.8.0/cmplib/compile.xwam
... standard:call/1  From /usr/local/xsb-3.8.0/syslib/standard.xwam
... consult:compile_f/6  From /usr/local/xsb-3.8.0/syslib/consult.xwam
... consult:reconsult0/3  From /usr/local/xsb-3.8.0/syslib/consult.xwam
... consult:reconsult/1  From /usr/local/xsb-3.8.0/syslib/consult.xwam
... standard:call/1  From /usr/local/xsb-3.8.0/syslib/standard.xwam
... standard:catch/3  From /usr/local/xsb-3.8.0/syslib/standard.xwam

End XSB (cputime 0.03 secs, elapsetime 0.03 secs)

After invoking xsb as root, non-root users can invoke xsb because the compilation is already done so no modifications need be made to the shared directories that are owned by a user other than the, now, invoking user.

This problem extends to other .P files such as those under the examples directory.

[Michael Kifer]

yes, one needs to precompile everything. The sysadmin should do it and set up the permissions right. There hasn't been any demand for shared installations, so there has been no work on that for many years.
Regarding the examples directory, users are supposed to copy it into their own space and play with the files there.