Re: [Xsb-installation] XSB Installation Problem - 3.0.1 release version

[Paul F. <pf...@cs...>]

Dear Sir,
I tried to install XSB 3.0.1 (last released) version and I get an error.
I attached the log. If you know any solution please tell me.
Thank you,
Paul.

pifodor@summer-t40 ~/XSB/build
$ ./configure

Building XSB Version 3.0.1 (Sagres) of 2006-08-07


- You did not tell me what kind of host system you want to configure.
- I will attempt to guess the kind of system this is.

checking host system type... i686-pc-cygwin
creating cache /home/pifodor/XSB/config/i686-pc-cygwin/config.cache
Checking installation directories...
checking /home/pifodor/XSB/lib... OK
checking /home/pifodor/XSB/syslib... OK
checking /home/pifodor/XSB/cmplib... OK
checking /home/pifodor/XSB/bin... OK
checking /home/pifodor/XSB/config/i686-pc-cygwin/bin... OK
checking /home/pifodor/XSB/config/i686-pc-cygwin/lib... OK
checking /home/pifodor/XSB/config/i686-pc-cygwin/saved.o... OK
checking /home/pifodor/XSB/site/lib... OK
checking /home/pifodor/XSB/site/config/i686-pc-cygwin/lib... OK
checking /home/pifodor/XSB/emu... OK
checking /home/pifodor/XSB/lib... OK
checking /home/pifodor/XSB/syslib... OK
checking /home/pifodor/XSB/cmplib... OK
checking /home/pifodor/XSB/bin... OK
checking /home/pifodor/XSB/build... OK
checking /home/pifodor/XSB/config/i686-pc-cygwin/bin... OK
checking /home/pifodor/XSB/config/i686-pc-cygwin/lib... OK
checking /home/pifodor/XSB/config/i686-pc-cygwin/saved.o... OK
checking /home/pifodor/XSB/etc... OK
checking /home/pifodor/XSB/packages... OK
checking /home/pifodor/XSB/packages/xmc... OK
checking /home/pifodor/XSB/examples... OK
checking /home/pifodor/XSB/prolog_includes... OK
Checking installation directories ... Done
checking for gcc... gcc
checking whether the C compiler (gcc  ) works... yes
checking whether the C compiler (gcc  ) is a cross-compiler... no
checking whether we are using GNU C... yes
checking whether gcc accepts -g... yes
checking how to run the C preprocessor... gcc -E
checking for a BSD compatible install... /usr/bin/install -c
checking for AIX... no
checking for gcc... yes
checking whether we are using SunPro C... no
checking whether make sets ${MAKE}... yes
checking size of long... 4
checking for main in -lm... yes
checking for main in -ldl... yes
checking for main in -lnsl... no
checking for main in -lpthread... yes
checking for main in -lsocket... no
checking for readline in -lreadline... yes
checking for stdarg.h... yes
checking for sys/time.h... yes
checking whether time.h and sys/time.h may both be included... yes
checking for sys/resource.h... yes
checking for malloc... yes
checking for unistd.h... yes
checking for string.h... yes
checking for stdlib.h... yes
checking for working const... yes
checking return type of signal handlers... void
checking for strdup... yes
checking for mkdir... yes
checking for gethostbyname... yes
checking for gettimeofday... yes
checking for socket... yes
checking for snprintf... yes
checking for regexec... yes
checking for regerror... yes
checking for regcomp... yes
checking for fnmatch... yes
checking for glob... yes
checking for globfree... yes
checking for execvp... yes
checking for perl... yes
checking for main in -lgdbm... yes
checking for javac... yes
checking for javac... /cygdrive/c/Program Files/Java/jdk1.6.0_01/bin/javac
dirname: extra operand `Files/Java/jdk1.6.0_01/bin/javac'
Try `dirname --help' for more information.
dirname: missing operand
Try `dirname --help' for more information.
checking for itkwish... no
XMC GUI not supported due to failure to find Incr Tcl/Tk
checking whether loader understands -Wl... yes
Configuring for host system type... no-cygwin
checking for inline... inline
    Not using SMODELS
updating cache /home/pifodor/XSB/config/i686-pc-cygwin/config.cache
creating ./config.status
creating /home/pifodor/XSB/config/i686-pc-cygwin/topMakefile
creating /home/pifodor/XSB/config/i686-pc-cygwin/emuMakefile
creating /home/pifodor/XSB/config/i686-pc-cygwin/modMakefile
creating /home/pifodor/XSB/config/i686-pc-cygwin/gppMakefile
creating /home/pifodor/XSB/config/i686-pc-cygwin/smoMakefile
creating /home/pifodor/XSB/config/i686-pc-cygwin/makedef.sh
creating /home/pifodor/XSB/config/i686-pc-cygwin/lib/xsb_configuration.P
creating makexsb
creating /home/pifodor/XSB/emu/extensions_xsb.h
creating /home/pifodor/XSB/bin/xsb
creating /home/pifodor/XSB/bin/chr_pp
creating /home/pifodor/XSB/bin/xsb.bat
creating /home/pifodor/XSB/config/i686-pc-cygwin/banner.msg
creating /home/pifodor/XSB/config/i686-pc-cygwin/MSVC_mkfile.mak
creating /home/pifodor/XSB/packages/xmc/xmc-gui
creating /home/pifodor/XSB/config/i686-pc-cygwin/xsb_config.h
creating /home/pifodor/XSB/config/i686-pc-cygwin/xsb_debug.h


            INSTALLATION SUMMARY
            --------------------

XSB Version:       3.0.1
Code name:         Sagres
Release date:      2006-08-07
Configuration:     i686-pc-cygwin
Installation date: Tue May 22 11:37:17 EDT 2007

  Build process is looking for XSB sources in:    /home/pifodor/XSB
  XSB should be installed in:                     /home/pifodor/XSB
  Configuration-specific executables go in:
/home/pifodor/XSB/config/i686-pc-cygwin/bin
  Configuration-specific libraries go in:
/home/pifodor/XSB/config/i686-pc-cygwin/lib
  Object code goes in:
/home/pifodor/XSB/config/i686-pc-cygwin/saved.o
  Site-specific code goes in:                     /home/pifodor/XSB/site
  Site configuration-specific code goes in:
/home/pifodor/XSB/site/config/i686-pc-cygwin
  XSB will be built with:                         gcc -mno-cygwin  -O3
-fno-strict-aliasing  -Wall -pipe
  builtin.c will be built with:                   gcc -mno-cygwin  -O3
-fno-strict-aliasing  -Wall -pipe
  loader_xsb.c will be built with:                gcc -mno-cygwin  -O3
-fno-strict-aliasing  -Wall -pipe
  emuloop.c will be built with:                   gcc -mno-cygwin  -O3
-fno-strict-aliasing  -Wall -pipe
  tr_utils.c will be built with:                  gcc -mno-cygwin  -O3
-fno-strict-aliasing  -Wall -pipe
  Loader flags:                                   -lwsock32 -luser32
  Compilation mode:                               optimal
  XSB abstract machine:                           slg-wam
  XSB scheduling strategy:                        local
  Garbage Collection Stress-Test:                 no
  Jumptable-based emulator loop:                  yes
  Demand support:                                 no
  POSIX regexp matching libraries:                yes
  POSIX wildcard matching libraries:              yes
  Perl support:                                   yes
  Perl archlib:
/usr/lib/perl5/5.8/cygwin/CORE
  Perl C compiler:                                gcc
  Perl C flags:                                   -DPERL_USE_SAFE_PUTENV
-fno-strict-aliasing -pipe -I/usr/local/include
  Perl loader flags:                              -lgdbm -ldb -lcrypt
-lgdbm_compat
  Java compiler:                                  /cygdrive/c/Program
Files/Java/jdk1.6.0_01/bin/javac



XSB is configured for installation in /home/pifodor/XSB
Site libraries are to be found in /home/pifodor/XSB/site
Configuration report is saved in ./Installation_summary

***Now compile XSB with:   `makexsb'


