From: <ng...@hu...> - 2012-04-18 13:31:09
|
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: Wed Apr 18 15:17:18 CEST 2012 Build process is looking for XSB sources in: /user/u4/nguyenp/ai3/e-Lico/XSB XSB should be installed in: /user/u4/nguyenp/ai3/e-Lico/XSB Configuration-specific executables go in: /user/u4/nguyenp/ai3/e-Lico/XSB/config/x86_64-unknown-linux-gnu/bin Configuration-specific libraries go in: /user/u4/nguyenp/ai3/e-Lico/XSB/config/x86_64-unknown-linux-gnu/lib Object code goes in: /user/u4/nguyenp/ai3/e-Lico/XSB/config/x86_64-unknown-linux-gnu/saved.o Site-specific code goes in: /user/u4/nguyenp/ai3/e-Lico/XSB/site Site configuration-specific code goes in: /user/u4/nguyenp/ai3/e-Lico/XSB/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: no Java compiler: /usr/bin/javac make[1]: Entering directory `/user/ai3/nguyenp/e-Lico/XSB/emu' -e Compiling XSB with gcc using -O3 -fno-strict-aliasing -Wall -pipe Making XSB executable /user/u4/nguyenp/ai3/e-Lico/XSB/config/x86_64-unknown-linux-gnu/bin/xsb -e [gcc] -o /user/u4/nguyenp/ai3/e-Lico/XSB/config/x86_64-unknown-linux-gnu/bin/xsb system_xsb.o: In function `sys_system': system_xsb.c:(.text+0x16e9): warning: the use of `tmpnam' is dangerous, better use `mkstemp' make[1]: Leaving directory `/user/ai3/nguyenp/e-Lico/XSB/emu' make[1]: Entering directory `/user/ai3/nguyenp/e-Lico/XSB/gpp' -e [gcc] -o gpp make[1]: Leaving directory `/user/ai3/nguyenp/e-Lico/XSB/gpp' |