From: Daniel L. <lu...@cs...> - 2009-11-19 03:16:58
|
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: Wed Nov 18 21:00:08 CST 2009 Build process is looking for XSB sources in: /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB XSB should be installed in: /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB Configuration-specific executables go in: /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/bin Configuration-specific libraries go in: /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/lib Object code goes in: /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o Site-specific code goes in: /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/site Site configuration-specific code goes in: /afs/cs.wisc.edu/u/l/u/luchaup/try/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: yes Perl archlib: /s/perl-5.8.8/amd64_cent5/lib/5.8.8/x86_64-linux/CORE Perl C compiler: cc Perl C flags: -fno-strict-aliasing -pipe -Wdeclaration-after-statement -I/usr/local/include -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -I/usr/include/gdbm Perl loader flags: -lnsl -ldl -lm -lcrypt -lutil -lc Java compiler: /s/std/bin/javac make[1]: Entering directory `/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/emu' echo -e "\nCompiling XSB with gcc using -O3 -fno-strict-aliasing -Wall -pipe \n" Compiling XSB with gcc using -O3 -fno-strict-aliasing -Wall -pipe echo -e "\t[gcc] main_xsb.c" [gcc] main_xsb.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe main_xsb.c cp main_xsb.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] auxlry.c" [gcc] auxlry.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe auxlry.c cp auxlry.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] biassert.c" [gcc] biassert.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe biassert.c cp biassert.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] builtin.c using -O3 -fno-strict-aliasing -Wall -pipe " [gcc] builtin.c using -O3 -fno-strict-aliasing -Wall -pipe gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe builtin.c cp builtin.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] cinterf.c" [gcc] cinterf.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe cinterf.c cp cinterf.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] conc_compl.c" [gcc] conc_compl.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe conc_compl.c cp conc_compl.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] debug_xsb.c" [gcc] debug_xsb.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe 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â cp debug_xsb.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] dis.c" [gcc] dis.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe dis.c cp dis.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] dynload.c" [gcc] dynload.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe dynload.c cp dynload.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] dynamic_stack.c" [gcc] dynamic_stack.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe dynamic_stack.c cp dynamic_stack.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] deadlock.c" [gcc] deadlock.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe deadlock.c cp deadlock.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] emuloop.c using -O3 -fno-strict-aliasing -Wall -pipe " [gcc] emuloop.c using -O3 -fno-strict-aliasing -Wall -pipe gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe emuloop.c 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 cp emuloop.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] error_xsb.c" [gcc] error_xsb.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe error_xsb.c cp error_xsb.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] findall.c" [gcc] findall.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe findall.c cp findall.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] function.c" [gcc] function.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe function.c cp function.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] hash_xsb.c" [gcc] hash_xsb.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe hash_xsb.c cp hash_xsb.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] hashtable_xsb.c" [gcc] hashtable_xsb.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe hashtable_xsb.c cp hashtable_xsb.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] heap_xsb.c" [gcc] heap_xsb.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe heap_xsb.c cp heap_xsb.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] init_xsb.c" [gcc] init_xsb.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe init_xsb.c cp init_xsb.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] inst_xsb.c" [gcc] inst_xsb.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe inst_xsb.c cp inst_xsb.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] io_builtins_xsb.c" [gcc] io_builtins_xsb.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe io_builtins_xsb.c cp io_builtins_xsb.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] loader_xsb.c using -O3 -fno-strict-aliasing -Wall -pipe " [gcc] loader_xsb.c using -O3 -fno-strict-aliasing -Wall -pipe gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe loader_xsb.c cp loader_xsb.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] memory_xsb.c" [gcc] memory_xsb.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe memory_xsb.c cp memory_xsb.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] orient_xsb.c" [gcc] orient_xsb.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe orient_xsb.c cp orient_xsb.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] pathname_xsb.c" [gcc] pathname_xsb.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe pathname_xsb.c cp pathname_xsb.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] psc_xsb.c" [gcc] psc_xsb.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe psc_xsb.c cp psc_xsb.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] random_xsb.c" [gcc] random_xsb.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe random_xsb.c cp random_xsb.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] remove_unf.c" [gcc] remove_unf.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe remove_unf.c cp remove_unf.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] residual.c" [gcc] residual.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe residual.c cp residual.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] rw_lock.c" [gcc] rw_lock.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe rw_lock.c cp rw_lock.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] scc_xsb.c" [gcc] scc_xsb.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe scc_xsb.c cp scc_xsb.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] slgdelay.c" [gcc] slgdelay.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe slgdelay.c cp slgdelay.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] socket_xsb.c" [gcc] socket_xsb.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe socket_xsb.c cp socket_xsb.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] string_xsb.c" [gcc] string_xsb.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe string_xsb.c cp string_xsb.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] storage_xsb.c" [gcc] storage_xsb.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe storage_xsb.c cp storage_xsb.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] struct_manager.c" [gcc] struct_manager.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe struct_manager.c cp struct_manager.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] sub_delete.c" [gcc] sub_delete.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe sub_delete.c cp sub_delete.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] subp.c" [gcc] subp.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe subp.c cp subp.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] system_xsb.c" [gcc] system_xsb.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe system_xsb.c cp system_xsb.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] table_stats.c" [gcc] table_stats.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe table_stats.c cp table_stats.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] tables.c" [gcc] tables.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe tables.c cp tables.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] thread_xsb.c" [gcc] thread_xsb.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe thread_xsb.c cp thread_xsb.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] timer_xsb.c" [gcc] timer_xsb.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe timer_xsb.c cp timer_xsb.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] token_xsb.c" [gcc] token_xsb.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe token_xsb.c cp token_xsb.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] tr_utils.c using -O3 -fno-strict-aliasing -Wall -pipe " [gcc] tr_utils.c using -O3 -fno-strict-aliasing -Wall -pipe gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe tr_utils.c 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â cp tr_utils.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] trace_xsb.c" [gcc] trace_xsb.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe trace_xsb.c cp trace_xsb.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] trie_lookup.c" [gcc] trie_lookup.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe trie_lookup.c cp trie_lookup.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] trie_search.c" [gcc] trie_search.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe trie_search.c cp trie_search.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] tries.c" [gcc] tries.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe tries.c cp tries.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] tst_insert.c" [gcc] tst_insert.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe tst_insert.c cp tst_insert.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] tst_retrv.c" [gcc] tst_retrv.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe tst_retrv.c cp tst_retrv.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] tst_unify.c" [gcc] tst_unify.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe tst_unify.c cp tst_unify.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] tst_utils.c" [gcc] tst_utils.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe tst_utils.c cp tst_utils.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] varstring.c" [gcc] varstring.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe varstring.c cp varstring.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] ubi_BinTree.c" [gcc] ubi_BinTree.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe ubi_BinTree.c cp ubi_BinTree.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] ubi_SplayTree.c" [gcc] ubi_SplayTree.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe ubi_SplayTree.c cp ubi_SplayTree.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] hashtable.c" [gcc] hashtable.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe hashtable.c cp hashtable.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] hashtable_itr.c" [gcc] hashtable_itr.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe hashtable_itr.c cp hashtable_itr.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] incr_xsb.c" [gcc] incr_xsb.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe incr_xsb.c cp incr_xsb.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo -e "\t[gcc] call_graph_xsb.c" [gcc] call_graph_xsb.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe call_graph_xsb.c cp call_graph_xsb.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo ""; echo "Making XSB executable /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/bin/xsb "; echo "" Making XSB executable /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/bin/xsb echo -e "\t[gcc] -o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/bin/xsb" [gcc] -o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/bin/xsb cd /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/emu; \ gcc -o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/bin/xsb main_xsb.o auxlry.o biassert.o builtin.o cinterf.o conc_compl.o debug_xsb.o dis.o dynload.o dynamic_stack.o deadlock.o emuloop.o error_xsb.o findall.o function.o hash_xsb.o hashtable_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 psc_xsb.o random_xsb.o remove_unf.o residual.o rw_lock.o scc_xsb.o slgdelay.o socket_xsb.o string_xsb.o storage_xsb.o struct_manager.o sub_delete.o subp.o system_xsb.o table_stats.o tables.o thread_xsb.o timer_xsb.o token_xsb.o tr_utils.o trace_xsb.o trie_lookup.o trie_search.o tries.o tst_insert.o tst_retrv.o tst_unify.o tst_utils.o varstring.o ubi_BinTree.o ubi_SplayTree.o hashtable.o hashtable_itr.o incr_xsb.o call_graph_xsb.o -lm -ldl -Wl,-export-dynamic -lpthread system_xsb.o: In function `sys_system': system_xsb.c:(.text+0xed8): warning: the use of `tmpnam' is dangerous, better use `mkstemp' make[1]: Leaving directory `/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/emu' make[1]: Entering directory `/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/gpp' [gcc] gpp.c using [gcc] -o gpp make[1]: Leaving directory `/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/gpp' ----------------- Warnings ------------------------ While compiling XSB/cmplib: -------------------- End -------------------------- ----------------- Warnings ------------------------ While compiling XSB/lib: -------------------- End -------------------------- ----------------- Warnings ------------------------ While compiling XSB/syslib: -------------------- End -------------------------- make[1]: Entering directory `/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/emu' echo -e "\nCompiling XSB with gcc using -O3 -fno-strict-aliasing -Wall -pipe \n" Compiling XSB with gcc using -O3 -fno-strict-aliasing -Wall -pipe echo -e "\t[gcc] pathname_xsb.c" [gcc] pathname_xsb.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe pathname_xsb.c cp pathname_xsb.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo ""; echo "Making XSB executable /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/bin/xsb "; echo "" Making XSB executable /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/bin/xsb echo -e "\t[gcc] -o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/bin/xsb" [gcc] -o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/bin/xsb cd /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/emu; \ gcc -o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/bin/xsb main_xsb.o auxlry.o biassert.o builtin.o cinterf.o conc_compl.o debug_xsb.o dis.o dynload.o dynamic_stack.o deadlock.o emuloop.o error_xsb.o findall.o function.o hash_xsb.o hashtable_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 psc_xsb.o random_xsb.o remove_unf.o residual.o rw_lock.o scc_xsb.o slgdelay.o socket_xsb.o string_xsb.o storage_xsb.o struct_manager.o sub_delete.o subp.o system_xsb.o table_stats.o tables.o thread_xsb.o timer_xsb.o token_xsb.o tr_utils.o trace_xsb.o trie_lookup.o trie_search.o tries.o tst_insert.o tst_retrv.o tst_unify.o tst_utils.o varstring.o ubi_BinTree.o ubi_SplayTree.o hashtable.o hashtable_itr.o incr_xsb.o call_graph_xsb.o -lm -ldl -Wl,-export-dynamic -lpthread system_xsb.o: In function `sys_system': system_xsb.c:(.text+0xed8): warning: the use of `tmpnam' is dangerous, better use `mkstemp' make[1]: Leaving directory `/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/emu' make[1]: Entering directory `/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/gpp' [gcc] gpp.c using [gcc] -o gpp make[1]: Leaving directory `/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/gpp' ----------------- Warnings ------------------------ While compiling XSB/cmplib: -------------------- End -------------------------- ----------------- Warnings ------------------------ While compiling XSB/lib: -------------------- End -------------------------- ----------------- Warnings ------------------------ While compiling XSB/syslib: -------------------- End -------------------------- make[1]: Entering directory `/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/emu' echo -e "\nCompiling XSB with gcc using -O3 -fno-strict-aliasing -Wall -pipe \n" Compiling XSB with gcc using -O3 -fno-strict-aliasing -Wall -pipe echo -e "\t[gcc] pathname_xsb.c" [gcc] pathname_xsb.c gcc -I/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu -c -O3 -fno-strict-aliasing -Wall -pipe pathname_xsb.c cp pathname_xsb.o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/saved.o 2> /dev/null || echo "" echo ""; echo "Making XSB executable /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/bin/xsb "; echo "" Making XSB executable /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/bin/xsb echo -e "\t[gcc] -o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/bin/xsb" [gcc] -o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/bin/xsb cd /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/emu; \ gcc -o /afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/config/x86_64-unknown-linux-gnu/bin/xsb main_xsb.o auxlry.o biassert.o builtin.o cinterf.o conc_compl.o debug_xsb.o dis.o dynload.o dynamic_stack.o deadlock.o emuloop.o error_xsb.o findall.o function.o hash_xsb.o hashtable_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 psc_xsb.o random_xsb.o remove_unf.o residual.o rw_lock.o scc_xsb.o slgdelay.o socket_xsb.o string_xsb.o storage_xsb.o struct_manager.o sub_delete.o subp.o system_xsb.o table_stats.o tables.o thread_xsb.o timer_xsb.o token_xsb.o tr_utils.o trace_xsb.o trie_lookup.o trie_search.o tries.o tst_insert.o tst_retrv.o tst_unify.o tst_utils.o varstring.o ubi_BinTree.o ubi_SplayTree.o hashtable.o hashtable_itr.o incr_xsb.o call_graph_xsb.o -lm -ldl -Wl,-export-dynamic -lpthread system_xsb.o: In function `sys_system': system_xsb.c:(.text+0xed8): warning: the use of `tmpnam' is dangerous, better use `mkstemp' make[1]: Leaving directory `/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/emu' make[1]: Entering directory `/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/gpp' [gcc] gpp.c using [gcc] -o gpp make[1]: Leaving directory `/afs/cs.wisc.edu/u/l/u/luchaup/try/XSB/gpp' |