From: Peng Wu <wu...@li...> - 2006-02-15 18:09:21
|
Subject: XSB installation log INSTALLATION SUMMARY -------------------- XSB Version: 2.7.1 Code name: Kinryo Release date: 2005-03-05 Configuration: i686-pc-linux-gnu Installation date: Wed Feb 15 19:08:29 CET 2006 Build process is looking for XSB sources in: /users/comete/wu/incoming/XSB XSB should be installed in: ~/local/XSB/2.7.1 Configuration-specific executables go in: /users/comete/wu/incoming/XSB/config/i686-pc-linux-gnu/bin Configuration-specific libraries go in: /users/comete/wu/incoming/XSB/config/i686-pc-linux-gnu/lib Object code goes in: /users/comete/wu/incoming/XSB/config/i686-pc-linux-gnu/saved.o Site-specific code goes in: ~/local/XSB/site Site configuration-specific code goes in: ~/local/XSB/site/config/i686-pc-linux-gnu XSB will be built with: gcc -O4 -fomit-frame-pointer -finline-functions -Wall builtin.c will be built with: gcc -O4 -fomit-frame-pointer -finline-functions -Wall loader_xsb.c will be built with: gcc -O2 -fomit-frame-pointer -finline-functions -Wall emuloop.c will be built with: gcc -O4 -fomit-frame-pointer -finline-functions -Wall tr_utils.c will be built with: gcc -O1 -fomit-frame-pointer -finline-functions -Wall 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: /usr/lib/perl5/5.8.6/i386-linux-thread-multi/CORE Perl C compiler: gcc Perl C flags: -D_REENTRANT -D_GNU_SOURCE -DDEBUGGING -fno-strict-aliasing -pipe -I/usr/local/include -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -I/usr/include/gdbm Perl loader flags: -lresolv -lnsl -lgdbm -ldb -ldl -lm -lcrypt -lutil -lpthread -lc Java compiler: javac make[1]: Entering directory `/users/comete/wu/incoming/XSB/emu' gcc -I/users/comete/wu/incoming/XSB/config/i686-pc-linux-gnu -c -O4 -fomit-frame-pointer -finline-functions -Wall dynload.c gcc -I/users/comete/wu/incoming/XSB/config/i686-pc-linux-gnu -c -O4 -fomit-frame-pointer -finline-functions -Wall init_xsb.c gcc -I/users/comete/wu/incoming/XSB/config/i686-pc-linux-gnu -c -O2 -fomit-frame-pointer -finline-functions -Wall loader_xsb.c loader_xsb.c: In function 'get_index_tab': loader_xsb.c:236: warning: dereferencing type-punned pointer will break strict-aliasing rules loader_xsb.c:241: warning: dereferencing type-punned pointer will break strict-aliasing rules loader_xsb.c:248: warning: dereferencing type-punned pointer will break strict-aliasing rules loader_xsb.c:248: warning: dereferencing type-punned pointer will break strict-aliasing rules loader_xsb.c:248: warning: dereferencing type-punned pointer will break strict-aliasing rules loader_xsb.c: In function 'load_index': loader_xsb.c:443: warning: dereferencing type-punned pointer will break strict-aliasing rules loader_xsb.c:445: warning: dereferencing type-punned pointer will break strict-aliasing rules loader_xsb.c: In function 'get_obj_atom': loader_xsb.c:583: warning: dereferencing type-punned pointer will break strict-aliasing rules loader_xsb.c: In function 'loader1': loader_xsb.c:736: warning: dereferencing type-punned pointer will break strict-aliasing rules loader_xsb.c:738: warning: dereferencing type-punned pointer will break strict-aliasing rules loader_xsb.c: In function 'loader': loader_xsb.c:213: warning: 'val' may be used uninitialized in this function gcc -I/users/comete/wu/incoming/XSB/config/i686-pc-linux-gnu -c -O4 -fomit-frame-pointer -finline-functions -Wall orient_xsb.c gcc -I/users/comete/wu/incoming/XSB/config/i686-pc-linux-gnu -c -O4 -fomit-frame-pointer -finline-functions -Wall pathname_xsb.c Making XSB executable /users/comete/wu/incoming/XSB/config/i686-pc-linux-gnu/bin/xsb cd /users/comete/wu/incoming/XSB/emu; \ gcc -o /users/comete/wu/incoming/XSB/config/i686-pc-linux-gnu/bin/xsb main_xsb.o auxlry.o biassert.o builtin.o cinterf.o debug_xsb.o dis.o dynload.o dynamic_stack.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 private_builtin.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 -lm -ldl -Wl,-export-dynamic -lpthread system_xsb.o(.text+0x12e2): In function `sys_system': system_xsb.c: warning: the use of `tmpnam' is dangerous, better use `mkstemp' make[1]: Leaving directory `/users/comete/wu/incoming/XSB/emu' make[1]: Entering directory `/users/comete/wu/incoming/XSB/gpp' gcc -lm -ldl -Wl,-export-dynamic -lpthread -o gpp /users/comete/wu/incoming/XSB/config/i686-pc-linux-gnu/saved.o/gpp.o make[1]: Leaving directory `/users/comete/wu/incoming/XSB/gpp' |