From: <mu...@pi...> - 2009-07-03 09:33:06
|
Subject: XSB installation log INSTALLATION SUMMARY -------------------- XSB Version: 3.2 Code name: Kopi Lewak Release date: 2009-03-15 Configuration: x86_64-unknown-linux-gnu Installation date: Fri Jul 3 12:16:03 EEST 2009 Build process is looking for XSB sources in: /home/muka/mile/src-third-party/XSB XSB should be installed in: /home/muka/mile/install/3.2 Configuration-specific executables go in: /home/muka/mile/src-third-party/XSB/config/x86_64-unknown-linux-gnu/bin Configuration-specific libraries go in: /home/muka/mile/src-third-party/XSB/config/x86_64-unknown-linux-gnu/lib Object code goes in: /home/muka/mile/src-third-party/XSB/config/x86_64-unknown-linux-gnu/saved.o Site-specific code goes in: /home/muka/mile/install/site Site configuration-specific code goes in: /home/muka/mile/install/site/config/x86_64-unknown-linux-gnu XSB will be built with: gcc -O3 -fno-strict-aliasing -Wall -pipe builtin.c will be built with: gcc -O3 -fno-strict-aliasing -Wall -pipe loader_xsb.c will be built with: gcc -O3 -fno-strict-aliasing -Wall -pipe emuloop.c will be built with: gcc -O3 -fno-strict-aliasing -Wall -pipe tr_utils.c will be built with: gcc -O3 -fno-strict-aliasing -Wall -pipe Loader flags: -lm -ldl -Wl,-export-dynamic -lpthread 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: no Java compiler: javac make[1]: Entering directory `/home/muka/mile/src-third-party/XSB/emu' -e Compiling XSB with gcc using -O3 -fno-strict-aliasing -Wall -pipe -e [gcc] main_xsb.c -e [gcc] auxlry.c -e [gcc] biassert.c -e [gcc] builtin.c using -O3 -fno-strict-aliasing -Wall -pipe -e [gcc] cinterf.c -e [gcc] conc_compl.c -e [gcc] debug_xsb.c debug_xsb.c: In function âprint_tablesâ: debug_xsb.c:883: warning: ignoring return value of âscanfâ, declared with attribute warn_unused_result -e [gcc] dis.c -e [gcc] dynload.c -e [gcc] dynamic_stack.c -e [gcc] deadlock.c -e [gcc] emuloop.c using -O3 -fno-strict-aliasing -Wall -pipe -e [gcc] error_xsb.c error_xsb.c: In function âexit_xsbâ: error_xsb.c:143: warning: format not a string literal and no format arguments error_xsb.c: In function âabort_xsbâ: error_xsb.c:853: warning: format not a string literal and no format arguments error_xsb.c:853: warning: format not a string literal and no format arguments error_xsb.c: In function âbug_xsbâ: error_xsb.c:882: warning: format not a string literal and no format arguments error_xsb.c:882: warning: format not a string literal and no format arguments error_xsb.c: In function âerror_xsbâ: error_xsb.c:971: warning: format not a string literal and no format arguments error_xsb.c: In function âwarn_xsbâ: error_xsb.c:995: warning: format not a string literal and no format arguments error_xsb.c: In function âmesg_xsbâ: error_xsb.c:1014: warning: format not a string literal and no format arguments -e [gcc] findall.c -e [gcc] function.c -e [gcc] hash_xsb.c -e [gcc] hashtable_xsb.c -e [gcc] heap_xsb.c -e [gcc] init_xsb.c -e [gcc] inst_xsb.c -e [gcc] io_builtins_xsb.c io_builtins_xsb.c: In function âfmt_readâ: io_builtins_xsb.c:587: warning: format not a string literal and no format arguments io_builtins_xsb.c:665: warning: format not a string literal and no format arguments io_builtins_xsb.c:581: warning: ignoring return value of âfscanfâ, declared with attribute warn_unused_result io_builtins_xsb.c:668: warning: ignoring return value of âfscanfâ, declared with attribute warn_unused_result -e [gcc] loader_xsb.c using -O3 -fno-strict-aliasing -Wall -pipe loader_xsb.c: In function âget_index_tabâ: loader_xsb.c:256: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result loader_xsb.c:258: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result loader_xsb.c:263: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result loader_xsb.c:275: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result loader_xsb.c:301: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result loader_xsb.c:307: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result loader_xsb.c:318: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result loader_xsb.c: In function âload_textâ: loader_xsb.c:435: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result loader_xsb.c:440: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result loader_xsb.c:445: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result loader_xsb.c:451: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result loader_xsb.c:456: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result loader_xsb.c:460: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result loader_xsb.c:464: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result loader_xsb.c:468: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result loader_xsb.c:490: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result loader_xsb.c: In function âload_indexâ: loader_xsb.c:516: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result loader_xsb.c:517: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result loader_xsb.c:518: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result loader_xsb.c:520: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result loader_xsb.c: In function âget_obj_atomâ: loader_xsb.c:664: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result loader_xsb.c:669: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result loader_xsb.c:675: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result loader_xsb.c: In function âload_one_symâ: loader_xsb.c:690: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result loader_xsb.c:696: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result loader_xsb.c:697: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result loader_xsb.c:706: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result loader_xsb.c:707: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result loader_xsb.c: In function âloader1â: loader_xsb.c:902: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result loader_xsb.c:907: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result loader_xsb.c:914: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result loader_xsb.c:924: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result loader_xsb.c:925: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result loader_xsb.c:930: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result loader_xsb.c:932: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result loader_xsb.c:934: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result loader_xsb.c: In function âloader_foreignâ: loader_xsb.c:1048: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result loader_xsb.c:1053: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result loader_xsb.c:1058: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result -e [gcc] memory_xsb.c -e [gcc] orient_xsb.c orient_xsb.c: In function âxsb_executable_full_pathâ: orient_xsb.c:180: warning: ignoring return value of âgetcwdâ, declared with attribute warn_unused_result -e [gcc] pathname_xsb.c pathname_xsb.c: In function âexpand_filenameâ: pathname_xsb.c:214: warning: ignoring return value of âgetcwdâ, declared with attribute warn_unused_result pathname_xsb.c: In function âparse_filenameâ: pathname_xsb.c:475: warning: comparison with string literal results in unspecified behavior -e [gcc] psc_xsb.c -e [gcc] random_xsb.c -e [gcc] remove_unf.c -e [gcc] residual.c -e [gcc] rw_lock.c -e [gcc] scc_xsb.c -e [gcc] slgdelay.c -e [gcc] socket_xsb.c -e [gcc] string_xsb.c -e [gcc] storage_xsb.c -e [gcc] struct_manager.c -e [gcc] sub_delete.c -e [gcc] subp.c -e [gcc] system_xsb.c -e [gcc] table_stats.c -e [gcc] tables.c -e [gcc] thread_xsb.c -e [gcc] timer_xsb.c -e [gcc] token_xsb.c -e [gcc] tr_utils.c using -O3 -fno-strict-aliasing -Wall -pipe tr_utils.c: In function âtable_component_checkâ: tr_utils.c:4184: warning: format â%xâ expects type âunsigned intâ, but argument 3 has type âUIntegerâ -e [gcc] trace_xsb.c -e [gcc] trie_lookup.c -e [gcc] trie_search.c -e [gcc] tries.c -e [gcc] tst_insert.c -e [gcc] tst_retrv.c -e [gcc] tst_unify.c -e [gcc] tst_utils.c -e [gcc] varstring.c -e [gcc] ubi_BinTree.c -e [gcc] ubi_SplayTree.c -e [gcc] hashtable.c -e [gcc] hashtable_itr.c -e [gcc] incr_xsb.c -e [gcc] call_graph_xsb.c Making XSB executable /home/muka/mile/src-third-party/XSB/config/x86_64-unknown-linux-gnu/bin/xsb -e [gcc] -o /home/muka/mile/src-third-party/XSB/config/x86_64-unknown-linux-gnu/bin/xsb system_xsb.o: In function `sys_system': system_xsb.c:(.text+0x1957): warning: the use of `tmpnam' is dangerous, better use `mkstemp' make[1]: Leaving directory `/home/muka/mile/src-third-party/XSB/emu' make[1]: Entering directory `/home/muka/mile/src-third-party/XSB/gpp' -e [gcc] gpp.c using -e [gcc] -o gpp make[1]: Leaving directory `/home/muka/mile/src-third-party/XSB/gpp' |