From: Eric K. <ek...@ic...> - 2007-09-30 03:22:55
|
INSTALLATION SUMMARY -------------------- XSB Version: 2.2 Code name: Tsingtao Release date: 2000-04-20 Configuration: sparc-sun-solaris2.9 Installation date: Sat Sep 29 23:05:34 EDT 2007 Build process is looking for XSB sources in: /export/home2/e/k/ekao/cse307/hw2/XSB XSB should be installed in: /export/home2/e/k/ekao/cse307/hw2/XSB Configuration-specific executables go in: /export/home2/e/k/ekao/cse307/hw2/XSB/config/sparc-sun-solaris2.9/bin Configuration-specific libraries go in: /export/home2/e/k/ekao/cse307/hw2/XSB/config/sparc-sun-solaris2.9/lib Object code goes in: /export/home2/e/k/ekao/cse307/hw2/XSB/config/sparc-sun-solaris2.9/saved.o Site-specific code goes in: /export/home2/e/k/ekao/cse307/hw2/XSB/site Site configuration-specific code goes in: /export/home2/e/k/ekao/cse307/hw2/XSB/site/config/sparc-sun-solaris2.9 XSB will be built with: gcc -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall emuloop.c will be built with: gcc -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall tr_utils.c will be built with: gcc -O1 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall Loader flags: -lsocket -lm -lnsl -ldl Compilation mode: optimal XSB abstract machine: chat XSB scheduling strategy: batched Garbage Collection Stress-Test: no POSIX regexp matching libraries: yes POSIX wildcard matching libraries: yes Perl support: yes Perl archlib: /usr/perl5/5.6.1/lib/sun4-solaris-64int/CORE Perl C compiler: cc Perl C flags: -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 Perl loader flags: -lsocket -lnsl -ldl -lm -lc Libwww support: no Java compiler: /bin/javac gcc -c -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall main_xsb.c gcc -c -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall auxlry.c gcc -c -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall biassert.c gcc -c -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall builtin.c builtin.c: In function `xsb_fprint_variable': builtin.c:487: warning: void format, different type arg (arg 3) builtin.c: In function `xsb_sprint_variable': builtin.c:498: warning: void format, different type arg (arg 3) builtin.c: In function `builtin_call': io_builtins_xsb_i.h:109: warning: inlining failed in call to 'file_function': --param max-inline-insns-single limit reached builtin.c:927: warning: called from here std_pred_xsb_i.h:142: warning: inlining failed in call to 'univ_builtin': --param max-inline-insns-single limit reached builtin.c:74: warning: called from here std_pred_xsb_i.h:287: warning: inlining failed in call to 'atom_to_list': --param max-inline-insns-single limit reached builtin.c:85: warning: called from here std_pred_xsb_i.h:287: warning: inlining failed in call to 'atom_to_list': --param max-inline-insns-single limit reached builtin.c:87: warning: called from here std_pred_xsb_i.h:391: warning: inlining failed in call to 'number_to_list': --param max-inline-insns-single limit reached builtin.c:91: warning: called from here std_pred_xsb_i.h:391: warning: inlining failed in call to 'number_to_list': --param max-inline-insns-single limit reached builtin.c:93: warning: called from here std_pred_xsb_i.h:391: warning: inlining failed in call to 'number_to_list': --param max-inline-insns-single limit reached builtin.c:95: warning: called from here gcc -c -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall chat.c gcc -c -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall cinterf.c gcc -c -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall debug_xsb.c debug_xsb.c: In function `printterm': debug_xsb.c:125: warning: void format, different type arg (arg 3) debug_xsb.c:128: warning: void format, different type arg (arg 3) debug_xsb.c: At top level: debug_xsb.c:90: warning: 'count_producer_subgoals' defined but not used gcc -c -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall dis.c dis.c: In function `dis_data_sub': dis.c:102: warning: void format, psc_rec arg (arg 3) dis.c: In function `print_inst': dis.c:139: warning: void format, different type arg (arg 3) dis.c: In function `dis_text': dis.c:243: warning: void format, different type arg (arg 3) gcc -c -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall dynload.c In file included from dynload.c:34: dynelf_xsb_i.h: In function `load_obj_dyn': dynelf_xsb_i.h:152: warning: ISO C forbids conversion of function pointer to object pointer type gcc -c -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall emuloop.c gcc -c -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall error_xsb.c gcc -c -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall findall.c gcc -c -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall function.c gcc -c -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall hash_xsb.c gcc -c -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall heap_xsb.c heap_xsb.c: In function `print_cell': heap_xsb.c:1077: warning: void format, different type arg (arg 4) heap_xsb.c: In function `print_heap': heap_xsb.c:1163: warning: void format, different type arg (arg 3) heap_xsb.c: In function `print_cp': heap_xsb.c:1221: warning: void format, different type arg (arg 3) heap_xsb.c: In function `print_regs': heap_xsb.c:1331: warning: dereferencing type-punned pointer will break strict-aliasing rules heap_xsb.c: In function `print_chat': heap_xsb.c:1374: warning: void format, init_chat_header arg (arg 3) heap_xsb.c:1389: warning: void format, different type arg (arg 3) heap_xsb.c:1401: warning: void format, incr_chat_header arg (arg 3) heap_xsb.c:1414: warning: void format, different type arg (arg 3) heap_xsb.c:1423: warning: void format, init_chat_header arg (arg 3) heap_xsb.c: In function `copy_heap': heap_xsb.c:2513: warning: dereferencing type-punned pointer will break strict-aliasing rules gcc -c -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall init_xsb.c gcc -c -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall inst_xsb.c gcc -c -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall io_builtins_xsb.c io_builtins_xsb.c: In function `fmt_write_string': io_builtins_xsb.c:400: warning: implicit declaration of function `snprintf' gcc -c -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall loader_xsb.c loader_xsb.c: In function `inserth': loader_xsb.c:187: warning: operation on `temp' may be undefined loader_xsb.c: In function `get_index_tab': loader_xsb.c:226: warning: dereferencing type-punned pointer will break strict-aliasing rules loader_xsb.c:231: warning: dereferencing type-punned pointer will break strict-aliasing rules loader_xsb.c:237: warning: dereferencing type-punned pointer will break strict-aliasing rules loader_xsb.c:237: warning: dereferencing type-punned pointer will break strict-aliasing rules loader_xsb.c:237: warning: dereferencing type-punned pointer will break strict-aliasing rules loader_xsb.c: In function `load_text': loader_xsb.c:412: warning: void format, different type arg (arg 3) loader_xsb.c:412: warning: void format, different type arg (arg 4) loader_xsb.c: In function `load_index': loader_xsb.c:430: warning: dereferencing type-punned pointer will break strict-aliasing rules loader_xsb.c:432: warning: dereferencing type-punned pointer will break strict-aliasing rules loader_xsb.c: In function `get_obj_atom': loader_xsb.c:563: warning: dereferencing type-punned pointer will break strict-aliasing rules loader_xsb.c: In function `loader1': loader_xsb.c:699: warning: dereferencing type-punned pointer will break strict-aliasing rules loader_xsb.c:701: warning: dereferencing type-punned pointer will break strict-aliasing rules gcc -c -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall memory_xsb.c memory_xsb.c: In function `tcpstack_realloc': memory_xsb.c:209: warning: void format, pointer arg (arg 2) gcc -c -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall orient_xsb.c gcc -c -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall pathname_xsb.c gcc -c -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall private_builtin.c gcc -c -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall psc_xsb.c gcc -c -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall random_xsb.c gcc -c -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall residual.c gcc -c -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall scc_xsb.c gcc -c -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall slgdelay.c gcc -c -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall socket_xsb.c gcc -c -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall string_xsb.c gcc -c -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall struct_manager.c gcc -c -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall sub_delete.c gcc -c -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall sub_insert.c gcc -c -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall subp.c subp.c: In function `compare': subp.c:466: warning: implicit declaration of function `strcmp' gcc -c -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall system_xsb.c gcc -c -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall table_stats.c gcc -c -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall tables.c gcc -c -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall timer_xsb.c gcc -c -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall token_xsb.c gcc -c -O1 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall tr_utils.c gcc -c -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall trace_xsb.c gcc -c -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall tries.c gcc -c -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall tst_insert.c gcc -c -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall tst_retrv.c gcc -c -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall tst_unify.c gcc -c -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall tst_utils.c tst_utils.c: In function `printTrieNode': tst_utils.c:184: warning: void format, Basic_Trie_Node arg (arg 2) tst_utils.c:197: warning: void format, Basic_Trie_Node arg (arg 2) tst_utils.c:197: warning: void format, Basic_Trie_Node arg (arg 3) tst_utils.c:197: warning: void format, Basic_Trie_Node arg (arg 4) tst_utils.c: In function `triePrintPath': tst_utils.c:393: warning: void format, Basic_Trie_Node arg (arg 2) tst_utils.c: In function `sfPrintGoal': tst_utils.c:456: warning: void format, subgoal_frame arg (arg 2) tst_utils.c: In function `printAnswerList': tst_utils.c:484: warning: void format, Answer_List_Node arg (arg 2) gcc -c -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -ansi -pedantic -Wall varstring.c Making XSB executable /export/home2/e/k/ekao/cse307/hw2/XSB/config/sparc-sun-solaris2.9/bin/xsb cd /export/home2/e/k/ekao/cse307/hw2/XSB/emu; \ gcc -o /export/home2/e/k/ekao/cse307/hw2/XSB/config/sparc-sun-solaris2.9/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 -lsocket -lm -lnsl -ldl gcc -c gpp.c gcc -o gpp /export/home2/e/k/ekao/cse307/hw2/XSB/config/sparc-sun-solaris2.9/saved.o/gpp.o echo Done Done Configuring XSB packages. Wait... | ?- yes | ?- yes | ?- yes | ?- yes | ?- yes | ?- yes | ?- yes | ?- |