From: Saikat M. <sa...@cl...> - 2000-05-30 15:33:35
|
Subject: XSB installation log INSTALLATION SUMMARY -------------------- XSB Version: 2.2 Code name: Tsingtao Release date: 2000-04-20 Configuration: i586-pc-linux-gnu Installation date: Tue May 30 11:30:10 EDT 2000 Build process is looking for XSB sources in: /home/saikat/XSB XSB should be installed in: /home/saikat/XSB Configuration-specific executables go in: /home/saikat/XSB/config/i586-pc-linux-gnu/bin Configuration-specific libraries go in: /home/saikat/XSB/config/i586-pc-linux-gnu/lib Object code goes in: /home/saikat/XSB/config/i586-pc-linux-gnu/saved.o Site-specific code goes in: /home/saikat/XSB/site Site configuration-specific code goes in: /home/saikat/XSB/site/config/i586-pc-linux-gnu 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 -ldl -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/lib/perl5/5.00503/i386-linux/CORE Perl C compiler: cc Perl C flags: -Dbool=char -DHAS_BOOL -I/usr/local/include Perl loader flags: -lnsl -ldl -lm -lc -lposix -lcrypt Libwww support: no Java compiler: /usr/local/bin/javac make[1]: Entering directory `/home/saikat/XSB/emu' Making XSB executable /home/saikat/XSB/config/i586-pc-linux-gnu/bin/xsb cd /home/saikat/XSB/emu; \ gcc -o /home/saikat/XSB/config/i586-pc-linux-gnu/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 -ldl -Wl,-export-dynamic make[1]: Leaving directory `/home/saikat/XSB/emu' make[1]: Entering directory `/home/saikat/XSB/gpp' gcc -o gpp /home/saikat/XSB/config/i586-pc-linux-gnu/saved.o/gpp.o make[1]: Leaving directory `/home/saikat/XSB/gpp' make[1]: Entering directory `/home/saikat/XSB/packages/sModels' make[1]: Nothing to be done for `nope'. make[1]: Leaving directory `/home/saikat/XSB/packages/sModels' Configuring XSB packages. Wait... | ?- yes | ?- yes | ?- yes | ?- yes | ?- yes | ?- yes | ?- yes | ?- |