Hi,
I am trying to install the latest XSB release
and have the following failure at makexsb. The
installation summary is attached. Any advice, please?
Thanks,
Beata
Exiting XSB abnormally...
*** Error code 1
make: Fatal error: Command failed for target `all'
Current working directory /user/serg/Software/XSB/cmplib
echo Done
Done
*** Error code 1
make: Fatal error: Command failed for target `cmplib'
Current working directory /user/serg/Software/XSB
*** Error code 1
make: Fatal error: Command failed for target
`remake_dot_O_files'
Logged In: YES
user_id=13069
This looks like it might be a tagging problem. What machine
are you configuring on? My suggestion is to try:
1. Edit the file ???/XSB/config/???/xsb_config.h, where the
first ??? is the install directory and the second is the
configuration you've created.
2. Add the line:
#define GENERAL_TAGGING
at the beginning.
3. Redo makexsb
(In the next release there will be a configuration parameter
for GENERAL_TAGGING, so you could get this effect from there.)
-David
Logged In: YES
user_id=1341090
Thanks, I was trying on Solaris. It turned out there is a
Linux box I could use to install the system as well, and it
worked out that way. I will keep tagging in mind though.
Beata
Logged In: YES
user_id=1341090
A minor follow up: two files in lib directory, 'pairlist.P'
and 'pretty_print.P', don't get compiled with makexsb - had
to do it by hand later on. Can this be due to non-updated
script? I believe, these files were added with the chr package.
Thanks,
Beata
Logged In: YES
user_id=13069
Hi Beata,
Yes, those files were not in the Makefile for lib. I've
added them and will check in the changes shortly.
Thanks,
-David