From: Qiang H. <qh...@cs...> - 2003-04-02 19:02:02
|
INSTALLATION SUMMARY -------------------- XSB Version: 2.5 Code name: Okocim Release date: 2002-03-11 Configuration: sparc-sun-solaris2.8 Installation date: Wednesday April 2 19:55:41 BST 2003 Build process is looking for XSB sources in: /home/staff/qhuo/rdf2java/XSB XSB should be installed in: /home/staff/qhuo/rdf2java/XSB Configuration-specific executables go in: /home/staff/qhuo/rdf2java/XSB/config/sparc-sun-solaris2.8/bin Configuration-specific libraries go in: /home/staff/qhuo/rdf2java/XSB/config/sparc-sun-solaris2.8/lib Object code goes in: /home/staff/qhuo/rdf2java/XSB/config/sparc-sun-solaris2.8/saved.o Site-specific code goes in: /home/staff/qhuo/rdf2java/XSB/site Site configuration-specific code goes in: /home/staff/qhuo/rdf2java/XSB/site/config/sparc-sun-solaris2.8 XSB will be built with: gcc -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -Wall builtin.c will be built with: gcc -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -Wall emuloop.c will be built with: gcc -O4 -fomit-frame-pointer -finline-functions -Winline -msupersparc -Wall tr_utils.c will be built with: gcc -O1 -fomit-frame-pointer -finline-functions -Winline -msupersparc -Wall Loader flags: -lsocket -lm -lnsl -ldl -Wl,-export-dynamic Compilation mode: optimal XSB abstract machine: slg-wam XSB scheduling strategy: local Garbage Collection Stress-Test: no Jumptable-based emulator loop: yes POSIX regexp matching libraries: yes POSIX wildcard matching libraries: yes Perl support: yes Perl archlib: /opt/perl/lib/5.6.1/sun4-solaris/CORE Perl C compiler: cc Perl C flags: -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 Perl loader flags: -lsocket -lnsl -ldl -lm -lc Java compiler: /usr/bin/javac Making XSB executable /home/staff/qhuo/rdf2java/XSB/config/sparc-sun-solaris2.8/bin/xsb cd /home/staff/qhuo/rdf2java/XSB/emu; \ gcc -o /home/staff/qhuo/rdf2java/XSB/config/sparc-sun-solaris2.8/bin/xsb main_xsb.o auxlry.o biassert.o builtin.o chat.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 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 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 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 -lsocket -lm -lnsl -ldl -Wl,-export-dynamic gcc -lsocket -lm -lnsl -ldl -Wl,-export-dynamic -o gpp /home/staff/qhuo/rdf2java/XSB/config/sparc-sun-solaris2.8/saved.o/gpp.o echo Done Done Configuring XSB packages. Wait... | ?- yes | ?- yes | ?- yes | ?- yes | ?- |