[Xsb-development] [ xsb-Bugs-1363376 ] Installation problem

[SourceForge.net <no...@so...>]

Bugs item #1363376, was opened at 2005-11-22 03:42
Message generated for change (Comment added) made by dwarren
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=101176&aid=1363376&group_id=1176

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: Compiler
Group: Core Dump
Status: Open
Resolution: None
Priority: 5
Submitted By: bss (beatas)
Assigned to: Nobody/Anonymous (nobody)
Summary: Installation problem

Initial Comment:
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'
                                                      
                         


----------------------------------------------------------------------

>Comment By: David S. Warren (dwarren)
Date: 2005-11-22 13:51

Message:
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

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=101176&aid=1363376&group_id=1176