pifodor@summer-t40 ~/XSB/build
$ ./makexsb

make -f /home/pifodor/XSB/config/i686-pc-cygwin/topMakefile   devel


make[1]: Entering directory `/home/pifodor/XSB/emu'
makedepend: warning:  auxlry.c (reading /usr/include/w32api/winsock2.h),
line 104: #warning "fd_set and associated macros have been defined in
sys/types.
ime problems with W32 sockets"
makedepend: warning:  builtin.c, line 44: cannot find include file
"direct.h"
        not in /home/pifodor/XSB/config/i686-pc-cygwin/direct.h
        not in -I/direct.h
        not in /usr/local/lib/gcc-include/direct.h
        not in /usr/include/direct.h
        not in /usr/include/w32api/direct.h
        not in /usr/lib/gcc/i686-pc-cygwin/3.4.4/include/direct.h
makedepend: warning:  builtin.c, line 50: cannot find include file
"tchar.h"
        not in /home/pifodor/XSB/config/i686-pc-cygwin/tchar.h
        not in -I/tchar.h
        not in /usr/local/lib/gcc-include/tchar.h
        not in /usr/include/tchar.h
        not in /usr/include/w32api/tchar.h
        not in /usr/lib/gcc/i686-pc-cygwin/3.4.4/include/tchar.h
makedepend: warning:  init_xsb.c, line 36: cannot find include file
"direct.h"
        not in /home/pifodor/XSB/config/i686-pc-cygwin/direct.h
        not in -I/direct.h
        not in /usr/local/lib/gcc-include/direct.h
        not in /usr/include/direct.h
        not in /usr/include/w32api/direct.h
        not in /usr/lib/gcc/i686-pc-cygwin/3.4.4/include/direct.h
makedepend: warning:  main_xsb.c, line 30: cannot find include file
"direct.h"
        not in /home/pifodor/XSB/config/i686-pc-cygwin/direct.h
        not in -I/direct.h
        not in /usr/local/lib/gcc-include/direct.h
        not in /usr/include/direct.h
        not in /usr/include/w32api/direct.h
        not in /usr/lib/gcc/i686-pc-cygwin/3.4.4/include/direct.h
makedepend: warning:  orient_xsb.c, line 30: cannot find include file
"direct.h"
        not in /home/pifodor/XSB/config/i686-pc-cygwin/direct.h
        not in -I/direct.h
        not in /usr/local/lib/gcc-include/direct.h
        not in /usr/include/direct.h
        not in /usr/include/w32api/direct.h
        not in /usr/lib/gcc/i686-pc-cygwin/3.4.4/include/direct.h
makedepend: warning:  pathname_xsb.c, line 29: cannot find include file
"direct.h"
        not in /home/pifodor/XSB/config/i686-pc-cygwin/direct.h
        not in -I/direct.h
        not in /usr/local/lib/gcc-include/direct.h
        not in /usr/include/direct.h
        not in /usr/include/w32api/direct.h
        not in /usr/lib/gcc/i686-pc-cygwin/3.4.4/include/direct.h
makedepend: warning:  socket_xsb.c, line 45: cannot find include file
"tchar.h"
        not in /home/pifodor/XSB/config/i686-pc-cygwin/tchar.h
        not in -I/tchar.h
        not in /usr/local/lib/gcc-include/tchar.h
        not in /usr/include/tchar.h
        not in /usr/include/w32api/tchar.h
        not in /usr/lib/gcc/i686-pc-cygwin/3.4.4/include/tchar.h
makedepend: warning:  system_xsb.c, line 39: cannot find include file
"direct.h"
        not in /home/pifodor/XSB/config/i686-pc-cygwin/direct.h
        not in -I/direct.h
        not in /usr/local/lib/gcc-include/direct.h
        not in /usr/include/direct.h
        not in /usr/include/w32api/direct.h
        not in /usr/lib/gcc/i686-pc-cygwin/3.4.4/include/direct.h
make[1]: Leaving directory `/home/pifodor/XSB/emu'
make[1]: Entering directory `/home/pifodor/XSB/emu'

Compiling XSB with gcc -mno-cygwin using -O3 -fno-strict-aliasing  -Wall
-pipe

        [gcc -mno-cygwin] main_xsb.c
In file included from main_xsb.c:43:
wind2unix.h:59:1: warning: "fileno" redefined
In file included from main_xsb.c:37:
/usr/lib/gcc/i686-pc-mingw32/3.4.4/../../../../i686-pc-mingw32/include/stdio.h:403:1:
warning: this is the location of the previous definition
        [gcc -mno-cygwin] auxlry.c
        [gcc -mno-cygwin] biassert.c
        [gcc -mno-cygwin] builtin.c using -O3 -fno-strict-aliasing  -Wall
-pipe
In file included from builtin.c:115:
wind2unix.h:59:1: warning: "fileno" redefined
In file included from builtin.c:33:
/usr/lib/gcc/i686-pc-mingw32/3.4.4/../../../../i686-pc-mingw32/include/stdio.h:403:1:
warning: this is the location of the previous definition
        [gcc -mno-cygwin] cinterf.c
        [gcc -mno-cygwin] conc_compl.c
        [gcc -mno-cygwin] debug_xsb.c
debug_xsb.c:286:8: warning: extra tokens at end of #endif directive
        [gcc -mno-cygwin] dis.c
        [gcc -mno-cygwin] dynload.c
In file included from dynwin32_xsb_i.h:31,
                 from dynload.c:40:
wind2unix.h:59:1: warning: "fileno" redefined
In file included from dynwin32_xsb_i.h:26,
                 from dynload.c:40:
/usr/lib/gcc/i686-pc-mingw32/3.4.4/../../../../i686-pc-mingw32/include/stdio.h:403:1:
warning: this is the location of the previous definition
        [gcc -mno-cygwin] dynamic_stack.c
        [gcc -mno-cygwin] deadlock.c
        [gcc -mno-cygwin] emuloop.c using -O3 -fno-strict-aliasing  -Wall
-pipe
        [gcc -mno-cygwin] error_xsb.c
        [gcc -mno-cygwin] findall.c
        [gcc -mno-cygwin] function.c
        [gcc -mno-cygwin] hash_xsb.c
        [gcc -mno-cygwin] hashtable_xsb.c
        [gcc -mno-cygwin] heap_xsb.c
        [gcc -mno-cygwin] init_xsb.c
        [gcc -mno-cygwin] inst_xsb.c
        [gcc -mno-cygwin] io_builtins_xsb.c
In file included from io_builtins_xsb.c:56:
wind2unix.h:59:1: warning: "fileno" redefined
In file included from io_builtins_xsb.c:28:
/usr/lib/gcc/i686-pc-mingw32/3.4.4/../../../../i686-pc-mingw32/include/stdio.h:403:1:
warning: this is the location of the previous definition
        [gcc -mno-cygwin] loader_xsb.c using -O3 -fno-strict-aliasing
-Wall -pipe
        [gcc -mno-cygwin] memory_xsb.c
        [gcc -mno-cygwin] orient_xsb.c
In file included from orient_xsb.c:44:
wind2unix.h:59:1: warning: "fileno" redefined
In file included from orient_xsb.c:37:
/usr/lib/gcc/i686-pc-mingw32/3.4.4/../../../../i686-pc-mingw32/include/stdio.h:403:1:
warning: this is the location of the previous definition
        [gcc -mno-cygwin] pathname_xsb.c
In file included from pathname_xsb.c:43:
wind2unix.h:59:1: warning: "fileno" redefined
In file included from pathname_xsb.c:35:
/usr/lib/gcc/i686-pc-mingw32/3.4.4/../../../../i686-pc-mingw32/include/stdio.h:403:1:
warning: this is the location of the previous definition
        [gcc -mno-cygwin] psc_xsb.c
        [gcc -mno-cygwin] random_xsb.c
        [gcc -mno-cygwin] remove_unf.c
        [gcc -mno-cygwin] residual.c
        [gcc -mno-cygwin] rw_lock.c
        [gcc -mno-cygwin] scc_xsb.c
        [gcc -mno-cygwin] slgdelay.c
        [gcc -mno-cygwin] socket_xsb.c
        [gcc -mno-cygwin] string_xsb.c
        [gcc -mno-cygwin] storage_xsb.c
        [gcc -mno-cygwin] struct_manager.c
        [gcc -mno-cygwin] sub_delete.c
        [gcc -mno-cygwin] subp.c
        [gcc -mno-cygwin] system_xsb.c
In file included from system_xsb.c:59:
wind2unix.h:59:1: warning: "fileno" redefined
In file included from system_xsb.c:28:
/usr/lib/gcc/i686-pc-mingw32/3.4.4/../../../../i686-pc-mingw32/include/stdio.h:403:1:
warning: this is the location of the previous definition
        [gcc -mno-cygwin] table_stats.c
        [gcc -mno-cygwin] tables.c
        [gcc -mno-cygwin] thread_xsb.c
        [gcc -mno-cygwin] timer_xsb.c
timer_xsb.c: In function `make_timed_call':
timer_xsb.c:291: warning: passing arg 1 of `_beginthread' from
incompatible pointer type
        [gcc -mno-cygwin] token_xsb.c
        [gcc -mno-cygwin] tr_utils.c using -O3 -fno-strict-aliasing  -Wall
-pipe
        [gcc -mno-cygwin] trace_xsb.c
        [gcc -mno-cygwin] trie_lookup.c
        [gcc -mno-cygwin] trie_search.c
        [gcc -mno-cygwin] tries.c
        [gcc -mno-cygwin] tst_insert.c
        [gcc -mno-cygwin] tst_retrv.c
        [gcc -mno-cygwin] tst_unify.c
        [gcc -mno-cygwin] tst_utils.c
        [gcc -mno-cygwin] varstring.c
In file included from varstring.c:64:
wind2unix.h:59:1: warning: "fileno" redefined
In file included from varstring.c:58:
/usr/lib/gcc/i686-pc-mingw32/3.4.4/../../../../i686-pc-mingw32/include/stdio.h:403:1:
warning: this is the location of the previous definition
        [gcc -mno-cygwin] ubi_BinTree.c
        [gcc -mno-cygwin] ubi_SplayTree.c

Making XSB executable /home/pifodor/XSB/config/i686-pc-cygwin/bin/xsb

        [gcc -mno-cygwin] -o
/home/pifodor/XSB/config/i686-pc-cygwin/bin/xsb
make[1]: Leaving directory `/home/pifodor/XSB/emu'
make[1]: Entering directory `/home/pifodor/XSB/emu'

Making a C-callable XSB module
/home/pifodor/XSB/config/i686-pc-cygwin/saved.o/xsb.o

make[1]: Leaving directory `/home/pifodor/XSB/emu'
make[1]: Entering directory `/home/pifodor/XSB/emu'

Making a C-callable XSB module
/home/pifodor/XSB/config/i686-pc-cygwin/saved.o/xsb.o

Creating .def file for i686-pc-cygwin in
/home/pifodor/XSB/config/i686-pc-cygwin/saved.o
OBJS=main_xsb.o auxlry.o biassert.o builtin.o cinterf.o conc_compl.o
debug_xsb.o dis.o dynload.o dynamic_stack.o deadlock.o emuloop.o
error_xsb.o findall.o func
shtable_xsb.o heap_xsb.o init_xsb.o inst_xsb.o io_builtins_xsb.o
loader_xsb.o memory_xsb.o orient_xsb.o pathname_xsb.o psc_xsb.o
random_xsb.o remove_unf.o resid
xsb.o slgdelay.o socket_xsb.o string_xsb.o storage_xsb.o struct_manager.o
sub_delete.o subp.o system_xsb.o table_stats.o tables.o thread_xsb.o
timer_xsb.o token
ace_xsb.o trie_lookup.o trie_search.o tries.o tst_insert.o tst_retrv.o
tst_unify.o tst_utils.o varstring.o ubi_BinTree.o ubi_SplayTree.o
dllinit_xsb.o
Creating library file: xsb.a

        [gcc -mno-cygwin] -o
/home/pifodor/XSB/config/i686-pc-cygwin/bin/xsb.exe
In file included from main_xsb.c:43:
wind2unix.h:59:1: warning: "fileno" redefined
In file included from main_xsb.c:37:
/usr/lib/gcc/i686-pc-mingw32/3.4.4/../../../../i686-pc-mingw32/include/stdio.h:403:1:
warning: this is the location of the previous definition
make[1]: Leaving directory `/home/pifodor/XSB/emu'

