From: Daniel P. <da...@ja...> - 2010-05-22 03:44:38
|
Subject: XSB installation log INSTALLATION SUMMARY -------------------- XSB Version: 3.1 Code name: Incognito Release date: 2007-08-10 Configuration: x86_64-unknown-linux-gnu Installation date: Fri May 21 20:29:09 PDT 2010 Build process is looking for XSB sources in: /home/daniel/flora2/XSB XSB should be installed in: /home/daniel/flora2/XSB Configuration-specific executables go in: /home/daniel/flora2/XSB/config/x86_64-unknown-linux-gnu/bin Configuration-specific libraries go in: /home/daniel/flora2/XSB/config/x86_64-unknown-linux-gnu/lib Object code goes in: /home/daniel/flora2/XSB/config/x86_64-unknown-linux-gnu/saved.o Site-specific code goes in: /home/daniel/flora2/XSB/site Site configuration-specific code goes in: /home/daniel/flora2/XSB/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: /usr/bin/javac make[1]: Entering directory `/home/daniel/flora2/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_term_of_subgoalâ: debug_xsb.c:519: warning: format â%dâ expects type âintâ, but argument 3 has type âlong intâ -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 emuloop.c: In function âemuloopâ: emuloop.c:458: warning: cast to pointer from integer of different size emuloop.c:2388: warning: cast from pointer to integer of different size -e [gcc] error_xsb.c -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 -e [gcc] loader_xsb.c using -O3 -fno-strict-aliasing -Wall -pipe -e [gcc] memory_xsb.c -e [gcc] orient_xsb.c -e [gcc] pathname_xsb.c pathname_xsb.c: In function âparse_filenameâ: pathname_xsb.c:474: warning: comparison with string literal results in unspecified behaviour -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:3786: warning: format â%dâ expects type âintâ, but argument 2 has type âlong unsigned intâ tr_utils.c:3786: warning: format â%dâ expects type âintâ, but argument 3 has type âlong unsigned intâ -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/daniel/flora2/XSB/config/x86_64-unknown-linux-gnu/bin/xsb -e [gcc] -o /home/daniel/flora2/XSB/config/x86_64-unknown-linux-gnu/bin/xsb system_xsb.o: In function `sys_system': system_xsb.c:(.text+0x129a): warning: the use of `tmpnam' is dangerous, better use `mkstemp' make[1]: Leaving directory `/home/daniel/flora2/XSB/emu' make[1]: Entering directory `/home/daniel/flora2/XSB/gpp' -e [gcc] gpp.c using -e [gcc] -o gpp make[1]: Leaving directory `/home/daniel/flora2/XSB/gpp' |