From: Ken-ichiro F. <ic...@im...> - 2000-10-25 14:07:28
|
Subject: XSB installation log INSTALLATION SUMMARY -------------------- XSB Version: 2.2 Code name: Tsingtao Release date: 2000-04-20 Configuration: i386-unknown-freebsd3.5 Installation date: Wed Oct 25 23:08:48 JST 2000 Build process is looking for XSB sources in: /export/home/ichiro/XSB XSB should be installed in: /export/home/ichiro/XSB Configuration-specific executables go in: /export/home/ichiro/XSB/config/i386-unknown-freebsd3.5/bin Configuration-specific libraries go in: /export/home/ichiro/XSB/config/i386-unknown-freebsd3.5/lib Object code goes in: /export/home/ichiro/XSB/config/i386-unknown-freebsd3.5/saved.o Site-specific code goes in: /export/home/ichiro/XSB/site Site configuration-specific code goes in: /export/home/ichiro/XSB/site/config/i386-unknown-freebsd3.5 XSB will be built with: gcc -O4 -fomit-frame-pointer -finline-functions -Winline -m486 -ansi -pedantic -Wall emuloop.c will be built with: gcc -O4 -fomit-frame-pointer -finline-functions -Winline -m486 -ansi -pedantic -Wall tr_utils.c will be built with: gcc -O1 -fomit-frame-pointer -finline-functions -Winline -m486 -ansi -pedantic -Wall Loader flags: -lm -Wl,-export-dynamic Compilation mode: optimal XSB abstract machine: chat XSB scheduling strategy: batched Garbage Collection Stress-Test: no POSIX regexp matching libraries: yes POSIX wildcard matching libraries: yes Perl support: yes Perl archlib: /usr/local/lib/perl5/5.00503/i386-freebsd/CORE Perl C compiler: cc Perl C flags: Perl loader flags: -lxpg4 -lm -lc -lcrypt Libwww support: no Java compiler: /usr/local/jdk1.1.8/bin/javac Making XSB executable /export/home/ichiro/XSB/config/i386-unknown-freebsd3.5/bin/xsb cd /export/home/ichiro/XSB/emu; gcc -o /export/home/ichiro/XSB/config/i386-unknown-freebsd3.5/bin/xsb main_xsb.o auxlry.o biassert.o builtin.o chat.o cinterf.o debug_xsb.o dis.o dynload.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 residual.o scc_xsb.o slgdelay.o socket_xsb.o string_xsb.o struct_manager.o sub_delete.o sub_insert.o subp.o system_xsb.o table_stats.o tables.o timer_xsb.o token_xsb.o tr_utils.o trace_xsb.o tries.o tst_insert.o tst_retrv.o tst_unify.o tst_utils.o varstring.o -lm -Wl,-export-dynamic gcc -o gpp /export/home/ichiro/XSB/config/i386-unknown-freebsd3.5/saved.o/gpp.o Configuring XSB packages. Wait... | ?- yes | ?- yes | ?- yes | ?- yes | ?- yes | ?- yes | ?- yes | ?- |