From: Andrew D. <dav...@cs...> - 2011-02-04 19:01:46
|
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 Feb 4 12:43:21 CST 2011 Build process is looking for XSB sources in: /u/d/a/davidson/private/tools/XSB XSB should be installed in: /u/d/a/davidson/private/tools/3.2 Configuration-specific executables go in: /u/d/a/davidson/private/tools/XSB/config/x86_64-unknown-linux-gnu/bin Configuration-specific libraries go in: /u/d/a/davidson/private/tools/XSB/config/x86_64-unknown-linux-gnu/lib Object code goes in: /u/d/a/davidson/private/tools/XSB/config/x86_64-unknown-linux-gnu/saved.o Site-specific code goes in: /u/d/a/davidson/private/tools/site Site configuration-specific code goes in: /u/d/a/davidson/private/tools/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/d/a/davidson/private/tools/XSB/emu' Compiling XSB with gcc using -O3 -fno-strict-aliasing -Wall -pipe [gcc] main_xsb.c [gcc] auxlry.c [gcc] biassert.c [gcc] builtin.c using -O3 -fno-strict-aliasing -Wall -pipe [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 [gcc] error_xsb.c [gcc] findall.c [gcc] function.c [gcc] hash_xsb.c [gcc] hashtable_xsb.c [gcc] heap_xsb.c [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 [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 [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 [gcc] tables.c [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 âtable_component_checkâ: tr_utils.c:4184: warning: format â%xâ expects type âunsigned intâ, but argument 3 has type âUIntegerâ [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 [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 /u/d/a/davidson/private/tools/XSB/config/x86_64-unknown-linux-gnu/bin/xsb [gcc] -o /u/d/a/davidson/private/tools/XSB/config/x86_64-unknown-linux-gnu/bin/xsb system_xsb.o: In function `sys_system': system_xsb.c:(.text+0xf48): warning: the use of `tmpnam' is dangerous, better use `mkstemp' make[1]: Leaving directory `/afs/cs.wisc.edu/u/d/a/davidson/private/tools/XSB/emu' make[1]: Entering directory `/afs/cs.wisc.edu/u/d/a/davidson/private/tools/XSB/gpp' [gcc] gpp.c using [gcc] -o gpp make[1]: Leaving directory `/afs/cs.wisc.edu/u/d/a/davidson/private/tools/XSB/gpp' |