Menu

#121 Installation problem

Core Dump
closed-invalid
nobody
Compiler (23)
5
2005-12-07
2005-11-22
bss
No

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'

Discussion

  • bss

    bss - 2005-11-22
     
  • David S. Warren

    David S. Warren - 2005-11-22

    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

     
  • bss

    bss - 2005-11-22

    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

     
  • bss

    bss - 2005-12-07

    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

     
  • David S. Warren

    David S. Warren - 2005-12-07

    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

     
  • David S. Warren

    David S. Warren - 2005-12-07
    • status: open --> closed-invalid
     

Log in to post a comment.