From: <sm...@gr...> - 2011-10-08 14:47:06
|
Subject: XSB installation log INSTALLATION SUMMARY -------------------- XSB Version: 3.1 Code name: Incognito Release date: 2007-08-10 Configuration: i686-pc-linux-gnu Installation date: Sat Oct 8 16:19:17 CEST 2011 Build process is looking for XSB sources in: /home/smaug/praca/elico/ida/XSB XSB should be installed in: /home/smaug/praca/elico/ida/bin/3.1 Configuration-specific executables go in: /home/smaug/praca/elico/ida/XSB/config/i686-pc-linux-gnu/bin Configuration-specific libraries go in: /home/smaug/praca/elico/ida/XSB/config/i686-pc-linux-gnu/lib Object code goes in: /home/smaug/praca/elico/ida/XSB/config/i686-pc-linux-gnu/saved.o Site-specific code goes in: /home/smaug/praca/elico/ida/bin/site Site configuration-specific code goes in: /home/smaug/praca/elico/ida/bin/site/config/i686-pc-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]: WejÅcie do katalogu `/home/smaug/praca/elico/ida/XSB/emu' Compiling XSB with gcc using -O3 -fno-strict-aliasing -Wall -pipe [gcc] main_xsb.c [gcc] auxlry.c [gcc] biassert.c biassert.c: In function âcheck_insert_global_delcf_clauseâ: biassert.c:2456:12: warning: variable âdcfâ set but not used [-Wunused-but-set-variable] [gcc] builtin.c using -O3 -fno-strict-aliasing -Wall -pipe In file included from builtin.c:1178:0: std_pred_xsb_i.h: In function ânot_occurs_inâ: std_pred_xsb_i.h:917:10: warning: variable âargâ set but not used [-Wunused-but-set-variable] make[1]: WejÅcie do katalogu `/home/smaug/praca/elico/ida/XSB/emu' Compiling XSB with gcc using -O3 -fno-strict-aliasing -Wall -pipe [gcc] builtin.c using -O3 -fno-strict-aliasing -Wall -pipe In file included from builtin.c:1178:0: std_pred_xsb_i.h: In function ânot_occurs_inâ: std_pred_xsb_i.h:917:10: warning: variable âargâ set but not used [-Wunused-but-set-variable] [gcc] cinterf.c [gcc] conc_compl.c [gcc] debug_xsb.c [gcc] dis.c [gcc] dynload.c [gcc] dynamic_stack.c [gcc] deadlock.c [gcc] emuloop.c using -O3 -fno-strict-aliasing -Wall -pipe In file included from emuloop.c:376:0: schedrev_xsb_i.h: In function âsched_answersâ: schedrev_xsb_i.h:70:9: warning: variable ânext_answerâ set but not used [-Wunused-but-set-variable] In file included from emuloop.c:1390:0: slginsts_xsb_i.h: In function âemuloopâ: slginsts_xsb_i.h:129:3: warning: variable âop1â set but not used [-Wunused-but-set-variable] slginsts_xsb_i.h:625:5: warning: variable âop3â set but not used [-Wunused-but-set-variable] slginsts_xsb_i.h:625:5: warning: variable âop1â set but not used [-Wunused-but-set-variable] slginsts_xsb_i.h:838:3: warning: variable âop1â set but not used [-Wunused-but-set-variable] emuloop.c:1776:5: warning: variable âop1â set but not used [-Wunused-but-set-variable] [gcc] error_xsb.c [gcc] findall.c findall.c: In function âfindall_copy_to_heapâ: findall.c:287:7: warning: variable âtr1â set but not used [-Wunused-but-set-variable] findall.c: In function âfindall_copy_template_to_chunkâ: findall.c:516:11: warning: variable âtr1â set but not used [-Wunused-but-set-variable] findall.c: In function âdo_copy_termâ: findall.c:881:9: warning: variable âtr1â set but not used [-Wunused-but-set-variable] [gcc] function.c [gcc] hash_xsb.c [gcc] hashtable_xsb.c [gcc] heap_xsb.c In file included from heap_xsb.c:370:0: gc_mark.h: In function âmark_hreg_from_choicepointsâ: gc_mark.h:746:11: warning: variable âbprevâ set but not used [-Wunused-but-set-variable] In file included from heap_xsb.c:373:0: gc_copy.h: In function âadapt_hfreg_from_choicepointsâ: gc_copy.h:180:11: warning: variable âbprevâ set but not used [-Wunused-but-set-variable] [gcc] init_xsb.c [gcc] inst_xsb.c [gcc] io_builtins_xsb.c [gcc] loader_xsb.c using -O3 -fno-strict-aliasing -Wall -pipe [gcc] memory_xsb.c [gcc] orient_xsb.c [gcc] pathname_xsb.c pathname_xsb.c: In function âparse_filenameâ: pathname_xsb.c:474:18: warning: comparison with string literal results in unspecified behavior [-Waddress] [gcc] psc_xsb.c [gcc] random_xsb.c [gcc] remove_unf.c [gcc] residual.c [gcc] rw_lock.c [gcc] scc_xsb.c [gcc] slgdelay.c [gcc] socket_xsb.c socket_xsb.c: In function âxsb_socket_requestâ: socket_xsb.c:782:9: warning: variable âconnectname_foundâ set but not used [-Wunused-but-set-variable] [gcc] string_xsb.c [gcc] storage_xsb.c [gcc] struct_manager.c [gcc] sub_delete.c [gcc] subp.c [gcc] system_xsb.c [gcc] table_stats.c table_stats.c: In function âprint_detailed_tablespace_statsâ: table_stats.c:261:23: warning: variable âtrieassert_usedâ set but not used [-Wunused-but-set-variable] [gcc] tables.c In file included from tables.c:55:0: sub_tables_xsb_i.h: In function âreconstruct_template_for_producerâ: sub_tables_xsb_i.h:82:3: warning: variable ârootâ set but not used [-Wunused-but-set-variable] [gcc] thread_xsb.c [gcc] timer_xsb.c [gcc] token_xsb.c [gcc] tr_utils.c using -O3 -fno-strict-aliasing -Wall -pipe tr_utils.c: In function âconstruct_answer_templateâ: tr_utils.c:280:3: warning: variable ârootâ set but not used [-Wunused-but-set-variable] [gcc] trace_xsb.c [gcc] trie_lookup.c [gcc] trie_search.c [gcc] tries.c [gcc] tst_insert.c [gcc] tst_retrv.c [gcc] tst_unify.c tst_unify.c: In function âconsume_subsumptive_answerâ: tst_unify.c:424:3: warning: variable ârootâ set but not used [-Wunused-but-set-variable] [gcc] tst_utils.c [gcc] varstring.c [gcc] ubi_BinTree.c [gcc] ubi_SplayTree.c [gcc] hashtable.c [gcc] hashtable_itr.c [gcc] incr_xsb.c [gcc] call_graph_xsb.c Making XSB executable /home/smaug/praca/elico/ida/XSB/config/i686-pc-linux-gnu/bin/xsb [gcc] -o /home/smaug/praca/elico/ida/XSB/config/i686-pc-linux-gnu/bin/xsb make[1]: Opuszczenie katalogu `/home/smaug/praca/elico/ida/XSB/emu' make[1]: WejÅcie do katalogu `/home/smaug/praca/elico/ida/XSB/gpp' [gcc] gpp.c using [gcc] -o gpp make[1]: Opuszczenie katalogu `/home/smaug/praca/elico/ida/XSB/gpp' |