From: User F. H. <fuj...@ba...> - 2001-01-28 16:40:42
|
Subject: XSB installation log INSTALLATION SUMMARY -------------------- XSB Version: 2.2 Code name: Tsingtao Release date: 2000-04-20 Configuration: alpha-unknown-freebsd4.2 Installation date: Mon Jan 29 01:34:28 JST 2001 Build process is looking for XSB sources in: /usr/zTMP/XSB XSB should be installed in: /compat/linux/usr/local/xsb/2.2 Configuration-specific executables go in: /usr/zTMP/XSB/config/alpha-unknown-freebsd4.2-bits64/bin Configuration-specific libraries go in: /usr/zTMP/XSB/config/alpha-unknown-freebsd4.2-bits64/lib Object code goes in: /usr/zTMP/XSB/config/alpha-unknown-freebsd4.2-bits64/saved.o Site-specific code goes in: /compat/linux/usr/local/xsb/site Site configuration-specific code goes in: /compat/linux/usr/local/xsb/site/config/alpha-unknown-freebsd4.2 XSB will be built with: ccc -I/compat/linux/usr/include -O4 -O -fast -pipe emuloop.c will be built with: ccc -I/compat/linux/usr/include -O -fast -pipe tr_utils.c will be built with: ccc -I/compat/linux/usr/include -O -fast -pipe Loader flags: -lm Compilation mode: optimal XSB abstract machine: chat XSB scheduling strategy: batched Garbage Collection Stress-Test: no Configured with dynamic libraries: /compat/linux/usr/lib POSIX regexp matching libraries: yes POSIX wildcard matching libraries: yes Perl support: yes Perl archlib: /usr/libdata/perl/5.00503/mach/CORE Perl C compiler: cc Perl C flags: Perl loader flags: -lm -lc -lcrypt Libwww support: no Java compiler: javac make[1]: Entering directory `/usr/zTMP/XSB/emu' ccc -c -I/compat/linux/usr/include -O4 -O -fast -pipe main_xsb.c ccc -c -I/compat/linux/usr/include -O4 -O -fast -pipe auxlry.c ccc -c -I/compat/linux/usr/include -O4 -O -fast -pipe biassert.c ccc -c -I/compat/linux/usr/include -O4 -O -fast -pipe builtin.c ccc -c -I/compat/linux/usr/include -O4 -O -fast -pipe chat.c ccc -c -I/compat/linux/usr/include -O4 -O -fast -pipe cinterf.c ccc -c -I/compat/linux/usr/include -O4 -O -fast -pipe debug_xsb.c ccc -c -I/compat/linux/usr/include -O4 -O -fast -pipe dis.c ccc -c -I/compat/linux/usr/include -O4 -O -fast -pipe dynload.c ccc -c -I/compat/linux/usr/include -O -fast -pipe emuloop.c ccc -c -I/compat/linux/usr/include -O4 -O -fast -pipe error_xsb.c ccc -c -I/compat/linux/usr/include -O4 -O -fast -pipe findall.c ccc -c -I/compat/linux/usr/include -O4 -O -fast -pipe function.c ccc -c -I/compat/linux/usr/include -O4 -O -fast -pipe hash_xsb.c ccc -c -I/compat/linux/usr/include -O4 -O -fast -pipe heap_xsb.c ccc -c -I/compat/linux/usr/include -O4 -O -fast -pipe init_xsb.c ccc -c -I/compat/linux/usr/include -O4 -O -fast -pipe inst_xsb.c ccc -c -I/compat/linux/usr/include -O4 -O -fast -pipe io_builtins_xsb.c ccc -c -I/compat/linux/usr/include -O4 -O -fast -pipe loader_xsb.c cc: Warning: loader_xsb.c, line 187: In this statement, the expression "temp=(CPtr)*(++temp)" modifies the variable "temp" more than once without an intervening sequence point. This behavior is undefined. (undefvarmod) temp = (CPtr)*(++temp); ------^ cc: Info: loader_xsb.c, line 553: The inline and __inline keywords will be interpreted with GCC style semantics. To get ANSI99 semantics, please specify -accept nogccinline. (gccinline) inline void get_obj_atom(FILE *fd, VarString *atom) ------------^ ccc -c -I/compat/linux/usr/include -O4 -O -fast -pipe memory_xsb.c ccc -c -I/compat/linux/usr/include -O4 -O -fast -pipe orient_xsb.c ccc -c -I/compat/linux/usr/include -O4 -O -fast -pipe pathname_xsb.c ccc -c -I/compat/linux/usr/include -O4 -O -fast -pipe private_builtin.c ccc -c -I/compat/linux/usr/include -O4 -O -fast -pipe psc_xsb.c ccc -c -I/compat/linux/usr/include -O4 -O -fast -pipe random_xsb.c ccc -c -I/compat/linux/usr/include -O4 -O -fast -pipe residual.c ccc -c -I/compat/linux/usr/include -O4 -O -fast -pipe scc_xsb.c ccc -c -I/compat/linux/usr/include -O4 -O -fast -pipe slgdelay.c ccc -c -I/compat/linux/usr/include -O4 -O -fast -pipe socket_xsb.c ccc -c -I/compat/linux/usr/include -O4 -O -fast -pipe string_xsb.c ccc -c -I/compat/linux/usr/include -O4 -O -fast -pipe struct_manager.c ccc -c -I/compat/linux/usr/include -O4 -O -fast -pipe sub_delete.c ccc -c -I/compat/linux/usr/include -O4 -O -fast -pipe sub_insert.c ccc -c -I/compat/linux/usr/include -O4 -O -fast -pipe subp.c ccc -c -I/compat/linux/usr/include -O4 -O -fast -pipe system_xsb.c ccc -c -I/compat/linux/usr/include -O4 -O -fast -pipe table_stats.c ccc -c -I/compat/linux/usr/include -O4 -O -fast -pipe tables.c ccc -c -I/compat/linux/usr/include -O4 -O -fast -pipe timer_xsb.c ccc -c -I/compat/linux/usr/include -O4 -O -fast -pipe token_xsb.c ccc -c -I/compat/linux/usr/include -O -fast -pipe tr_utils.c ccc -c -I/compat/linux/usr/include -O4 -O -fast -pipe trace_xsb.c ccc -c -I/compat/linux/usr/include -O4 -O -fast -pipe tries.c ccc -c -I/compat/linux/usr/include -O4 -O -fast -pipe tst_insert.c ccc -c -I/compat/linux/usr/include -O4 -O -fast -pipe tst_retrv.c ccc -c -I/compat/linux/usr/include -O4 -O -fast -pipe tst_unify.c ccc -c -I/compat/linux/usr/include -O4 -O -fast -pipe tst_utils.c ccc -c -I/compat/linux/usr/include -O4 -O -fast -pipe varstring.c Making XSB executable /usr/zTMP/XSB/config/alpha-unknown-freebsd4.2-bits64/bin/xsb cd /usr/zTMP/XSB/emu; \ ccc -o /usr/zTMP/XSB/config/alpha-unknown-freebsd4.2-bits64/bin/xsb main_xsb.o auxlry.o biassert.o builtin.o chat.o cinterf.o debug_xsb.o dis.o dynload.o emuloop.o error_xsb.o findall.o function.o hash_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 private_builtin.o psc_xsb.o random_xsb.o residual.o scc_xsb.o slgdelay.o socket_xsb.o string_xsb.o struct_manager.o sub_delete.o sub_insert.o subp.o system_xsb.o table_stats.o tables.o timer_xsb.o token_xsb.o tr_utils.o trace_xsb.o tries.o tst_insert.o tst_retrv.o tst_unify.o tst_utils.o varstring.o -lm builtin.o: In function `file_stat': builtin.o(.text+0x1b50): undefined reference to `stat' builtin.o(.text+0x1b60): undefined reference to `stat' builtin.o(.text+0x1b60): undefined reference to `stat' builtin.o(.text+0x2358): undefined reference to `stat' builtin.o(.text+0x2364): undefined reference to `stat' builtin.o(.text+0x2364): more undefined references to `stat' follow dynload.o: In function `load_obj': dynload.o(.text+0x2a8): undefined reference to `dlopen' dynload.o(.text+0x2b0): undefined reference to `dlopen' dynload.o(.text+0x2b0): undefined reference to `dlopen' dynload.o(.text+0x2f0): undefined reference to `dlerror' dynload.o(.text+0x2f8): undefined reference to `dlerror' dynload.o(.text+0x2f8): undefined reference to `dlerror' dynload.o(.text+0x344): undefined reference to `dlsym' dynload.o(.text+0x360): undefined reference to `dlsym' dynload.o(.text+0x360): undefined reference to `dlsym' dynload.o(.text+0x370): undefined reference to `dlerror' dynload.o(.text+0x378): undefined reference to `dlerror' dynload.o(.text+0x378): undefined reference to `dlerror' orient_xsb.o: In function `set_xsbinfo_dir': orient_xsb.o(.text+0x2e0): undefined reference to `stat' orient_xsb.o(.text+0x2ec): undefined reference to `stat' orient_xsb.o(.text+0x2ec): undefined reference to `stat' orient_xsb.o(.text+0x300): undefined reference to `stat' orient_xsb.o(.text+0x308): undefined reference to `stat' orient_xsb.o(.text+0x308): more undefined references to `stat' follow make[1]: *** [xsb] Error 1 make[1]: Leaving directory `/usr/zTMP/XSB/emu' make[1]: Entering directory `/usr/zTMP/XSB/emu' make[1]: `xsb' is up to date. make[1]: Leaving directory `/usr/zTMP/XSB/emu' make[1]: Entering directory `/usr/zTMP/XSB/gpp' ccc -c gpp.c cc: Warning: gpp.c, line 876: In this statement, the referenced type of the pointer value ""+-*/\^<>=`~:.?@#&!%|"" is "char", which is not compatible with "unsigned char" because they differ by signed/unsigned attribute. (ptrmismatch1) DefaultOp=MakeCharsetSubset(DEFAULT_OP_STRING); ------------------------------^ cc: Warning: gpp.c, line 877: In this statement, the referenced type of the pointer value ""+-*/\^<>=`~:.?@#&"" is "char", which is not compatible with "unsigned char" because they differ by signed/unsigned attribute. (ptrmismatch1) PrologOp=MakeCharsetSubset(PROLOG_OP_STRING); -----------------------------^ cc: Warning: gpp.c, line 878: In this statement, the referenced type of the pointer value ""()[]{}"" is "char", which is not compatible with "unsigned char" because they differ by signed/unsigned attribute. (ptrmismatch1) DefaultExtOp=MakeCharsetSubset(DEFAULT_OP_PLUS); ---------------------------------^ cc: Warning: gpp.c, line 879: In this statement, the referenced type of the pointer value ""_"" is "char", which is not compatible with "unsigned char" because they differ by signed/unsigned attribute. (ptrmismatch1) DefaultId=MakeCharsetSubset(DEFAULT_ID_STRING); ------------------------------^ cc: Warning: gpp.c, line 1660: In this statement, the referenced type of the pointer value "args[0]" is "char", which is not compatible with "unsigned char" because they differ by signed/unsigned attribute. (ptrmismatch1) S->stack_next->op_set=MakeCharsetSubset(args[0]); ----------------------------------------------^ cc: Warning: gpp.c, line 1662: In this statement, the referenced type of the pointer value "args[0]" is "char", which is not compatible with "unsigned char" because they differ by signed/unsigned attribute. (ptrmismatch1) S->stack_next->ext_op_set=MakeCharsetSubset(args[0]); --------------------------------------------------^ cc: Warning: gpp.c, line 1664: In this statement, the referenced type of the pointer value "args[0]" is "char", which is not compatible with "unsigned char" because they differ by signed/unsigned attribute. (ptrmismatch1) S->stack_next->id_set=MakeCharsetSubset(args[0]); ----------------------------------------------^ ccc -o gpp /usr/zTMP/XSB/config/alpha-unknown-freebsd4.2-bits64/saved.o/gpp.o make[1]: Leaving directory `/usr/zTMP/XSB/gpp' make[1]: Entering directory `/usr/zTMP/XSB/emu' make[1]: `xsb' is up to date. make[1]: Leaving directory `/usr/zTMP/XSB/emu' make[1]: Entering directory `/usr/zTMP/XSB/gpp' ccc -o gpp /usr/zTMP/XSB/config/alpha-unknown-freebsd4.2-bits64/saved.o/gpp.o make[1]: Leaving directory `/usr/zTMP/XSB/gpp' make[1]: Entering directory `/usr/zTMP/XSB/packages/sModels' make[1]: Nothing to be done for `nope'. make[1]: Leaving directory `/usr/zTMP/XSB/packages/sModels' Configuring XSB packages. Wait... /usr/zTMP/XSB/config/alpha-unknown-linux-gnu-bits64/bin/xsb: file doesn't exist or is not executable XSB might not have have been compiled for the following machine configuration: alpha-unknown-linux-gnu-bits64 ***This installation seems to have the following configurations available: alpha-unknown-freebsd4.2-bits64 ***configuration list end One other frequent problem: you might be over your disk quota, and your XSB executable might have been deleted by the system immediately after it was created. Please contact your system administrator, if you can't rebuild XSB. |