Making gpp
make[1]: Entering directory `/home/pifodor/XSB/gpp'

        [gcc -mno-cygwin] gpp.c using  -D WIN_NT
        [gcc -mno-cygwin] -o gpp

make[1]: Leaving directory `/home/pifodor/XSB/gpp'
make[1]: Entering directory `/home/pifodor/XSB'

cd cmplib; make
make[2]: Entering directory `/home/pifodor/XSB/cmplib'
rm -f '../build/.xsb_cmplib_warn.tmp'
echo 'mc(asm, [sysmod,optimize,spec_repr,quit_on_error]).' >> cmd...
echo 'mc(asm_inst, [sysmod,optimize,spec_repr,quit_on_error]).' >> cmd...
echo 'mc(asm_opt, [sysmod,optimize,spec_repr,quit_on_error]).' >> cmd...
echo 'mc(asmpass2, [sysmod,optimize,spec_repr,quit_on_error]).' >> cmd...
echo 'mc(auxlry, [sysmod,optimize,spec_repr,quit_on_error]).' >> cmd...
echo 'mc(builtin, [sysmod,optimize,spec_repr,quit_on_error]).' >> cmd...
echo 'mc(ciao_directives, [sysmod,optimize,spec_repr,quit_on_error]).' >>
cmd...
echo 'mc(compile, [sysmod,optimize,spec_repr,quit_on_error]).' >> cmd...
../build/touch.sh config.P
echo 'mc(config, [sysmod,optimize,spec_repr,quit_on_error]).' >> cmd...
echo 'mc(cp_opt, [sysmod,optimize,spec_repr,quit_on_error]).' >> cmd...
echo 'mc(cutcheck, [sysmod,optimize,spec_repr,quit_on_error]).' >> cmd...
echo 'mc(flatten, [sysmod,optimize,spec_repr,quit_on_error]).' >> cmd...
echo 'mc(inprog, [sysmod,optimize,spec_repr,quit_on_error]).' >> cmd...
../build/touch.sh listutil.P
echo 'mc(listutil, [sysmod,optimize,spec_repr,quit_on_error]).' >> cmd...
echo 'mc(makemode, [sysmod,optimize,spec_repr,quit_on_error]).' >> cmd...
echo 'mc(modeinf, [sysmod,optimize,spec_repr,quit_on_error]).' >> cmd...
../build/touch.sh modes.P
echo 'mc(modes, [sysmod,optimize,spec_repr,quit_on_error]).' >> cmd...
echo 'mc(parse, [sysmod,optimize,spec_repr,quit_on_error]).' >> cmd...
echo 'mc(peephole, [sysmod,optimize,spec_repr,quit_on_error]).' >> cmd...
echo 'mc(pre_cond, [sysmod,optimize,spec_repr,quit_on_error]).' >> cmd...
echo 'mc(preproc, [sysmod,optimize,spec_repr,quit_on_error]).' >> cmd...
echo 'mc(printres, [sysmod,optimize,spec_repr,quit_on_error]).' >> cmd...
echo 'mc(prof_sbp, [sysmod,optimize,spec_repr,quit_on_error]).' >> cmd...
echo 'mc(sanity, [sysmod,optimize,spec_repr,quit_on_error]).' >> cmd...
echo 'mc(singlton, [sysmod,optimize,spec_repr,quit_on_error]).' >> cmd...
echo 'mc(spec, [sysmod,optimize,spec_repr,quit_on_error]).' >> cmd...
../build/touch.sh suppltab.P
echo 'mc(suppltab, [sysmod,optimize,spec_repr,quit_on_error]).' >> cmd...
echo 'mc(symtab, [sysmod,optimize,spec_repr,quit_on_error]).' >> cmd...
echo 'mc(tabdef, [sysmod,optimize,spec_repr,quit_on_error]).' >> cmd...
echo 'mc(ti_mod, [sysmod,optimize,spec_repr,quit_on_error]).' >> cmd...
echo 'mc(tp_comp, [sysmod,optimize,spec_repr,quit_on_error]).' >> cmd...
echo 'mc(tp_cond, [sysmod,optimize,spec_repr,quit_on_error]).' >> cmd...
echo 'mc(tp_eval, [sysmod,optimize,spec_repr,quit_on_error]).' >> cmd...
echo 'mc(tp_goal, [sysmod,optimize,spec_repr,quit_on_error]).' >> cmd...
echo 'mc(tp_index, [sysmod,optimize,spec_repr,quit_on_error]).' >> cmd...
echo 'mc(tp_var, [sysmod,optimize,spec_repr,quit_on_error]).' >> cmd...
echo 'mc(tpinline, [sysmod,optimize,spec_repr,quit_on_error]).' >> cmd...
echo 'mc(tprog, [sysmod,optimize,spec_repr,quit_on_error]).' >> cmd...
echo 'mc(useinfer, [sysmod,optimize,spec_repr,quit_on_error]).' >> cmd...
../build/touch.sh varproc.P
echo 'mc(varproc, [sysmod,optimize,spec_repr,quit_on_error]).' >> cmd...
echo 'mc(writeasm, [sysmod,optimize,spec_repr,quit_on_error]).' >> cmd...
/home/pifodor/XSB/bin/xsb -e "segfault_handler(warn)." < cmd...
make[2]: *** [all] Error 66
make[2]: Leaving directory `/home/pifodor/XSB/cmplib'
make[1]: *** [cmplib] Error 2
make[1]: Leaving directory `/home/pifodor/XSB'
make: *** [remake_dot_O_files] Error 2

pifodor@summer-t40 ~/XSB/build
$