From: CSE 4. C. A. <cs...@cs...> - 2011-10-18 14:23:57
|
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: Tue Oct 18 10:22:32 EDT 2011 Build process is looking for XSB sources in: /user/cse440/prolog/XSB XSB should be installed in: /user/cse440/prolog/XSB Configuration-specific executables go in: /user/cse440/prolog/XSB/config/x86_64-unknown-linux-gnu-bits64/bin Configuration-specific libraries go in: /user/cse440/prolog/XSB/config/x86_64-unknown-linux-gnu-bits64/lib Object code goes in: /user/cse440/prolog/XSB/config/x86_64-unknown-linux-gnu-bits64/saved.o Site-specific code goes in: /user/cse440/prolog/XSB/site Site configuration-specific code goes in: /user/cse440/prolog/XSB/site/config/x86_64-unknown-linux-gnu XSB will be built with: gcc -O3 -fno-strict-aliasing -m64 -Wall -pipe builtin.c will be built with: gcc -O3 -fno-strict-aliasing -m64 -Wall -pipe loader_xsb.c will be built with: gcc -O3 -fno-strict-aliasing -m64 -Wall -pipe emuloop.c will be built with: gcc -O3 -fno-strict-aliasing -m64 -Wall -pipe tr_utils.c will be built with: gcc -O3 -fno-strict-aliasing -m64 -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: /soft/linux/bin/javac make[1]: Entering directory `/user/cse440/prolog/XSB/emu' -e Compiling XSB with gcc -m64 using -O3 -fno-strict-aliasing -m64 -Wall -pipe -e [gcc -m64 ] main_xsb.c -e [gcc -m64 ] auxlry.c -e [gcc -m64 ] biassert.c -e [gcc -m64 ] builtin.c using -O3 -fno-strict-aliasing -m64 -Wall -pipe -e [gcc -m64 ] cinterf.c -e [gcc -m64 ] conc_compl.c -e [gcc -m64 ] 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 -m64 ] dis.c -e [gcc -m64 ] dynload.c -e [gcc -m64 ] dynamic_stack.c -e [gcc -m64 ] deadlock.c -e [gcc -m64 ] emuloop.c using -O3 -fno-strict-aliasing -m64 -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 -m64 ] error_xsb.c -e [gcc -m64 ] findall.c -e [gcc -m64 ] function.c -e [gcc -m64 ] hash_xsb.c -e [gcc -m64 ] hashtable_xsb.c -e [gcc -m64 ] heap_xsb.c -e [gcc -m64 ] init_xsb.c -e [gcc -m64 ] inst_xsb.c -e [gcc -m64 ] io_builtins_xsb.c -e [gcc -m64 ] loader_xsb.c using -O3 -fno-strict-aliasing -m64 -Wall -pipe -e [gcc -m64 ] memory_xsb.c -e [gcc -m64 ] orient_xsb.c -e [gcc -m64 ] pathname_xsb.c pathname_xsb.c: In function 'parse_filename': pathname_xsb.c:474: warning: comparison with string literal results in unspecified behavior -e [gcc -m64 ] psc_xsb.c -e [gcc -m64 ] random_xsb.c -e [gcc -m64 ] remove_unf.c -e [gcc -m64 ] residual.c -e [gcc -m64 ] rw_lock.c -e [gcc -m64 ] scc_xsb.c -e [gcc -m64 ] slgdelay.c -e [gcc -m64 ] socket_xsb.c -e [gcc -m64 ] string_xsb.c -e [gcc -m64 ] storage_xsb.c -e [gcc -m64 ] struct_manager.c -e [gcc -m64 ] sub_delete.c -e [gcc -m64 ] subp.c -e [gcc -m64 ] system_xsb.c -e [gcc -m64 ] table_stats.c -e [gcc -m64 ] tables.c -e [gcc -m64 ] thread_xsb.c -e [gcc -m64 ] timer_xsb.c -e [gcc -m64 ] token_xsb.c -e [gcc -m64 ] tr_utils.c using -O3 -fno-strict-aliasing -m64 -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 -m64 ] trace_xsb.c -e [gcc -m64 ] trie_lookup.c -e [gcc -m64 ] trie_search.c -e [gcc -m64 ] tries.c -e [gcc -m64 ] tst_insert.c -e [gcc -m64 ] tst_retrv.c -e [gcc -m64 ] tst_unify.c -e [gcc -m64 ] tst_utils.c -e [gcc -m64 ] varstring.c -e [gcc -m64 ] ubi_BinTree.c -e [gcc -m64 ] ubi_SplayTree.c -e [gcc -m64 ] hashtable.c -e [gcc -m64 ] hashtable_itr.c -e [gcc -m64 ] incr_xsb.c -e [gcc -m64 ] call_graph_xsb.c Making XSB executable /user/cse440/prolog/XSB/config/x86_64-unknown-linux-gnu-bits64/bin/xsb -e [gcc -m64 ] -o /user/cse440/prolog/XSB/config/x86_64-unknown-linux-gnu-bits64/bin/xsb system_xsb.o: In function `sys_system': system_xsb.c:(.text+0x167c): warning: the use of `tmpnam' is dangerous, better use `mkstemp' make[1]: Leaving directory `/user/cse440/prolog/XSB/emu' make[1]: Entering directory `/user/cse440/prolog/XSB/gpp' -e [gcc] gpp.c using -e [gcc] -o gpp make[1]: Leaving directory `/user/cse440/prolog/XSB/gpp' |