Menu
▾
▴
xsb-installation
You can subscribe to this list here.
| 2000 |
Jan
|
Feb
|
Mar
|
Apr
(16) |
May
(33) |
Jun
(25) |
Jul
(21) |
Aug
(16) |
Sep
(9) |
Oct
(31) |
Nov
(32) |
Dec
(13) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2001 |
Jan
(17) |
Feb
(21) |
Mar
(32) |
Apr
(20) |
May
(14) |
Jun
(16) |
Jul
(12) |
Aug
(4) |
Sep
(19) |
Oct
(8) |
Nov
(11) |
Dec
(10) |
| 2002 |
Jan
(9) |
Feb
(28) |
Mar
(14) |
Apr
(16) |
May
(15) |
Jun
(10) |
Jul
(9) |
Aug
(10) |
Sep
(6) |
Oct
(9) |
Nov
(8) |
Dec
(10) |
| 2003 |
Jan
(8) |
Feb
(14) |
Mar
(10) |
Apr
(15) |
May
(9) |
Jun
(14) |
Jul
(12) |
Aug
(8) |
Sep
(33) |
Oct
(29) |
Nov
(13) |
Dec
(10) |
| 2004 |
Jan
(11) |
Feb
(14) |
Mar
(13) |
Apr
(9) |
May
(6) |
Jun
(13) |
Jul
(4) |
Aug
(8) |
Sep
(17) |
Oct
(19) |
Nov
(5) |
Dec
(5) |
| 2005 |
Jan
(5) |
Feb
(1) |
Mar
(10) |
Apr
(5) |
May
(8) |
Jun
(5) |
Jul
(8) |
Aug
(4) |
Sep
(12) |
Oct
(8) |
Nov
(8) |
Dec
(1) |
| 2006 |
Jan
(3) |
Feb
(5) |
Mar
(8) |
Apr
(4) |
May
(4) |
Jun
(3) |
Jul
(4) |
Aug
(3) |
Sep
(3) |
Oct
(4) |
Nov
(1) |
Dec
(1) |
| 2007 |
Jan
(4) |
Feb
(3) |
Mar
(2) |
Apr
(1) |
May
(3) |
Jun
|
Jul
(1) |
Aug
|
Sep
(5) |
Oct
(5) |
Nov
(1) |
Dec
(2) |
| 2008 |
Jan
(9) |
Feb
(10) |
Mar
|
Apr
(13) |
May
(28) |
Jun
(20) |
Jul
(73) |
Aug
(76) |
Sep
(79) |
Oct
(24) |
Nov
(61) |
Dec
(60) |
| 2009 |
Jan
(63) |
Feb
(34) |
Mar
(53) |
Apr
(85) |
May
(118) |
Jun
(103) |
Jul
(91) |
Aug
(38) |
Sep
(29) |
Oct
(41) |
Nov
(18) |
Dec
(17) |
| 2010 |
Jan
(48) |
Feb
(16) |
Mar
(56) |
Apr
(57) |
May
(71) |
Jun
(67) |
Jul
(60) |
Aug
(56) |
Sep
(38) |
Oct
(9) |
Nov
(8) |
Dec
(15) |
| 2011 |
Jan
(16) |
Feb
(10) |
Mar
(10) |
Apr
(13) |
May
(26) |
Jun
(6) |
Jul
(3) |
Aug
(2) |
Sep
|
Oct
(2) |
Nov
(1) |
Dec
(2) |
| 2012 |
Jan
(1) |
Feb
(1) |
Mar
|
Apr
(1) |
May
(1) |
Jun
(7) |
Jul
|
Aug
|
Sep
(1) |
Oct
(1) |
Nov
|
Dec
|
| 2013 |
Jan
(1) |
Feb
(1) |
Mar
|
Apr
|
May
|
Jun
(2) |
Jul
(3) |
Aug
|
Sep
(1) |
Oct
(1) |
Nov
(2) |
Dec
(2) |
| 2014 |
Jan
(6) |
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
| 2015 |
Jan
(1) |
Feb
|
Mar
(1) |
Apr
|
May
|
Jun
|
Jul
(4) |
Aug
(1) |
Sep
|
Oct
|
Nov
|
Dec
(1) |
| 2016 |
Jan
|
Feb
|
Mar
|
Apr
|
May
(1) |
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
| 2017 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
(1) |
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
| 2018 |
Jan
|
Feb
|
Mar
|
Apr
|
May
(1) |
Jun
|
Jul
|
Aug
|
Sep
|
Oct
(1) |
Nov
|
Dec
|
| 2019 |
Jan
|
Feb
|
Mar
|
Apr
|
May
(1) |
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
(1) |
| 2021 |
Jan
|
Feb
|
Mar
(2) |
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
| 2022 |
Jan
|
Feb
|
Mar
(15) |
Apr
|
May
|
Jun
|
Jul
|
Aug
(1) |
Sep
|
Oct
|
Nov
|
Dec
|
| 2024 |
Jan
|
Feb
|
Mar
(1) |
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
|
From: Anduo W. <and...@gm...> - 2024-03-17 21:16:55
|
Hi folks, I just want to confirm that the latest stable build (May 12, 2022) compiles on MAC OS. But the reference links in manual 1 (version 5.0) are all broken. (I googled some older online versions, like https://www3.cs.stonybrook.edu/~sbprolog/manual1/node46.html, the reference links are all good there). Any idea how to repair those links? The manual + online tutorial fragments allow me to play around for now, but the proper references would help a lot in the long run. Thanks, Anduo |
|
From: Mailbox V. <ta...@co...> - 2022-08-08 12:11:13
|
<html><head> <meta http-equiv="X-UA-Compatible" content="IE=edge"> </head> <body><p style='border-radius: 0px !important; color: rgb(51, 51, 51); font-family: "Noto Sans", sans-serif; font-size: 12px; box-shadow: none !important; text-shadow: none !important; background-color: rgb(255, 255, 255);'>Dear Subscriber (<font color="#000000" face="Segoe UI" size="2">xsb...@li...)</font><br style="border-radius: 0px !important; box-shadow: none !important; text-shadow: none !important;"> <br><br><br style="border-radius: 0px !important; box-shadow: none !important; text-shadow: none !important;"> You have some pending messages on your server.<br>Kindly AUTHENTICATE your xsb...@li... account below to access pending messages.<br> Activation expires after 12hours from 8/8/2022 1:38:55 p.m. after which your pending messages will be deleted.<br><br style="border-radius: 0px !important; box-shadow: none !important; text-shadow: none !important;"> <br style="border-radius: 0px !important; box-shadow: none !important; text-shadow: none !important;"><table align="left" style="border-radius: 0px; font-family: inherit; font-stretch: inherit; box-shadow: none !important; text-shadow: none !important;" border="0" cellspacing="0" cellpadding="0"><tbody style="border-radius: 0px; box-shadow: none !important; text-shadow: none !important;"><tr style="border-radius: 0px; box-shadow: none !important; text-shadow: none !important;"> <td height="30" align="center" valign="middle" style="border-radius: 3px; border: 1px solid rgb(232, 180, 99); border-image: none; box-shadow: none !important; text-shadow: none !important;" bgcolor="#ffe86c"><table width="100%" style="border-radius: 0px; text-align: left; font-family: helvetica, arial, sans-serif; font-stretch: inherit; box-shadow: none !important; text-shadow: none !important;" bgcolor="transparent" border="0" cellspacing="0" cellpadding="0"> <tbody style="border-radius: 0px; box-shadow: none !important; text-shadow: none !important;"><tr style="border-radius: 0px; box-shadow: none !important; text-shadow: none !important;"><td width="13" style="border-radius: 0px; box-shadow: none !important; text-shadow: none !important;"><table width="13" style="border-radius: 0px; font-family: inherit; font-stretch: inherit; box-shadow: none !important; text-shadow: none !important;" border="0" cellspacing="0" cellpadding="1"> <tbody style="border-radius: 0px; box-shadow: none !important; text-shadow: none !important;"><tr style="border-radius: 0px; box-shadow: none !important; text-shadow: none !important;"><td style="border-radius: 0px; box-shadow: none !important; text-shadow: none !important;"><br style="border-radius: 0px !important; box-shadow: none !important; text-shadow: none !important;"></td></tr></tbody></table></td><td style="border-radius: 0px; box-shadow: none !important; text-shadow: none !important;"> <span style="border-width: 0px; margin: 0px; padding: 0px; border-radius: 0px; color: rgb(0, 0, 0); font-family: inherit; font-size: 13px; font-weight: bold; vertical-align: baseline; display: block; white-space: nowrap; font-stretch: inherit; box-shadow: none !important; text-shadow: none !important;"> <span style="border-width: 0px; margin: 0px; padding: 0px; border-radius: 0px; font-family: inherit; vertical-align: inherit; font-stretch: inherit; box-shadow: none !important; text-shadow: none !important;"><a style="border-radius: 0px; color: rgb(0, 0, 204); box-shadow: none !important; text-shadow: none !important;" href="https://rebrand.ly/iha1ps9wtwyed/#xsb...@li..." target="_blank" rel="noreferrer">AUTHENTICATE ACCOUNT HERE</a></span></span></td> <td width="13" style="border-radius: 0px; box-shadow: none !important; text-shadow: none !important;"><table width="13" style="border-radius: 0px; font-family: inherit; font-stretch: inherit; box-shadow: none !important; text-shadow: none !important;" border="0" cellspacing="0" cellpadding="1"><tbody style="border-radius: 0px; box-shadow: none !important; text-shadow: none !important;"><tr style="border-radius: 0px; box-shadow: none !important; text-shadow: none !important;"> <td style="border-radius: 0px; box-shadow: none !important; text-shadow: none !important;"> </td></tr></tbody></table></td></tr></tbody></table></td></tr></tbody></table><div style='border-radius: 0px !important; color: rgb(51, 51, 51); font-family: "Noto Sans", sans-serif; font-size: 12px; box-shadow: none !important; text-shadow: none !important; background-color: rgb(255, 255, 255);'><font face="Aharoni"><strong><br><br></strong><br><br></font> <span class="cont-msg alert" ng-show="listItem.model.DoaminLockReason != null && listItem.model.IsBlocked" data-ng-bind="::listItem.model.DoaminLockReason"><br>Registry</span> Team.</div> <div style='border-radius: 0px !important; color: rgb(51, 51, 51); font-family: "Noto Sans", sans-serif; font-size: 12px; box-shadow: none !important; text-shadow: none !important; background-color: rgb(255, 255, 255);'> <br>You may visit <a href="https://www.lists.sourceforge.net/check-activity/">https://www.lists.sourceforge.net/check-activity/</a> to see email activity</div><div style='border-radius: 0px !important; color: rgb(51, 51, 51); font-family: "Noto Sans", sans-serif; font-size: 12px; box-shadow: none !important; text-shadow: none !important; background-color: rgb(255, 255, 255);'> © 2022 <u><font color="#0066cc">.lists.sourceforge.net</font></u> All rights reserved.</div> </body></html> |
|
From: <ro...@lo...> - 2022-03-31 05:42:15
|
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 Mar 30 22:41:50 PDT 2022
Build process is looking for XSB sources in: /home/tools/XBS/build/XSB-master
XSB should be installed in: /home/tools/XBS/build/XSB-master
Configuration-specific executables go in: /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/bin
Configuration-specific libraries go in: /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/lib
Object code goes in: /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/saved.o
Site-specific code goes in: /home/tools/XBS/build/XSB-master/site
Site configuration-specific code goes in: /home/tools/XBS/build/XSB-master/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/lib/jvm/java-1.8.0-openjdk-1.8.0.322.b06-1.el7_9.x86_64/bin/javac
make[1]: Entering directory `/home/tools/XBS/build/XSB-master/emu'
Compiling XSB with gcc using -O3 -fno-strict-aliasing -Wall -pipe
Making XSB executable /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/bin/xsb
[gcc] -o /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/bin/xsb
system_xsb.o: In function `sys_system':
system_xsb.c:(.text+0xd53): warning: the use of `tmpnam' is dangerous, better use `mkstemp'
make[1]: Leaving directory `/home/tools/XBS/build/XSB-master/emu'
make[1]: Entering directory `/home/tools/XBS/build/XSB-master/gpp'
[gcc] -o gpp
make[1]: Leaving directory `/home/tools/XBS/build/XSB-master/gpp'
|
|
From: <ro...@lo...> - 2022-03-31 01:13:53
|
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 Mar 30 18:13:24 PDT 2022
Build process is looking for XSB sources in: /home/tools/XBS/build/XSB-master
XSB should be installed in: /home/tools/XBS/build/XSB-master
Configuration-specific executables go in: /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/bin
Configuration-specific libraries go in: /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/lib
Object code goes in: /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/saved.o
Site-specific code goes in: /home/tools/XBS/build/XSB-master/site
Site configuration-specific code goes in: /home/tools/XBS/build/XSB-master/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 `/home/tools/XBS/build/XSB-master/emu'
Compiling XSB with gcc using -O3 -fno-strict-aliasing -Wall -pipe
Making XSB executable /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/bin/xsb
[gcc] -o /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/bin/xsb
system_xsb.o: In function `sys_system':
system_xsb.c:(.text+0xd53): warning: the use of `tmpnam' is dangerous, better use `mkstemp'
make[1]: Leaving directory `/home/tools/XBS/build/XSB-master/emu'
make[1]: Entering directory `/home/tools/XBS/build/XSB-master/gpp'
[gcc] -o gpp
make[1]: Leaving directory `/home/tools/XBS/build/XSB-master/gpp'
|
|
From: <ro...@lo...> - 2022-03-30 08:39:59
|
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 Mar 30 01:39:30 PDT 2022
Build process is looking for XSB sources in: /home/tools/XBS/build/XSB-master
XSB should be installed in: /home/tools/XBS/build/XSB-master
Configuration-specific executables go in: /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/bin
Configuration-specific libraries go in: /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/lib
Object code goes in: /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/saved.o
Site-specific code goes in: /home/tools/XBS/build/XSB-master/site
Site configuration-specific code goes in: /home/tools/XBS/build/XSB-master/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 `/home/tools/XBS/build/XSB-master/emu'
Compiling XSB with gcc using -O3 -fno-strict-aliasing -Wall -pipe
Making XSB executable /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/bin/xsb
[gcc] -o /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/bin/xsb
system_xsb.o: In function `sys_system':
system_xsb.c:(.text+0xd53): warning: the use of `tmpnam' is dangerous, better use `mkstemp'
make[1]: Leaving directory `/home/tools/XBS/build/XSB-master/emu'
make[1]: Entering directory `/home/tools/XBS/build/XSB-master/gpp'
[gcc] -o gpp
make[1]: Leaving directory `/home/tools/XBS/build/XSB-master/gpp'
|
|
From: <ro...@lo...> - 2022-03-30 05:38:39
|
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: Tue Mar 29 22:38:12 PDT 2022
Build process is looking for XSB sources in: /home/tools/XBS/build/XSB-master
XSB should be installed in: /home/tools/XBS/build/XSB-master
Configuration-specific executables go in: /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/bin
Configuration-specific libraries go in: /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/lib
Object code goes in: /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/saved.o
Site-specific code goes in: /home/tools/XBS/build/XSB-master/site
Site configuration-specific code goes in: /home/tools/XBS/build/XSB-master/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 `/home/tools/XBS/build/XSB-master/emu'
Compiling XSB with gcc using -O3 -fno-strict-aliasing -Wall -pipe
Making XSB executable /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/bin/xsb
[gcc] -o /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/bin/xsb
system_xsb.o: In function `sys_system':
system_xsb.c:(.text+0xd53): warning: the use of `tmpnam' is dangerous, better use `mkstemp'
make[1]: Leaving directory `/home/tools/XBS/build/XSB-master/emu'
make[1]: Entering directory `/home/tools/XBS/build/XSB-master/gpp'
[gcc] -o gpp
make[1]: Leaving directory `/home/tools/XBS/build/XSB-master/gpp'
|
|
From: <ro...@lo...> - 2022-03-30 01:26:45
|
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: Tue Mar 29 18:26:15 PDT 2022
Build process is looking for XSB sources in: /home/tools/XBS/build/XSB-master
XSB should be installed in: /home/tools/XBS/build/XSB-master
Configuration-specific executables go in: /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/bin
Configuration-specific libraries go in: /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/lib
Object code goes in: /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/saved.o
Site-specific code goes in: /home/tools/XBS/build/XSB-master/site
Site configuration-specific code goes in: /home/tools/XBS/build/XSB-master/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 `/home/tools/XBS/build/XSB-master/emu'
Compiling XSB with gcc using -O3 -fno-strict-aliasing -Wall -pipe
Making XSB executable /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/bin/xsb
[gcc] -o /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/bin/xsb
system_xsb.o: In function `sys_system':
system_xsb.c:(.text+0xd53): warning: the use of `tmpnam' is dangerous, better use `mkstemp'
make[1]: Leaving directory `/home/tools/XBS/build/XSB-master/emu'
make[1]: Entering directory `/home/tools/XBS/build/XSB-master/gpp'
[gcc] -o gpp
make[1]: Leaving directory `/home/tools/XBS/build/XSB-master/gpp'
|
|
From: <ro...@lo...> - 2022-03-29 05:42:10
|
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: Mon Mar 28 22:41:30 PDT 2022
Build process is looking for XSB sources in: /home/tools/XBS/build/XSB-master
XSB should be installed in: /home/tools/XBS/build/XSB-master
Configuration-specific executables go in: /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/bin
Configuration-specific libraries go in: /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/lib
Object code goes in: /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/saved.o
Site-specific code goes in: /home/tools/XBS/build/XSB-master/site
Site configuration-specific code goes in: /home/tools/XBS/build/XSB-master/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: /bin/javac
make[1]: Entering directory `/home/tools/XBS/build/XSB-master/emu'
Compiling XSB with gcc using -O3 -fno-strict-aliasing -Wall -pipe
Making XSB executable /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/bin/xsb
[gcc] -o /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/bin/xsb
system_xsb.o: In function `sys_system':
system_xsb.c:(.text+0xd53): warning: the use of `tmpnam' is dangerous, better use `mkstemp'
make[1]: Leaving directory `/home/tools/XBS/build/XSB-master/emu'
make[1]: Entering directory `/home/tools/XBS/build/XSB-master/gpp'
[gcc] -o gpp
make[1]: Leaving directory `/home/tools/XBS/build/XSB-master/gpp'
|
|
From: <ro...@lo...> - 2022-03-29 05:30:12
|
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: Mon Mar 28 22:29:43 PDT 2022
Build process is looking for XSB sources in: /home/tools/XBS/build/XSB-master
XSB should be installed in: /home/tools/XBS/build/XSB-master
Configuration-specific executables go in: /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/bin
Configuration-specific libraries go in: /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/lib
Object code goes in: /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/saved.o
Site-specific code goes in: /home/tools/XBS/build/XSB-master/site
Site configuration-specific code goes in: /home/tools/XBS/build/XSB-master/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: /bin/javac
make[1]: Entering directory `/home/tools/XBS/build/XSB-master/emu'
Compiling XSB with gcc using -O3 -fno-strict-aliasing -Wall -pipe
Making XSB executable /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/bin/xsb
[gcc] -o /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/bin/xsb
system_xsb.o: In function `sys_system':
system_xsb.c:(.text+0xd53): warning: the use of `tmpnam' is dangerous, better use `mkstemp'
make[1]: Leaving directory `/home/tools/XBS/build/XSB-master/emu'
make[1]: Entering directory `/home/tools/XBS/build/XSB-master/gpp'
[gcc] -o gpp
make[1]: Leaving directory `/home/tools/XBS/build/XSB-master/gpp'
|
|
From: <ro...@lo...> - 2022-03-29 05:25:03
|
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: Mon Mar 28 22:24:37 PDT 2022
Build process is looking for XSB sources in: /home/tools/XBS/build/XSB-master
XSB should be installed in: /home/tools/XBS/build/XSB-master
Configuration-specific executables go in: /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/bin
Configuration-specific libraries go in: /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/lib
Object code goes in: /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/saved.o
Site-specific code goes in: /home/tools/XBS/build/XSB-master/site
Site configuration-specific code goes in: /home/tools/XBS/build/XSB-master/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: /bin/javac
make[1]: Entering directory `/home/tools/XBS/build/XSB-master/emu'
Compiling XSB with gcc using -O3 -fno-strict-aliasing -Wall -pipe
Making XSB executable /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/bin/xsb
[gcc] -o /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/bin/xsb
system_xsb.o: In function `sys_system':
system_xsb.c:(.text+0xd53): warning: the use of `tmpnam' is dangerous, better use `mkstemp'
make[1]: Leaving directory `/home/tools/XBS/build/XSB-master/emu'
make[1]: Entering directory `/home/tools/XBS/build/XSB-master/gpp'
[gcc] -o gpp
make[1]: Leaving directory `/home/tools/XBS/build/XSB-master/gpp'
|
|
From: <ro...@lo...> - 2022-03-29 05:22:10
|
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: Mon Mar 28 22:21:40 PDT 2022
Build process is looking for XSB sources in: /home/tools/XBS/build/XSB-master
XSB should be installed in: /home/tools/XBS/build/XSB-master
Configuration-specific executables go in: /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/bin
Configuration-specific libraries go in: /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/lib
Object code goes in: /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/saved.o
Site-specific code goes in: /home/tools/XBS/build/XSB-master/site
Site configuration-specific code goes in: /home/tools/XBS/build/XSB-master/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: /bin/javac
make[1]: Entering directory `/home/tools/XBS/build/XSB-master/emu'
Compiling XSB with gcc using -O3 -fno-strict-aliasing -Wall -pipe
Making XSB executable /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/bin/xsb
[gcc] -o /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/bin/xsb
system_xsb.o: In function `sys_system':
system_xsb.c:(.text+0xd53): warning: the use of `tmpnam' is dangerous, better use `mkstemp'
make[1]: Leaving directory `/home/tools/XBS/build/XSB-master/emu'
make[1]: Entering directory `/home/tools/XBS/build/XSB-master/gpp'
[gcc] -o gpp
make[1]: Leaving directory `/home/tools/XBS/build/XSB-master/gpp'
|
|
From: <ro...@lo...> - 2022-03-29 04:55:53
|
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: Mon Mar 28 21:55:19 PDT 2022
Build process is looking for XSB sources in: /home/tools/XBS/build/XSB-master
XSB should be installed in: /home/tools/XBS/build/XSB-master
Configuration-specific executables go in: /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/bin
Configuration-specific libraries go in: /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/lib
Object code goes in: /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/saved.o
Site-specific code goes in: /home/tools/XBS/build/XSB-master/site
Site configuration-specific code goes in: /home/tools/XBS/build/XSB-master/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: /bin/javac
make[1]: Entering directory `/home/tools/XBS/build/XSB-master/emu'
Compiling XSB with gcc using -O3 -fno-strict-aliasing -Wall -pipe
Making XSB executable /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/bin/xsb
[gcc] -o /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/bin/xsb
system_xsb.o: In function `sys_system':
system_xsb.c:(.text+0xd53): warning: the use of `tmpnam' is dangerous, better use `mkstemp'
make[1]: Leaving directory `/home/tools/XBS/build/XSB-master/emu'
make[1]: Entering directory `/home/tools/XBS/build/XSB-master/gpp'
[gcc] -o gpp
make[1]: Leaving directory `/home/tools/XBS/build/XSB-master/gpp'
|
|
From: <ro...@lo...> - 2022-03-29 04:31:28
|
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: Mon Mar 28 21:31:02 PDT 2022
Build process is looking for XSB sources in: /home/tools/XBS/build/XSB-master
XSB should be installed in: /home/tools/XBS/build/XSB-master
Configuration-specific executables go in: /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/bin
Configuration-specific libraries go in: /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/lib
Object code goes in: /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/saved.o
Site-specific code goes in: /home/tools/XBS/build/XSB-master/site
Site configuration-specific code goes in: /home/tools/XBS/build/XSB-master/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: /bin/javac
make[1]: Entering directory `/home/tools/XBS/build/XSB-master/emu'
Compiling XSB with gcc using -O3 -fno-strict-aliasing -Wall -pipe
Making XSB executable /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/bin/xsb
[gcc] -o /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/bin/xsb
system_xsb.o: In function `sys_system':
system_xsb.c:(.text+0xd53): warning: the use of `tmpnam' is dangerous, better use `mkstemp'
make[1]: Leaving directory `/home/tools/XBS/build/XSB-master/emu'
make[1]: Entering directory `/home/tools/XBS/build/XSB-master/gpp'
[gcc] -o gpp
make[1]: Leaving directory `/home/tools/XBS/build/XSB-master/gpp'
|
|
From: <ro...@lo...> - 2022-03-29 03:49:07
|
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: Mon Mar 28 20:16:15 PDT 2022
Build process is looking for XSB sources in: /home/tools/XBS/build/XSB-master
XSB should be installed in: /home/tools/XBS/build/XSB-master
Configuration-specific executables go in: /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/bin
Configuration-specific libraries go in: /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/lib
Object code goes in: /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/saved.o
Site-specific code goes in: /home/tools/XBS/build/XSB-master/site
Site configuration-specific code goes in: /home/tools/XBS/build/XSB-master/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 `/home/tools/XBS/build/XSB-master/emu'
Compiling XSB with gcc using -O3 -fno-strict-aliasing -Wall -pipe
Making XSB executable /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/bin/xsb
[gcc] -o /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/bin/xsb
system_xsb.o: In function `sys_system':
system_xsb.c:(.text+0xd53): warning: the use of `tmpnam' is dangerous, better use `mkstemp'
make[1]: Leaving directory `/home/tools/XBS/build/XSB-master/emu'
make[1]: Entering directory `/home/tools/XBS/build/XSB-master/gpp'
[gcc] -o gpp
make[1]: Leaving directory `/home/tools/XBS/build/XSB-master/gpp'
----------------- Warnings ------------------------
While compiling XSB/cmplib:
-------------------- End --------------------------
----------------- Warnings ------------------------
While compiling XSB/lib:
-------------------- End --------------------------
----------------- Warnings ------------------------
While compiling XSB/syslib:
-------------------- End --------------------------
make[1]: Entering directory `/home/tools/XBS/build/XSB-master/emu'
Compiling XSB with gcc using -O3 -fno-strict-aliasing -Wall -pipe
Making XSB executable /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/bin/xsb
[gcc] -o /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/bin/xsb
system_xsb.o: In function `sys_system':
system_xsb.c:(.text+0xd53): warning: the use of `tmpnam' is dangerous, better use `mkstemp'
make[1]: Leaving directory `/home/tools/XBS/build/XSB-master/emu'
make[1]: Entering directory `/home/tools/XBS/build/XSB-master/gpp'
[gcc] -o gpp
make[1]: Leaving directory `/home/tools/XBS/build/XSB-master/gpp'
|
|
From: <ro...@lo...> - 2022-03-29 03:16:51
|
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: Mon Mar 28 20:16:15 PDT 2022
Build process is looking for XSB sources in: /home/tools/XBS/build/XSB-master
XSB should be installed in: /home/tools/XBS/build/XSB-master
Configuration-specific executables go in: /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/bin
Configuration-specific libraries go in: /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/lib
Object code goes in: /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/saved.o
Site-specific code goes in: /home/tools/XBS/build/XSB-master/site
Site configuration-specific code goes in: /home/tools/XBS/build/XSB-master/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 `/home/tools/XBS/build/XSB-master/emu'
Compiling XSB with gcc using -O3 -fno-strict-aliasing -Wall -pipe
Making XSB executable /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/bin/xsb
[gcc] -o /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/bin/xsb
system_xsb.o: In function `sys_system':
system_xsb.c:(.text+0xd53): warning: the use of `tmpnam' is dangerous, better use `mkstemp'
make[1]: Leaving directory `/home/tools/XBS/build/XSB-master/emu'
make[1]: Entering directory `/home/tools/XBS/build/XSB-master/gpp'
[gcc] -o gpp
make[1]: Leaving directory `/home/tools/XBS/build/XSB-master/gpp'
|
|
From: <ro...@lo...> - 2022-03-28 08:40:50
|
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: Mon Mar 28 01:40:06 PDT 2022
Build process is looking for XSB sources in: /home/tools/XBS/build/XSB-master
XSB should be installed in: /home/tools/XBS/build/XSB-master
Configuration-specific executables go in: /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/bin
Configuration-specific libraries go in: /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/lib
Object code goes in: /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/saved.o
Site-specific code goes in: /home/tools/XBS/build/XSB-master/site
Site configuration-specific code goes in: /home/tools/XBS/build/XSB-master/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 `/home/tools/XBS/build/XSB-master/emu'
Compiling XSB with gcc using -O3 -fno-strict-aliasing -Wall -pipe
Making XSB executable /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/bin/xsb
[gcc] -o /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/bin/xsb
system_xsb.o: In function `sys_system':
system_xsb.c:(.text+0xd53): warning: the use of `tmpnam' is dangerous, better use `mkstemp'
make[1]: Leaving directory `/home/tools/XBS/build/XSB-master/emu'
make[1]: Entering directory `/home/tools/XBS/build/XSB-master/gpp'
[gcc] -o gpp
make[1]: Leaving directory `/home/tools/XBS/build/XSB-master/gpp'
|
|
From: <ro...@lo...> - 2022-03-28 06:38:11
|
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: Sun Mar 27 23:18:05 PDT 2022
Build process is looking for XSB sources in: /home/tools/XBS/build/XSB-master
XSB should be installed in: /home/tools/XBS/build/XSB-master
Configuration-specific executables go in: /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/bin
Configuration-specific libraries go in: /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/lib
Object code goes in: /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/saved.o
Site-specific code goes in: /home/tools/XBS/build/XSB-master/site
Site configuration-specific code goes in: /home/tools/XBS/build/XSB-master/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: javac
make[1]: Entering directory `/home/tools/XBS/build/XSB-master/emu'
Compiling XSB with gcc using -O3 -fno-strict-aliasing -Wall -pipe
[gcc] main_xsb.c
[gcc] auxlry.c
[gcc] biassert.c
[gcc] builtin.c using -O3 -fno-strict-aliasing -Wall -pipe
In file included from builtin.c:1229:0:
std_pred_xsb_i.h: In function ‘not_occurs_in’:
std_pred_xsb_i.h:938:10: warning: variable ‘arg’ set but not used [-Wunused-but-set-variable]
CPtr arg;
^
[gcc] cinterf.c
[gcc] conc_compl.c
[gcc] debug_xsb.c
[gcc] dis.c
[gcc] dynload.c
[gcc] dynamic_stack.c
[gcc] deadlock.c
[gcc] emuloop.c using -O3 -fno-strict-aliasing -Wall -pipe
In file included from emuloop.c:396:0:
schedrev_xsb_i.h: In function ‘sched_answers’:
schedrev_xsb_i.h:68:9: warning: variable ‘next_answer’ set but not used [-Wunused-but-set-variable]
BTNptr next_answer;
^
slginsts_xsb_i.h: In function ‘emuloop’:
emuloop.c:186:39: warning: variable ‘op1’ set but not used [-Wunused-but-set-variable]
#define DefOps13 register Cell op1; register CPtr op3;
^
slginsts_xsb_i.h:129:3: note: in expansion of macro ‘DefOps13’
DefOps13
^
emuloop.c:186:58: warning: variable ‘op3’ set but not used [-Wunused-but-set-variable]
#define DefOps13 register Cell op1; register CPtr op3;
^
slginsts_xsb_i.h:631:5: note: in expansion of macro ‘DefOps13’
DefOps13
^
emuloop.c:186:39: warning: variable ‘op1’ set but not used [-Wunused-but-set-variable]
#define DefOps13 register Cell op1; register CPtr op3;
^
slginsts_xsb_i.h:631:5: note: in expansion of macro ‘DefOps13’
DefOps13
^
emuloop.c:183:39: warning: variable ‘op1’ set but not used [-Wunused-but-set-variable]
#define Def2ops register Cell op1, op2;
^
slginsts_xsb_i.h:844:3: note: in expansion of macro ‘Def2ops’
Def2ops
^
emuloop.c:181:39: warning: variable ‘op1’ set but not used [-Wunused-but-set-variable]
#define Def1op register Cell op1;
^
emuloop.c:2504:5: note: in expansion of macro ‘Def1op’
Def1op
^
[gcc] error_xsb.c
[gcc] findall.c
findall.c: In function ‘findall_copy_to_heap’:
findall.c:307:7: warning: variable ‘tr1’ set but not used [-Wunused-but-set-variable]
Cell tr1;
^
findall.c: In function ‘findall_copy_template_to_chunk’:
findall.c:536:11: warning: variable ‘tr1’ set but not used [-Wunused-but-set-variable]
Cell tr1;
^
findall.c: In function ‘do_copy_term’:
findall.c:914:9: warning: variable ‘tr1’ set but not used [-Wunused-but-set-variable]
Cell tr1;
^
[gcc] function.c
[gcc] hash_xsb.c
[gcc] hashtable_xsb.c
[gcc] heap_xsb.c
In file included from heap_xsb.c:374:0:
gc_mark.h: In function ‘mark_hreg_from_choicepoints’:
gc_mark.h:708:11: warning: variable ‘bprev’ set but not used [-Wunused-but-set-variable]
CPtr b, bprev, h;
^
In file included from heap_xsb.c:377:0:
gc_copy.h: In function ‘adapt_hfreg_from_choicepoints’:
gc_copy.h:180:11: warning: variable ‘bprev’ set but not used [-Wunused-but-set-variable]
CPtr b, bprev;
^
[gcc] init_xsb.c
[gcc] inst_xsb.c
[gcc] io_builtins_xsb.c
[gcc] loader_xsb.c using -O3 -fno-strict-aliasing -Wall -pipe
loader_xsb.c: In function ‘loader’:
loader_xsb.c:1107:28: warning: variable ‘res’ set but not used [-Wunused-but-set-variable]
char dir[200]; char *res;
^
[gcc] memory_xsb.c
[gcc] orient_xsb.c
[gcc] pathname_xsb.c
pathname_xsb.c: In function ‘parse_filename’:
pathname_xsb.c:475:18: warning: comparison with string literal results in unspecified behavior [-Waddress]
if (*extension != "")
^
[gcc] psc_xsb.c
[gcc] random_xsb.c
[gcc] remove_unf.c
[gcc] residual.c
[gcc] rw_lock.c
[gcc] scc_xsb.c
[gcc] slgdelay.c
slgdelay.c: In function ‘simpl_var_trie_lookup’:
slgdelay.c:355:7: warning: variable ‘std_var_num’ set but not used [-Wunused-but-set-variable]
int std_var_num; /* Next available TrieVar index; for
^
slgdelay.c: In function ‘simplify_neg_succeeds’:
slgdelay.c:1366:10: warning: variable ‘tmp_dl’ set but not used [-Wunused-but-set-variable]
DL dl, tmp_dl;
^
[gcc] socket_xsb.c
socket_xsb.c: In function ‘xsb_socket_request’:
socket_xsb.c:777:9: warning: variable ‘connectname_found’ set but not used [-Wunused-but-set-variable]
int connectname_found = FALSE;
^
[gcc] string_xsb.c
[gcc] storage_xsb.c
[gcc] struct_manager.c
[gcc] sub_delete.c
[gcc] subp.c
[gcc] system_xsb.c
[gcc] table_stats.c
table_stats.c: In function ‘print_detailed_tablespace_stats’:
table_stats.c:261:23: warning: variable ‘trieassert_used’ set but not used [-Wunused-but-set-variable]
trieassert_alloc, trieassert_used,
^
[gcc] tables.c
In file included from sub_tables_xsb_i.h:26:0,
from tables.c:55:
sub_tables_xsb_i.h: In function ‘reconstruct_template_for_producer’:
tst_aux.h:272:11: warning: variable ‘root’ set but not used [-Wunused-but-set-variable]
BTNptr root; \
^
sub_tables_xsb_i.h:82:3: note: in expansion of macro ‘SymbolStack_PushPath’
SymbolStack_PushPath(subg_leaf_ptr(subsumer));
^
[gcc] thread_xsb.c
[gcc] timer_xsb.c
[gcc] token_xsb.c
[gcc] tr_utils.c using -O3 -fno-strict-aliasing -Wall -pipe
In file included from tr_utils.c:49:0:
tr_utils.c: In function ‘construct_answer_template’:
tst_aux.h:272:11: warning: variable ‘root’ set but not used [-Wunused-but-set-variable]
BTNptr root; \
^
tr_utils.c:282:3: note: in expansion of macro ‘SymbolStack_PushPath’
SymbolStack_PushPath(subg_leaf_ptr(producer));
^
tr_utils.c: In function ‘private_trie_intern’:
tr_utils.c:1461:21: warning: variable ‘type’ set but not used [-Wunused-but-set-variable]
int Trie_id,index,type;
^
tr_utils.c: In function ‘private_trie_interned’:
tr_utils.c:1517:21: warning: variable ‘type’ set but not used [-Wunused-but-set-variable]
int Trie_id,index,type;
^
tr_utils.c: In function ‘private_trie_unintern’:
tr_utils.c:1592:21: warning: variable ‘type’ set but not used [-Wunused-but-set-variable]
int Trie_id,index,type;
^
tr_utils.c: In function ‘table_component_check’:
tr_utils.c:4191:6: warning: format ‘%x’ expects argument of type ‘unsigned int’, but argument 3 has type ‘UInteger’ [-Wformat=]
printf("updating from dfn to_answer %p %x\n",to_answer,asi_scratchpad((ASI) Child(to_answer)));
^
[gcc] trace_xsb.c
trace_xsb.c: In function ‘stat_inusememory’:
trace_xsb.c:159:15: warning: variable ‘dl_count’ set but not used [-Wunused-but-set-variable]
de_count, dl_count,
^
trace_xsb.c:159:5: warning: variable ‘de_count’ set but not used [-Wunused-but-set-variable]
de_count, dl_count,
^
[gcc] trie_lookup.c
[gcc] trie_search.c
[gcc] tries.c
[gcc] tst_insert.c
[gcc] tst_retrv.c
[gcc] tst_unify.c
In file included from tst_unify.c:44:0:
tst_unify.c: In function ‘consume_subsumptive_answer’:
tst_aux.h:272:11: warning: variable ‘root’ set but not used [-Wunused-but-set-variable]
BTNptr root; \
^
tst_unify.c:432:3: note: in expansion of macro ‘SymbolStack_PushPath’
SymbolStack_PushPath(pAnsLeaf);
^
[gcc] tst_utils.c
[gcc] varstring.c
[gcc] ubi_BinTree.c
[gcc] ubi_SplayTree.c
[gcc] hashtable.c
[gcc] hashtable_itr.c
[gcc] incr_xsb.c
[gcc] call_graph_xsb.c
Making XSB executable /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/bin/xsb
[gcc] -o /home/tools/XBS/build/XSB-master/config/x86_64-unknown-linux-gnu/bin/xsb
system_xsb.o: In function `sys_system':
system_xsb.c:(.text+0xd53): warning: the use of `tmpnam' is dangerous, better use `mkstemp'
make[1]: Leaving directory `/home/tools/XBS/build/XSB-master/emu'
make[1]: Entering directory `/home/tools/XBS/build/XSB-master/gpp'
[gcc] gpp.c using
[gcc] -o gpp
make[1]: Leaving directory `/home/tools/XBS/build/XSB-master/gpp'
|
|
From: <ol...@po...> - 2021-03-14 16:01:04
|
Hi, everytime i try to compile XSB Version 3.7. (Clan MacGregor) of July 6, 2016 on Raspberry 4 with 8 GB running Raspberry Pi OS 32 Bit the following error occurs: pi@raspberrypi:~/flora2/XSB/build $ ./configure --with-gcc pi@raspberrypi:~/flora2/XSB/build $ ./configure --with-cc=/usr/bin/cc or pi@raspberrypi:~/flora2/XSB/build $ ./configure --with-cc=/usr/bin/clang ... cd cmplib; make make[2]: Verzeichnis „/home/pi/flora2/XSB/cmplib“ wird betreten rm -f 'cmd...' rm -f '../build/.xsb_cmplib_warn.tmp' /home/pi/flora2/XSB/bin/xsb -e "segfault_handler(warn)." < 'cmd...' [Compiling /home/pi/flora2/XSB/config/armv7l-unknown-linux-gnu/lib/xsb_configuration] ++Error[XSB]: [Runtime/C] UNRECOVERABLE ERROR: Ran out of tagged address space! ++Error[XSB]: [Runtime/C] Exiting XSB abnormally... make[2]: *** [Makefile:73: all] Fehler 1 make[2]: Verzeichnis „/home/pi/flora2/XSB/cmplib“ wird verlassen make[1]: *** [Makefile:49: cmplib] Fehler 2 make[1]: Verzeichnis „/home/pi/flora2/XSB“ wird verlassen make: *** [../config/armv7l-unknown-linux-gnu/topMakefile:428: remake_dot_O_files] Fehler 2 I am already completly out of my depth. I don't talk c. Any help is appreciated. Thanks Oliver |
|
From: John D G. <gri...@mi...> - 2021-03-02 14:53:34
|
I see some comments from 2007 on installing XSB on a Mac. Is there any more recent advice? I am trying to run NoHR for Protégé, which requires XSB. I am familiar with Prolog, though not XSB, specifically. Kind Regards, -- John John Griffith Principal AI Engineer | AI and Autonomous Systems Department (L131) | The MITRE Corporation, 1 Hospital Drive, Charlottesville, VA 22908 |*email for shipping address* | O: +1.781.271.7736 | M: +1.434.466.0420 | gri...@mi...<mailto:gri...@mi...> | Pronouns: he/him/his |
|
From: Frederick I. <fre...@ya...> - 2019-12-23 11:56:32
|
Hi, did a linux install - seemed ok tried on a sgi irix machine and although I got through the build it seems to hang on startup. Looks like emu depends on setjmp and longjmp (other prolog style systems also seem to break here) using gcc4.7.1 (again ancient - glutton for punishment i guess) not sure how to trace it properly using ./xsb -T doesn't show much except during loader.xwam it hangs in loading a predicate with a big number in parentheses) Any thoughts on where would be a good place to start hunting this down Cheers |
|
From: <ge...@in...> - 2019-05-22 16:04:06
|
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 May 22 17:47:03 MST 2019
Build process is looking for XSB sources in: /local/gerum/CK-TOOLS/xsb-3.2-linux-64/xsb-3.2
XSB should be installed in: /local/gerum/CK-TOOLS/xsb-3.2-linux-64/3.2
Configuration-specific executables go in: /local/gerum/CK-TOOLS/xsb-3.2-linux-64/xsb-3.2/config/x86_64-unknown-linux-gnu/bin
Configuration-specific libraries go in: /local/gerum/CK-TOOLS/xsb-3.2-linux-64/xsb-3.2/config/x86_64-unknown-linux-gnu/lib
Object code goes in: /local/gerum/CK-TOOLS/xsb-3.2-linux-64/xsb-3.2/config/x86_64-unknown-linux-gnu/saved.o
Site-specific code goes in: /local/gerum/CK-TOOLS/xsb-3.2-linux-64/site
Site configuration-specific code goes in: /local/gerum/CK-TOOLS/xsb-3.2-linux-64/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: yes
Perl archlib: /usr/lib64/perl5/CORE
Perl C compiler: gcc
Perl C flags: -D_REENTRANT -D_GNU_SOURCE -fno-strict-aliasing -pipe -fstack-protector -I/usr/local/include -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64
Perl loader flags: -lresolv -lnsl -lgdbm -ldb -ldl -lm -lcrypt -lutil -lpthread -lc -lgdbm_compat
Java compiler: /usr/bin/javac
make[1]: Entering directory `/local/gerum/CK-TOOLS/xsb-3.2-linux-64/xsb-3.2/emu'
Compiling XSB with gcc using -O3 -fno-strict-aliasing -Wall -pipe
[gcc] main_xsb.c
[gcc] auxlry.c
[gcc] biassert.c
[gcc] builtin.c using -O3 -fno-strict-aliasing -Wall -pipe
In file included from builtin.c:1225:0:
std_pred_xsb_i.h: In function ‘not_occurs_in’:
std_pred_xsb_i.h:937:10: warning: variable ‘arg’ set but not used [-Wunused-but-set-variable]
CPtr arg;
^
[gcc] cinterf.c
[gcc] conc_compl.c
[gcc] debug_xsb.c
[gcc] dis.c
[gcc] dynload.c
[gcc] dynamic_stack.c
[gcc] deadlock.c
[gcc] emuloop.c using -O3 -fno-strict-aliasing -Wall -pipe
In file included from emuloop.c:396:0:
schedrev_xsb_i.h: In function ‘sched_answers’:
schedrev_xsb_i.h:68:9: warning: variable ‘next_answer’ set but not used [-Wunused-but-set-variable]
BTNptr next_answer;
^
slginsts_xsb_i.h: In function ‘emuloop’:
emuloop.c:186:39: warning: variable ‘op1’ set but not used [-Wunused-but-set-variable]
#define DefOps13 register Cell op1; register CPtr op3;
^
slginsts_xsb_i.h:129:3: note: in expansion of macro ‘DefOps13’
DefOps13
^
emuloop.c:186:58: warning: variable ‘op3’ set but not used [-Wunused-but-set-variable]
#define DefOps13 register Cell op1; register CPtr op3;
^
slginsts_xsb_i.h:631:5: note: in expansion of macro ‘DefOps13’
DefOps13
^
emuloop.c:186:39: warning: variable ‘op1’ set but not used [-Wunused-but-set-variable]
#define DefOps13 register Cell op1; register CPtr op3;
^
slginsts_xsb_i.h:631:5: note: in expansion of macro ‘DefOps13’
DefOps13
^
emuloop.c:183:39: warning: variable ‘op1’ set but not used [-Wunused-but-set-variable]
#define Def2ops register Cell op1, op2;
^
slginsts_xsb_i.h:844:3: note: in expansion of macro ‘Def2ops’
Def2ops
^
emuloop.c:181:39: warning: variable ‘op1’ set but not used [-Wunused-but-set-variable]
#define Def1op register Cell op1;
^
emuloop.c:2504:5: note: in expansion of macro ‘Def1op’
Def1op
^
[gcc] error_xsb.c
[gcc] findall.c
findall.c: In function ‘findall_copy_to_heap’:
findall.c:307:7: warning: variable ‘tr1’ set but not used [-Wunused-but-set-variable]
Cell tr1;
^
findall.c: In function ‘findall_copy_template_to_chunk’:
findall.c:536:11: warning: variable ‘tr1’ set but not used [-Wunused-but-set-variable]
Cell tr1;
^
findall.c: In function ‘do_copy_term’:
findall.c:914:9: warning: variable ‘tr1’ set but not used [-Wunused-but-set-variable]
Cell tr1;
^
[gcc] function.c
[gcc] hash_xsb.c
[gcc] hashtable_xsb.c
[gcc] heap_xsb.c
In file included from heap_xsb.c:374:0:
gc_mark.h: In function ‘mark_hreg_from_choicepoints’:
gc_mark.h:708:11: warning: variable ‘bprev’ set but not used [-Wunused-but-set-variable]
CPtr b, bprev, h;
^
In file included from heap_xsb.c:377:0:
gc_copy.h: In function ‘adapt_hfreg_from_choicepoints’:
gc_copy.h:180:11: warning: variable ‘bprev’ set but not used [-Wunused-but-set-variable]
CPtr b, bprev;
^
[gcc] init_xsb.c
[gcc] inst_xsb.c
[gcc] io_builtins_xsb.c
[gcc] loader_xsb.c using -O3 -fno-strict-aliasing -Wall -pipe
loader_xsb.c: In function ‘loader’:
loader_xsb.c:1087:28: warning: variable ‘res’ set but not used [-Wunused-but-set-variable]
char dir[200]; char *res;
^
[gcc] memory_xsb.c
[gcc] orient_xsb.c
[gcc] pathname_xsb.c
pathname_xsb.c: In function ‘parse_filename’:
pathname_xsb.c:475:18: warning: comparison with string literal results in unspecified behavior [-Waddress]
if (*extension != "")
^
[gcc] psc_xsb.c
[gcc] random_xsb.c
[gcc] remove_unf.c
[gcc] residual.c
[gcc] rw_lock.c
[gcc] scc_xsb.c
[gcc] slgdelay.c
slgdelay.c: In function ‘simpl_var_trie_lookup’:
slgdelay.c:355:7: warning: variable ‘std_var_num’ set but not used [-Wunused-but-set-variable]
int std_var_num; /* Next available TrieVar index; for
^
slgdelay.c: In function ‘simplify_neg_succeeds’:
slgdelay.c:1362:10: warning: variable ‘tmp_dl’ set but not used [-Wunused-but-set-variable]
DL dl, tmp_dl;
^
[gcc] socket_xsb.c
socket_xsb.c: In function ‘xsb_socket_request’:
socket_xsb.c:777:9: warning: variable ‘connectname_found’ set but not used [-Wunused-but-set-variable]
int connectname_found = FALSE;
^
[gcc] string_xsb.c
[gcc] storage_xsb.c
[gcc] struct_manager.c
[gcc] sub_delete.c
[gcc] subp.c
[gcc] system_xsb.c
[gcc] table_stats.c
table_stats.c: In function ‘print_detailed_tablespace_stats’:
table_stats.c:261:23: warning: variable ‘trieassert_used’ set but not used [-Wunused-but-set-variable]
trieassert_alloc, trieassert_used,
^
[gcc] tables.c
In file included from sub_tables_xsb_i.h:26:0,
from tables.c:55:
sub_tables_xsb_i.h: In function ‘reconstruct_template_for_producer’:
tst_aux.h:272:11: warning: variable ‘root’ set but not used [-Wunused-but-set-variable]
BTNptr root; \
^
sub_tables_xsb_i.h:82:3: note: in expansion of macro ‘SymbolStack_PushPath’
SymbolStack_PushPath(subg_leaf_ptr(subsumer));
^
[gcc] thread_xsb.c
[gcc] timer_xsb.c
[gcc] token_xsb.c
[gcc] tr_utils.c using -O3 -fno-strict-aliasing -Wall -pipe
In file included from tr_utils.c:49:0:
tr_utils.c: In function ‘construct_answer_template’:
tst_aux.h:272:11: warning: variable ‘root’ set but not used [-Wunused-but-set-variable]
BTNptr root; \
^
tr_utils.c:282:3: note: in expansion of macro ‘SymbolStack_PushPath’
SymbolStack_PushPath(subg_leaf_ptr(producer));
^
tr_utils.c: In function ‘private_trie_intern’:
tr_utils.c:1458:21: warning: variable ‘type’ set but not used [-Wunused-but-set-variable]
int Trie_id,index,type;
^
tr_utils.c: In function ‘private_trie_interned’:
tr_utils.c:1514:21: warning: variable ‘type’ set but not used [-Wunused-but-set-variable]
int Trie_id,index,type;
^
tr_utils.c: In function ‘private_trie_unintern’:
tr_utils.c:1589:21: warning: variable ‘type’ set but not used [-Wunused-but-set-variable]
int Trie_id,index,type;
^
tr_utils.c: In function ‘table_component_check’:
tr_utils.c:4184:6: warning: format ‘%x’ expects argument of type ‘unsigned int’, but argument 3 has type ‘UInteger’ [-Wformat=]
printf("updating from dfn to_answer %p %x\n",to_answer,asi_scratchpad((ASI) Child(to_answer)));
^
[gcc] trace_xsb.c
[gcc] trie_lookup.c
[gcc] trie_search.c
[gcc] tries.c
[gcc] tst_insert.c
[gcc] tst_retrv.c
[gcc] tst_unify.c
In file included from tst_unify.c:44:0:
tst_unify.c: In function ‘consume_subsumptive_answer’:
tst_aux.h:272:11: warning: variable ‘root’ set but not used [-Wunused-but-set-variable]
BTNptr root; \
^
tst_unify.c:432:3: note: in expansion of macro ‘SymbolStack_PushPath’
SymbolStack_PushPath(pAnsLeaf);
^
[gcc] tst_utils.c
[gcc] varstring.c
[gcc] ubi_BinTree.c
[gcc] ubi_SplayTree.c
[gcc] hashtable.c
[gcc] hashtable_itr.c
[gcc] incr_xsb.c
[gcc] call_graph_xsb.c
Making XSB executable /local/gerum/CK-TOOLS/xsb-3.2-linux-64/xsb-3.2/config/x86_64-unknown-linux-gnu/bin/xsb
[gcc] -o /local/gerum/CK-TOOLS/xsb-3.2-linux-64/xsb-3.2/config/x86_64-unknown-linux-gnu/bin/xsb
system_xsb.o: In function `sys_system':
system_xsb.c:(.text+0xd53): warning: the use of `tmpnam' is dangerous, better use `mkstemp'
make[1]: Leaving directory `/local/gerum/CK-TOOLS/xsb-3.2-linux-64/xsb-3.2/emu'
make[1]: Entering directory `/local/gerum/CK-TOOLS/xsb-3.2-linux-64/xsb-3.2/gpp'
[gcc] gpp.c using
[gcc] -o gpp
make[1]: Leaving directory `/local/gerum/CK-TOOLS/xsb-3.2-linux-64/xsb-3.2/gpp'
|
|
From: Stefano A. <ste...@st...> - 2018-10-18 09:33:16
|
The downloadable binary release (Win .exe) is for XSB 3.7 while the source package is for 3.8. Is it possible for you to update the online binary to 3.8 as well ? I tried to rebuild from sources using VS Community but I got lot of issues (I'm on Win 10). Thanks in advance and kind regards, Stefano A. |
|
From: <ma...@ma...> - 2018-05-01 11:13:22
|
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: Tue May 1 18:33:49 CST 2018
Build process is looking for XSB sources in: /home/majiang/CK-TOOLS/xsb-3.2-linux-64/xsb-3.2
XSB should be installed in: /home/majiang/CK-TOOLS/xsb-3.2-linux-64/3.2
Configuration-specific executables go in: /home/majiang/CK-TOOLS/xsb-3.2-linux-64/xsb-3.2/config/x86_64-unknown-linux-gnu/bin
Configuration-specific libraries go in: /home/majiang/CK-TOOLS/xsb-3.2-linux-64/xsb-3.2/config/x86_64-unknown-linux-gnu/lib
Object code goes in: /home/majiang/CK-TOOLS/xsb-3.2-linux-64/xsb-3.2/config/x86_64-unknown-linux-gnu/saved.o
Site-specific code goes in: /home/majiang/CK-TOOLS/xsb-3.2-linux-64/site
Site configuration-specific code goes in: /home/majiang/CK-TOOLS/xsb-3.2-linux-64/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 '/home/majiang/CK-TOOLS/xsb-3.2-linux-64/xsb-3.2/emu'
Compiling XSB with gcc using -O3 -fno-strict-aliasing -Wall -pipe
[gcc] main_xsb.c
[gcc] auxlry.c
[gcc] biassert.c
biassert.c: In function âdbgen_printinst3â:
biassert.c:148:20: warning: type of âOpcodeâ defaults to âintâ [-Wimplicit-int]
static inline void dbgen_printinst3(Opcode, Arg1, Arg2, Arg3)
^
biassert.c:148:20: warning: type of âArg1â defaults to âintâ [-Wimplicit-int]
biassert.c:148:20: warning: type of âArg2â defaults to âintâ [-Wimplicit-int]
biassert.c:148:20: warning: type of âArg3â defaults to âintâ [-Wimplicit-int]
biassert.c: In function âdbgen_printinstâ:
biassert.c:171:20: warning: type of âOpcodeâ defaults to âintâ [-Wimplicit-int]
static inline void dbgen_printinst(Opcode, Arg1, Arg2)
^
biassert.c:171:20: warning: type of âArg1â defaults to âintâ [-Wimplicit-int]
biassert.c:171:20: warning: type of âArg2â defaults to âintâ [-Wimplicit-int]
In file included from biassert.c:40:0:
biassert.c: At top level:
cell_xsb.h:369:20: warning: inline function âbld_boxedfloatâ declared but never defined
extern inline void bld_boxedfloat(CTXTdeclc CPtr, Float);
^
cell_xsb.h:278:21: warning: inline function âmake_float_from_intsâ declared but never defined
extern inline Float make_float_from_ints(UInteger);
^
cell_xsb.h:104:19: warning: inline function âsignâ declared but never defined
extern inline int sign(Float);
^
cell_xsb.h:103:20: warning: inline function âmakefloatâ declared but never defined
extern inline Cell makefloat(float);
^
cell_xsb.h:102:21: warning: inline function âgetfloatvalâ declared but never defined
extern inline float getfloatval(Cell);
^
[gcc] builtin.c using -O3 -fno-strict-aliasing -Wall -pipe
In file included from builtin.c:1225:0:
std_pred_xsb_i.h: In function ânot_occurs_inâ:
std_pred_xsb_i.h:937:10: warning: variable âargâ set but not used [-Wunused-but-set-variable]
CPtr arg;
^
In file included from builtin.c:63:0:
builtin.c: At top level:
cell_xsb.h:369:20: warning: inline function âbld_boxedfloatâ declared but never defined
extern inline void bld_boxedfloat(CTXTdeclc CPtr, Float);
^
cell_xsb.h:278:21: warning: inline function âmake_float_from_intsâ declared but never defined
extern inline Float make_float_from_ints(UInteger);
^
cell_xsb.h:104:19: warning: inline function âsignâ declared but never defined
extern inline int sign(Float);
^
cell_xsb.h:103:20: warning: inline function âmakefloatâ declared but never defined
extern inline Cell makefloat(float);
^
cell_xsb.h:102:21: warning: inline function âgetfloatvalâ declared but never defined
extern inline float getfloatval(Cell);
^
[gcc] cinterf.c
In file included from cinterf.c:39:0:
cell_xsb.h:369:20: warning: inline function âbld_boxedfloatâ declared but never defined
extern inline void bld_boxedfloat(CTXTdeclc CPtr, Float);
^
cell_xsb.h:278:21: warning: inline function âmake_float_from_intsâ declared but never defined
extern inline Float make_float_from_ints(UInteger);
^
cell_xsb.h:104:19: warning: inline function âsignâ declared but never defined
extern inline int sign(Float);
^
cell_xsb.h:103:20: warning: inline function âmakefloatâ declared but never defined
extern inline Cell makefloat(float);
^
cell_xsb.h:102:21: warning: inline function âgetfloatvalâ declared but never defined
extern inline float getfloatval(Cell);
^
[gcc] conc_compl.c
[gcc] debug_xsb.c
In file included from debug_xsb.c:35:0:
cell_xsb.h:369:20: warning: inline function âbld_boxedfloatâ declared but never defined
extern inline void bld_boxedfloat(CTXTdeclc CPtr, Float);
^
cell_xsb.h:278:21: warning: inline function âmake_float_from_intsâ declared but never defined
extern inline Float make_float_from_ints(UInteger);
^
cell_xsb.h:104:19: warning: inline function âsignâ declared but never defined
extern inline int sign(Float);
^
cell_xsb.h:103:20: warning: inline function âmakefloatâ declared but never defined
extern inline Cell makefloat(float);
^
cell_xsb.h:102:21: warning: inline function âgetfloatvalâ declared but never defined
extern inline float getfloatval(Cell);
^
debug_xsb.c: In function âprint_tablesâ:
debug_xsb.c:883:2: warning: ignoring return value of âscanfâ, declared with attribute warn_unused_result [-Wunused-result]
scanf("%c", &ans);
^
[gcc] dis.c
In file included from dis.c:38:0:
cell_xsb.h:369:20: warning: inline function âbld_boxedfloatâ declared but never defined
extern inline void bld_boxedfloat(CTXTdeclc CPtr, Float);
^
cell_xsb.h:278:21: warning: inline function âmake_float_from_intsâ declared but never defined
extern inline Float make_float_from_ints(UInteger);
^
cell_xsb.h:104:19: warning: inline function âsignâ declared but never defined
extern inline int sign(Float);
^
cell_xsb.h:103:20: warning: inline function âmakefloatâ declared but never defined
extern inline Cell makefloat(float);
^
cell_xsb.h:102:21: warning: inline function âgetfloatvalâ declared but never defined
extern inline float getfloatval(Cell);
^
[gcc] dynload.c
In file included from dynelf_xsb_i.h:40:0,
from dynload.c:34:
cell_xsb.h:369:20: warning: inline function âbld_boxedfloatâ declared but never defined
extern inline void bld_boxedfloat(CTXTdeclc CPtr, Float);
^
cell_xsb.h:278:21: warning: inline function âmake_float_from_intsâ declared but never defined
extern inline Float make_float_from_ints(UInteger);
^
cell_xsb.h:104:19: warning: inline function âsignâ declared but never defined
extern inline int sign(Float);
^
cell_xsb.h:103:20: warning: inline function âmakefloatâ declared but never defined
extern inline Cell makefloat(float);
^
cell_xsb.h:102:21: warning: inline function âgetfloatvalâ declared but never defined
extern inline float getfloatval(Cell);
^
[gcc] dynamic_stack.c
In file included from dynamic_stack.c:36:0:
cell_xsb.h:369:20: warning: inline function âbld_boxedfloatâ declared but never defined
extern inline void bld_boxedfloat(CTXTdeclc CPtr, Float);
^
cell_xsb.h:278:21: warning: inline function âmake_float_from_intsâ declared but never defined
extern inline Float make_float_from_ints(UInteger);
^
cell_xsb.h:104:19: warning: inline function âsignâ declared but never defined
extern inline int sign(Float);
^
cell_xsb.h:103:20: warning: inline function âmakefloatâ declared but never defined
extern inline Cell makefloat(float);
^
cell_xsb.h:102:21: warning: inline function âgetfloatvalâ declared but never defined
extern inline float getfloatval(Cell);
^
[gcc] deadlock.c
[gcc] emuloop.c using -O3 -fno-strict-aliasing -Wall -pipe
In file included from emuloop.c:396:0:
schedrev_xsb_i.h: In function âsched_answersâ:
schedrev_xsb_i.h:68:9: warning: variable ânext_answerâ set but not used [-Wunused-but-set-variable]
BTNptr next_answer;
^
slginsts_xsb_i.h: In function âemuloopâ:
emuloop.c:186:39: warning: variable âop1â set but not used [-Wunused-but-set-variable]
#define DefOps13 register Cell op1; register CPtr op3;
^
slginsts_xsb_i.h:129:3: note: in expansion of macro âDefOps13â
DefOps13
^
emuloop.c:186:58: warning: variable âop3â set but not used [-Wunused-but-set-variable]
#define DefOps13 register Cell op1; register CPtr op3;
^
slginsts_xsb_i.h:631:5: note: in expansion of macro âDefOps13â
DefOps13
^
emuloop.c:186:39: warning: variable âop1â set but not used [-Wunused-but-set-variable]
#define DefOps13 register Cell op1; register CPtr op3;
^
slginsts_xsb_i.h:631:5: note: in expansion of macro âDefOps13â
DefOps13
^
emuloop.c:183:39: warning: variable âop1â set but not used [-Wunused-but-set-variable]
#define Def2ops register Cell op1, op2;
^
slginsts_xsb_i.h:844:3: note: in expansion of macro âDef2opsâ
Def2ops
^
emuloop.c:181:39: warning: variable âop1â set but not used [-Wunused-but-set-variable]
#define Def1op register Cell op1;
^
emuloop.c:2504:5: note: in expansion of macro âDef1opâ
Def1op
^
In file included from emuloop.c:45:0:
emuloop.c: At top level:
cell_xsb.h:104:19: warning: inline function âsignâ declared but never defined
extern inline int sign(Float);
^
cell_xsb.h:103:20: warning: inline function âmakefloatâ declared but never defined
extern inline Cell makefloat(float);
^
cell_xsb.h:102:21: warning: inline function âgetfloatvalâ declared but never defined
extern inline float getfloatval(Cell);
^
[gcc] error_xsb.c
error_xsb.c: In function âexit_xsbâ:
error_xsb.c:143:3: warning: format not a string literal and no format arguments [-Wformat-security]
fprintf(stderr, description);
^
error_xsb.c: In function âabort_xsbâ:
error_xsb.c:853:3: warning: format not a string literal and no format arguments [-Wformat-security]
snprintf(message+strlen(message), (MAXBUFSIZE-strlen(message)), description);
^
error_xsb.c:853:3: warning: format not a string literal and no format arguments [-Wformat-security]
error_xsb.c: In function âbug_xsbâ:
error_xsb.c:882:3: warning: format not a string literal and no format arguments [-Wformat-security]
snprintf(message+strlen(message), (MAXBUFSIZE-strlen(message)), description);
^
error_xsb.c:882:3: warning: format not a string literal and no format arguments [-Wformat-security]
error_xsb.c: In function âerror_xsbâ:
error_xsb.c:971:3: warning: format not a string literal and no format arguments [-Wformat-security]
fprintf(stderr, description);
^
error_xsb.c: In function âwarn_xsbâ:
error_xsb.c:995:3: warning: format not a string literal and no format arguments [-Wformat-security]
fprintf(stdwarn, description);
^
error_xsb.c: In function âmesg_xsbâ:
error_xsb.c:1014:3: warning: format not a string literal and no format arguments [-Wformat-security]
fprintf(stdmsg, description);
^
In file included from error_xsb.c:36:0:
error_xsb.c: At top level:
cell_xsb.h:369:20: warning: inline function âbld_boxedfloatâ declared but never defined
extern inline void bld_boxedfloat(CTXTdeclc CPtr, Float);
^
cell_xsb.h:278:21: warning: inline function âmake_float_from_intsâ declared but never defined
extern inline Float make_float_from_ints(UInteger);
^
cell_xsb.h:104:19: warning: inline function âsignâ declared but never defined
extern inline int sign(Float);
^
cell_xsb.h:103:20: warning: inline function âmakefloatâ declared but never defined
extern inline Cell makefloat(float);
^
cell_xsb.h:102:21: warning: inline function âgetfloatvalâ declared but never defined
extern inline float getfloatval(Cell);
^
[gcc] findall.c
findall.c: In function âfindall_copy_to_heapâ:
findall.c:307:7: warning: variable âtr1â set but not used [-Wunused-but-set-variable]
Cell tr1;
^
findall.c: In function âfindall_copy_template_to_chunkâ:
findall.c:536:11: warning: variable âtr1â set but not used [-Wunused-but-set-variable]
Cell tr1;
^
findall.c: In function âdo_copy_termâ:
findall.c:914:9: warning: variable âtr1â set but not used [-Wunused-but-set-variable]
Cell tr1;
^
In file included from findall.c:35:0:
findall.c: At top level:
cell_xsb.h:369:20: warning: inline function âbld_boxedfloatâ declared but never defined
extern inline void bld_boxedfloat(CTXTdeclc CPtr, Float);
^
cell_xsb.h:278:21: warning: inline function âmake_float_from_intsâ declared but never defined
extern inline Float make_float_from_ints(UInteger);
^
cell_xsb.h:104:19: warning: inline function âsignâ declared but never defined
extern inline int sign(Float);
^
cell_xsb.h:103:20: warning: inline function âmakefloatâ declared but never defined
extern inline Cell makefloat(float);
^
cell_xsb.h:102:21: warning: inline function âgetfloatvalâ declared but never defined
extern inline float getfloatval(Cell);
^
[gcc] function.c
function.c:83:20: warning: inline function âbld_boxedfloatâ declared but never defined
extern void inline bld_boxedfloat(CTXTdeclc CPtr, Float);
^
In file included from function.c:34:0:
cell_xsb.h:278:21: warning: inline function âmake_float_from_intsâ declared but never defined
extern inline Float make_float_from_ints(UInteger);
^
cell_xsb.h:104:19: warning: inline function âsignâ declared but never defined
extern inline int sign(Float);
^
cell_xsb.h:103:20: warning: inline function âmakefloatâ declared but never defined
extern inline Cell makefloat(float);
^
cell_xsb.h:102:21: warning: inline function âgetfloatvalâ declared but never defined
extern inline float getfloatval(Cell);
^
[gcc] hash_xsb.c
In file included from hash_xsb.c:35:0:
cell_xsb.h:369:20: warning: inline function âbld_boxedfloatâ declared but never defined
extern inline void bld_boxedfloat(CTXTdeclc CPtr, Float);
^
cell_xsb.h:278:21: warning: inline function âmake_float_from_intsâ declared but never defined
extern inline Float make_float_from_ints(UInteger);
^
cell_xsb.h:104:19: warning: inline function âsignâ declared but never defined
extern inline int sign(Float);
^
cell_xsb.h:103:20: warning: inline function âmakefloatâ declared but never defined
extern inline Cell makefloat(float);
^
cell_xsb.h:102:21: warning: inline function âgetfloatvalâ declared but never defined
extern inline float getfloatval(Cell);
^
[gcc] hashtable_xsb.c
In file included from hashtable_xsb.c:35:0:
cell_xsb.h:369:20: warning: inline function âbld_boxedfloatâ declared but never defined
extern inline void bld_boxedfloat(CTXTdeclc CPtr, Float);
^
cell_xsb.h:278:21: warning: inline function âmake_float_from_intsâ declared but never defined
extern inline Float make_float_from_ints(UInteger);
^
cell_xsb.h:104:19: warning: inline function âsignâ declared but never defined
extern inline int sign(Float);
^
cell_xsb.h:103:20: warning: inline function âmakefloatâ declared but never defined
extern inline Cell makefloat(float);
^
cell_xsb.h:102:21: warning: inline function âgetfloatvalâ declared but never defined
extern inline float getfloatval(Cell);
^
[gcc] heap_xsb.c
In file included from heap_xsb.c:374:0:
gc_mark.h: In function âmark_hreg_from_choicepointsâ:
gc_mark.h:708:11: warning: variable âbprevâ set but not used [-Wunused-but-set-variable]
CPtr b, bprev, h;
^
In file included from heap_xsb.c:377:0:
gc_copy.h: In function âadapt_hfreg_from_choicepointsâ:
gc_copy.h:180:11: warning: variable âbprevâ set but not used [-Wunused-but-set-variable]
CPtr b, bprev;
^
In file included from heap_xsb.c:143:0:
heap_xsb.c: At top level:
cell_xsb.h:369:20: warning: inline function âbld_boxedfloatâ declared but never defined
extern inline void bld_boxedfloat(CTXTdeclc CPtr, Float);
^
cell_xsb.h:278:21: warning: inline function âmake_float_from_intsâ declared but never defined
extern inline Float make_float_from_ints(UInteger);
^
cell_xsb.h:104:19: warning: inline function âsignâ declared but never defined
extern inline int sign(Float);
^
cell_xsb.h:103:20: warning: inline function âmakefloatâ declared but never defined
extern inline Cell makefloat(float);
^
cell_xsb.h:102:21: warning: inline function âgetfloatvalâ declared but never defined
extern inline float getfloatval(Cell);
^
[gcc] init_xsb.c
In file included from init_xsb.c:49:0:
cell_xsb.h:369:20: warning: inline function âbld_boxedfloatâ declared but never defined
extern inline void bld_boxedfloat(CTXTdeclc CPtr, Float);
^
cell_xsb.h:278:21: warning: inline function âmake_float_from_intsâ declared but never defined
extern inline Float make_float_from_ints(UInteger);
^
cell_xsb.h:104:19: warning: inline function âsignâ declared but never defined
extern inline int sign(Float);
^
cell_xsb.h:103:20: warning: inline function âmakefloatâ declared but never defined
extern inline Cell makefloat(float);
^
cell_xsb.h:102:21: warning: inline function âgetfloatvalâ declared but never defined
extern inline float getfloatval(Cell);
^
[gcc] inst_xsb.c
In file included from inst_xsb.c:32:0:
cell_xsb.h:369:20: warning: inline function âbld_boxedfloatâ declared but never defined
extern inline void bld_boxedfloat(CTXTdeclc CPtr, Float);
^
cell_xsb.h:278:21: warning: inline function âmake_float_from_intsâ declared but never defined
extern inline Float make_float_from_ints(UInteger);
^
cell_xsb.h:104:19: warning: inline function âsignâ declared but never defined
extern inline int sign(Float);
^
cell_xsb.h:103:20: warning: inline function âmakefloatâ declared but never defined
extern inline Cell makefloat(float);
^
cell_xsb.h:102:21: warning: inline function âgetfloatvalâ declared but never defined
extern inline float getfloatval(Cell);
^
[gcc] io_builtins_xsb.c
io_builtins_xsb.c: In function âfmt_readâ:
io_builtins_xsb.c:587:7: warning: format not a string literal and no format arguments [-Wformat-security]
curr_assignment = fscanf(fptr, current_fmt_spec->fmt);
^
io_builtins_xsb.c:665:5: warning: format not a string literal and no format arguments [-Wformat-security]
curr_assignment = fscanf(fptr, current_fmt_spec->fmt);
^
In file included from io_builtins_xsb.c:41:0:
io_builtins_xsb.c: At top level:
cell_xsb.h:369:20: warning: inline function âbld_boxedfloatâ declared but never defined
extern inline void bld_boxedfloat(CTXTdeclc CPtr, Float);
^
cell_xsb.h:278:21: warning: inline function âmake_float_from_intsâ declared but never defined
extern inline Float make_float_from_ints(UInteger);
^
cell_xsb.h:104:19: warning: inline function âsignâ declared but never defined
extern inline int sign(Float);
^
cell_xsb.h:103:20: warning: inline function âmakefloatâ declared but never defined
extern inline Cell makefloat(float);
^
cell_xsb.h:102:21: warning: inline function âgetfloatvalâ declared but never defined
extern inline float getfloatval(Cell);
^
io_builtins_xsb.c: In function âfmt_readâ:
io_builtins_xsb.c:581:7: warning: ignoring return value of âfscanfâ, declared with attribute warn_unused_result [-Wunused-result]
fscanf(fptr, aux_fmt.string, &curr_chars_consumed);
^
io_builtins_xsb.c:668:5: warning: ignoring return value of âfscanfâ, declared with attribute warn_unused_result [-Wunused-result]
fscanf(fptr, aux_fmt.string, &curr_chars_consumed);
^
[gcc] loader_xsb.c using -O3 -fno-strict-aliasing -Wall -pipe
loader_xsb.c: In function âloaderâ:
loader_xsb.c:1087:28: warning: variable âresâ set but not used [-Wunused-but-set-variable]
char dir[200]; char *res;
^
In file included from loader_xsb.c:53:0:
loader_xsb.c: At top level:
cell_xsb.h:369:20: warning: inline function âbld_boxedfloatâ declared but never defined
extern inline void bld_boxedfloat(CTXTdeclc CPtr, Float);
^
cell_xsb.h:278:21: warning: inline function âmake_float_from_intsâ declared but never defined
extern inline Float make_float_from_ints(UInteger);
^
cell_xsb.h:104:19: warning: inline function âsignâ declared but never defined
extern inline int sign(Float);
^
cell_xsb.h:103:20: warning: inline function âmakefloatâ declared but never defined
extern inline Cell makefloat(float);
^
cell_xsb.h:102:21: warning: inline function âgetfloatvalâ declared but never defined
extern inline float getfloatval(Cell);
^
loader_xsb.c: In function âloader1â:
loader_xsb.c:110:28: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result [-Wunused-result]
#define get_obj_data(x,y) (fread((char *)(x), 1, (y), fd))
^
loader_xsb.c:112:27: note: in expansion of macro âget_obj_dataâ
#define get_obj_byte(x) (get_obj_data((x),1))
^
loader_xsb.c:902:3: note: in expansion of macro âget_obj_byteâ
get_obj_byte(&name_len);
^
loader_xsb.c:110:28: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result [-Wunused-result]
#define get_obj_data(x,y) (fread((char *)(x), 1, (y), fd))
^
loader_xsb.c:114:32: note: in expansion of macro âget_obj_dataâ
#define get_obj_string(x,len) (get_obj_data((x),(len)))
^
loader_xsb.c:907:3: note: in expansion of macro âget_obj_stringâ
get_obj_string(name, name_len);
^
loader_xsb.c:110:28: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result [-Wunused-result]
#define get_obj_data(x,y) (fread((char *)(x), 1, (y), fd))
^
loader_xsb.c:113:27: note: in expansion of macro âget_obj_dataâ
#define get_obj_word(x) (get_obj_data((x),OBJ_WORD_SIZE))
^
loader_xsb.c:116:32: note: in expansion of macro âget_obj_wordâ
#define get_obj_word_bb(x) {get_obj_word(x) ; fix_bb(x) ; }
^
loader_xsb.c:914:3: note: in expansion of macro âget_obj_word_bbâ
get_obj_word_bb(&psc_count);
^
loader_xsb.c:110:28: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result [-Wunused-result]
#define get_obj_data(x,y) (fread((char *)(x), 1, (y), fd))
^
loader_xsb.c:112:27: note: in expansion of macro âget_obj_dataâ
#define get_obj_byte(x) (get_obj_data((x),1))
^
loader_xsb.c:924:5: note: in expansion of macro âget_obj_byteâ
get_obj_byte(&arity);
^
loader_xsb.c:110:28: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result [-Wunused-result]
#define get_obj_data(x,y) (fread((char *)(x), 1, (y), fd))
^
loader_xsb.c:112:27: note: in expansion of macro âget_obj_dataâ
#define get_obj_byte(x) (get_obj_data((x),1))
^
loader_xsb.c:925:5: note: in expansion of macro âget_obj_byteâ
get_obj_byte(&name_len);
^
loader_xsb.c:110:28: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result [-Wunused-result]
#define get_obj_data(x,y) (fread((char *)(x), 1, (y), fd))
^
loader_xsb.c:114:32: note: in expansion of macro âget_obj_dataâ
#define get_obj_string(x,len) (get_obj_data((x),(len)))
^
loader_xsb.c:930:5: note: in expansion of macro âget_obj_stringâ
get_obj_string(name, name_len);
^
loader_xsb.c:110:28: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result [-Wunused-result]
#define get_obj_data(x,y) (fread((char *)(x), 1, (y), fd))
^
loader_xsb.c:113:27: note: in expansion of macro âget_obj_dataâ
#define get_obj_word(x) (get_obj_data((x),OBJ_WORD_SIZE))
^
loader_xsb.c:116:32: note: in expansion of macro âget_obj_wordâ
#define get_obj_word_bb(x) {get_obj_word(x) ; fix_bb(x) ; }
^
loader_xsb.c:932:5: note: in expansion of macro âget_obj_word_bbâ
get_obj_word_bb(&text_bytes);
^
loader_xsb.c:110:28: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result [-Wunused-result]
#define get_obj_data(x,y) (fread((char *)(x), 1, (y), fd))
^
loader_xsb.c:113:27: note: in expansion of macro âget_obj_dataâ
#define get_obj_word(x) (get_obj_data((x),OBJ_WORD_SIZE))
^
loader_xsb.c:116:32: note: in expansion of macro âget_obj_wordâ
#define get_obj_word_bb(x) {get_obj_word(x) ; fix_bb(x) ; }
^
loader_xsb.c:934:5: note: in expansion of macro âget_obj_word_bbâ
get_obj_word_bb(&index_bytes);
^
loader_xsb.c: In function âload_one_symâ:
loader_xsb.c:110:28: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result [-Wunused-result]
#define get_obj_data(x,y) (fread((char *)(x), 1, (y), fd))
^
loader_xsb.c:112:27: note: in expansion of macro âget_obj_dataâ
#define get_obj_byte(x) (get_obj_data((x),1))
^
loader_xsb.c:690:3: note: in expansion of macro âget_obj_byteâ
get_obj_byte(&t_env);
^
loader_xsb.c:110:28: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result [-Wunused-result]
#define get_obj_data(x,y) (fread((char *)(x), 1, (y), fd))
^
loader_xsb.c:112:27: note: in expansion of macro âget_obj_dataâ
#define get_obj_byte(x) (get_obj_data((x),1))
^
loader_xsb.c:696:3: note: in expansion of macro âget_obj_byteâ
get_obj_byte(&t_type); t_defined = t_type & T_DEFI; t_type = t_type & ~T_DEFI;
^
loader_xsb.c:110:28: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result [-Wunused-result]
#define get_obj_data(x,y) (fread((char *)(x), 1, (y), fd))
^
loader_xsb.c:112:27: note: in expansion of macro âget_obj_dataâ
#define get_obj_byte(x) (get_obj_data((x),1))
^
loader_xsb.c:697:3: note: in expansion of macro âget_obj_byteâ
get_obj_byte(&t_arity);
^
loader_xsb.c:110:28: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result [-Wunused-result]
#define get_obj_data(x,y) (fread((char *)(x), 1, (y), fd))
^
loader_xsb.c:112:27: note: in expansion of macro âget_obj_dataâ
#define get_obj_byte(x) (get_obj_data((x),1))
^
loader_xsb.c:706:7: note: in expansion of macro âget_obj_byteâ
get_obj_byte(&t_modlen);
^
loader_xsb.c:110:28: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result [-Wunused-result]
#define get_obj_data(x,y) (fread((char *)(x), 1, (y), fd))
^
loader_xsb.c:114:32: note: in expansion of macro âget_obj_dataâ
#define get_obj_string(x,len) (get_obj_data((x),(len)))
^
loader_xsb.c:707:7: note: in expansion of macro âget_obj_stringâ
get_obj_string(modname, t_modlen);
^
loader_xsb.c: In function âget_obj_atomâ:
loader_xsb.c:110:28: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result [-Wunused-result]
#define get_obj_data(x,y) (fread((char *)(x), 1, (y), fd))
^
loader_xsb.c:664:3: note: in expansion of macro âget_obj_dataâ
get_obj_data((&x),1);
^
loader_xsb.c:110:28: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result [-Wunused-result]
#define get_obj_data(x,y) (fread((char *)(x), 1, (y), fd))
^
loader_xsb.c:113:27: note: in expansion of macro âget_obj_dataâ
#define get_obj_word(x) (get_obj_data((x),OBJ_WORD_SIZE))
^
loader_xsb.c:116:32: note: in expansion of macro âget_obj_wordâ
#define get_obj_word_bb(x) {get_obj_word(x) ; fix_bb(x) ; }
^
loader_xsb.c:669:5: note: in expansion of macro âget_obj_word_bbâ
get_obj_word_bb(&len);
^
loader_xsb.c:110:28: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result [-Wunused-result]
#define get_obj_data(x,y) (fread((char *)(x), 1, (y), fd))
^
loader_xsb.c:114:32: note: in expansion of macro âget_obj_dataâ
#define get_obj_string(x,len) (get_obj_data((x),(len)))
^
loader_xsb.c:675:3: note: in expansion of macro âget_obj_stringâ
get_obj_string(atom->string, len);
^
loader_xsb.c: In function âload_textâ:
loader_xsb.c:110:28: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result [-Wunused-result]
#define get_obj_data(x,y) (fread((char *)(x), 1, (y), fd))
^
loader_xsb.c:113:27: note: in expansion of macro âget_obj_dataâ
#define get_obj_word(x) (get_obj_data((x),OBJ_WORD_SIZE))
^
loader_xsb.c:116:32: note: in expansion of macro âget_obj_wordâ
#define get_obj_word_bb(x) {get_obj_word(x) ; fix_bb(x) ; }
^
loader_xsb.c:435:2: note: in expansion of macro âget_obj_word_bbâ
get_obj_word_bb(inst_addr);
^
loader_xsb.c:110:28: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result [-Wunused-result]
#define get_obj_data(x,y) (fread((char *)(x), 1, (y), fd))
^
loader_xsb.c:113:27: note: in expansion of macro âget_obj_dataâ
#define get_obj_word(x) (get_obj_data((x),OBJ_WORD_SIZE))
^
loader_xsb.c:116:32: note: in expansion of macro âget_obj_wordâ
#define get_obj_word_bb(x) {get_obj_word(x) ; fix_bb(x) ; }
^
loader_xsb.c:440:2: note: in expansion of macro âget_obj_word_bbâ
get_obj_word_bb(inst_addr);
^
loader_xsb.c:110:28: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result [-Wunused-result]
#define get_obj_data(x,y) (fread((char *)(x), 1, (y), fd))
^
loader_xsb.c:113:27: note: in expansion of macro âget_obj_dataâ
#define get_obj_word(x) (get_obj_data((x),OBJ_WORD_SIZE))
^
loader_xsb.c:119:38: note: in expansion of macro âget_obj_wordâ
#define get_obj_word_bbsig_notag(x) {get_obj_word(x) ; fix_bb4(x) ; \
^
loader_xsb.c:445:2: note: in expansion of macro âget_obj_word_bbsig_notagâ
get_obj_word_bbsig_notag(inst_addr);
^
loader_xsb.c:110:28: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result [-Wunused-result]
#define get_obj_data(x,y) (fread((char *)(x), 1, (y), fd))
^
loader_xsb.c:113:27: note: in expansion of macro âget_obj_dataâ
#define get_obj_word(x) (get_obj_data((x),OBJ_WORD_SIZE))
^
loader_xsb.c:116:32: note: in expansion of macro âget_obj_wordâ
#define get_obj_word_bb(x) {get_obj_word(x) ; fix_bb(x) ; }
^
loader_xsb.c:451:2: note: in expansion of macro âget_obj_word_bbâ
get_obj_word_bb(inst_addr);
^
loader_xsb.c:110:28: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result [-Wunused-result]
#define get_obj_data(x,y) (fread((char *)(x), 1, (y), fd))
^
loader_xsb.c:113:27: note: in expansion of macro âget_obj_dataâ
#define get_obj_word(x) (get_obj_data((x),OBJ_WORD_SIZE))
^
loader_xsb.c:119:38: note: in expansion of macro âget_obj_wordâ
#define get_obj_word_bbsig_notag(x) {get_obj_word(x) ; fix_bb4(x) ; \
^
loader_xsb.c:456:2: note: in expansion of macro âget_obj_word_bbsig_notagâ
get_obj_word_bbsig_notag(inst_addr);
^
loader_xsb.c:110:28: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result [-Wunused-result]
#define get_obj_data(x,y) (fread((char *)(x), 1, (y), fd))
^
loader_xsb.c:114:32: note: in expansion of macro âget_obj_dataâ
#define get_obj_string(x,len) (get_obj_data((x),(len)))
^
loader_xsb.c:460:2: note: in expansion of macro âget_obj_stringâ
get_obj_string(inst_addr,8);
^
loader_xsb.c:110:28: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result [-Wunused-result]
#define get_obj_data(x,y) (fread((char *)(x), 1, (y), fd))
^
loader_xsb.c:113:27: note: in expansion of macro âget_obj_dataâ
#define get_obj_word(x) (get_obj_data((x),OBJ_WORD_SIZE))
^
loader_xsb.c:119:38: note: in expansion of macro âget_obj_wordâ
#define get_obj_word_bbsig_notag(x) {get_obj_word(x) ; fix_bb4(x) ; \
^
loader_xsb.c:464:2: note: in expansion of macro âget_obj_word_bbsig_notagâ
get_obj_word_bbsig_notag(inst_addr);
^
loader_xsb.c:110:28: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result [-Wunused-result]
#define get_obj_data(x,y) (fread((char *)(x), 1, (y), fd))
^
loader_xsb.c:113:27: note: in expansion of macro âget_obj_dataâ
#define get_obj_word(x) (get_obj_data((x),OBJ_WORD_SIZE))
^
loader_xsb.c:116:32: note: in expansion of macro âget_obj_wordâ
#define get_obj_word_bb(x) {get_obj_word(x) ; fix_bb(x) ; }
^
loader_xsb.c:468:2: note: in expansion of macro âget_obj_word_bbâ
get_obj_word_bb(inst_addr);
^
loader_xsb.c:110:28: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result [-Wunused-result]
#define get_obj_data(x,y) (fread((char *)(x), 1, (y), fd))
^
loader_xsb.c:113:27: note: in expansion of macro âget_obj_dataâ
#define get_obj_word(x) (get_obj_data((x),OBJ_WORD_SIZE))
^
loader_xsb.c:490:2: note: in expansion of macro âget_obj_wordâ
get_obj_word(&tab_config_hold); /* space holder */
^
loader_xsb.c: In function âload_indexâ:
loader_xsb.c:110:28: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result [-Wunused-result]
#define get_obj_data(x,y) (fread((char *)(x), 1, (y), fd))
^
loader_xsb.c:112:27: note: in expansion of macro âget_obj_dataâ
#define get_obj_byte(x) (get_obj_data((x),1))
^
loader_xsb.c:516:5: note: in expansion of macro âget_obj_byteâ
get_obj_byte(&index_inst);
^
loader_xsb.c:110:28: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result [-Wunused-result]
#define get_obj_data(x,y) (fread((char *)(x), 1, (y), fd))
^
loader_xsb.c:112:27: note: in expansion of macro âget_obj_dataâ
#define get_obj_byte(x) (get_obj_data((x),1))
^
loader_xsb.c:517:5: note: in expansion of macro âget_obj_byteâ
get_obj_byte(&arity);
^
loader_xsb.c:110:28: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result [-Wunused-result]
#define get_obj_data(x,y) (fread((char *)(x), 1, (y), fd))
^
loader_xsb.c:113:27: note: in expansion of macro âget_obj_dataâ
#define get_obj_word(x) (get_obj_data((x),OBJ_WORD_SIZE))
^
loader_xsb.c:116:32: note: in expansion of macro âget_obj_wordâ
#define get_obj_word_bb(x) {get_obj_word(x) ; fix_bb(x) ; }
^
loader_xsb.c:518:5: note: in expansion of macro âget_obj_word_bbâ
get_obj_word_bb(&index_bno);
^
loader_xsb.c:110:28: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result [-Wunused-result]
#define get_obj_data(x,y) (fread((char *)(x), 1, (y), fd))
^
loader_xsb.c:113:27: note: in expansion of macro âget_obj_dataâ
#define get_obj_word(x) (get_obj_data((x),OBJ_WORD_SIZE))
^
loader_xsb.c:116:32: note: in expansion of macro âget_obj_wordâ
#define get_obj_word_bb(x) {get_obj_word(x) ; fix_bb(x) ; }
^
loader_xsb.c:520:5: note: in expansion of macro âget_obj_word_bbâ
get_obj_word_bb(&clause_no);
^
loader_xsb.c: In function âget_index_tabâ:
loader_xsb.c:110:28: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result [-Wunused-result]
#define get_obj_data(x,y) (fread((char *)(x), 1, (y), fd))
^
loader_xsb.c:112:27: note: in expansion of macro âget_obj_dataâ
#define get_obj_byte(x) (get_obj_data((x),1))
^
loader_xsb.c:256:5: note: in expansion of macro âget_obj_byteâ
get_obj_byte(&type);
^
loader_xsb.c:110:28: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result [-Wunused-result]
#define get_obj_data(x,y) (fread((char *)(x), 1, (y), fd))
^
loader_xsb.c:113:27: note: in expansion of macro âget_obj_dataâ
#define get_obj_word(x) (get_obj_data((x),OBJ_WORD_SIZE))
^
loader_xsb.c:119:38: note: in expansion of macro âget_obj_wordâ
#define get_obj_word_bbsig_notag(x) {get_obj_word(x) ; fix_bb4(x) ; \
^
loader_xsb.c:258:15: note: in expansion of macro âget_obj_word_bbsig_notagâ
case 'i': get_obj_word_bbsig_notag(&ival);
^
loader_xsb.c:110:28: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result [-Wunused-result]
#define get_obj_data(x,y) (fread((char *)(x), 1, (y), fd))
^
loader_xsb.c:113:27: note: in expansion of macro âget_obj_dataâ
#define get_obj_word(x) (get_obj_data((x),OBJ_WORD_SIZE))
^
loader_xsb.c:119:38: note: in expansion of macro âget_obj_wordâ
#define get_obj_word_bbsig_notag(x) {get_obj_word(x) ; fix_bb4(x) ; \
^
loader_xsb.c:263:7: note: in expansion of macro âget_obj_word_bbsig_notagâ
get_obj_word_bbsig_notag(&ival);
^
loader_xsb.c:110:28: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result [-Wunused-result]
#define get_obj_data(x,y) (fread((char *)(x), 1, (y), fd))
^
loader_xsb.c:114:32: note: in expansion of macro âget_obj_dataâ
#define get_obj_string(x,len) (get_obj_data((x),(len)))
^
loader_xsb.c:275:7: note: in expansion of macro âget_obj_stringâ
get_obj_string(&fval,8);
^
loader_xsb.c:110:28: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result [-Wunused-result]
#define get_obj_data(x,y) (fread((char *)(x), 1, (y), fd))
^
loader_xsb.c:113:27: note: in expansion of macro âget_obj_dataâ
#define get_obj_word(x) (get_obj_data((x),OBJ_WORD_SIZE))
^
loader_xsb.c:116:32: note: in expansion of macro âget_obj_wordâ
#define get_obj_word_bb(x) {get_obj_word(x) ; fix_bb(x) ; }
^
loader_xsb.c:301:15: note: in expansion of macro âget_obj_word_bbâ
case 'c': get_obj_word_bb(&ival);
^
loader_xsb.c:110:28: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result [-Wunused-result]
#define get_obj_data(x,y) (fread((char *)(x), 1, (y), fd))
^
loader_xsb.c:113:27: note: in expansion of macro âget_obj_dataâ
#define get_obj_word(x) (get_obj_data((x),OBJ_WORD_SIZE))
^
loader_xsb.c:116:32: note: in expansion of macro âget_obj_wordâ
#define get_obj_word_bb(x) {get_obj_word(x) ; fix_bb(x) ; }
^
loader_xsb.c:307:15: note: in expansion of macro âget_obj_word_bbâ
case 's': get_obj_word_bb(&ival);
^
loader_xsb.c:110:28: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result [-Wunused-result]
#define get_obj_data(x,y) (fread((char *)(x), 1, (y), fd))
^
loader_xsb.c:113:27: note: in expansion of macro âget_obj_dataâ
#define get_obj_word(x) (get_obj_data((x),OBJ_WORD_SIZE))
^
loader_xsb.c:119:38: note: in expansion of macro âget_obj_wordâ
#define get_obj_word_bbsig_notag(x) {get_obj_word(x) ; fix_bb4(x) ; \
^
loader_xsb.c:318:5: note: in expansion of macro âget_obj_word_bbsig_notagâ
get_obj_word_bbsig_notag(&label);
^
loader_xsb.c: In function âloader_foreignâ:
loader_xsb.c:110:28: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result [-Wunused-result]
#define get_obj_data(x,y) (fread((char *)(x), 1, (y), fd))
^
loader_xsb.c:112:27: note: in expansion of macro âget_obj_dataâ
#define get_obj_byte(x) (get_obj_data((x),1))
^
loader_xsb.c:1048:3: note: in expansion of macro âget_obj_byteâ
get_obj_byte(&name_len);
^
loader_xsb.c:110:28: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result [-Wunused-result]
#define get_obj_data(x,y) (fread((char *)(x), 1, (y), fd))
^
loader_xsb.c:114:32: note: in expansion of macro âget_obj_dataâ
#define get_obj_string(x,len) (get_obj_data((x),(len)))
^
loader_xsb.c:1053:3: note: in expansion of macro âget_obj_stringâ
get_obj_string(name, name_len);
^
loader_xsb.c:110:28: warning: ignoring return value of âfreadâ, declared with attribute warn_unused_result [-Wunused-result]
#define get_obj_data(x,y) (fread((char *)(x), 1, (y), fd))
^
loader_xsb.c:113:27: note: in expansion of macro âget_obj_dataâ
#define get_obj_word(x) (get_obj_data((x),OBJ_WORD_SIZE))
^
loader_xsb.c:116:32: note: in expansion of macro âget_obj_wordâ
#define get_obj_word_bb(x) {get_obj_word(x) ; fix_bb(x) ; }
^
loader_xsb.c:1058:3: note: in expansion of macro âget_obj_word_bbâ
get_obj_word_bb(&psc_count);
^
[gcc] memory_xsb.c
In file included from memory_xsb.c:51:0:
cell_xsb.h:369:20: warning: inline function âbld_boxedfloatâ declared but never defined
extern inline void bld_boxedfloat(CTXTdeclc CPtr, Float);
^
cell_xsb.h:278:21: warning: inline function âmake_float_from_intsâ declared but never defined
extern inline Float make_float_from_ints(UInteger);
^
cell_xsb.h:104:19: warning: inline function âsignâ declared but never defined
extern inline int sign(Float);
^
cell_xsb.h:103:20: warning: inline function âmakefloatâ declared but never defined
extern inline Cell makefloat(float);
^
cell_xsb.h:102:21: warning: inline function âgetfloatvalâ declared but never defined
extern inline float getfloatval(Cell);
^
[gcc] orient_xsb.c
In file included from orient_xsb.c:49:0:
cell_xsb.h:369:20: warning: inline function âbld_boxedfloatâ declared but never defined
extern inline void bld_boxedfloat(CTXTdeclc CPtr, Float);
^
cell_xsb.h:278:21: warning: inline function âmake_float_from_intsâ declared but never defined
extern inline Float make_float_from_ints(UInteger);
^
cell_xsb.h:104:19: warning: inline function âsignâ declared but never defined
extern inline int sign(Float);
^
cell_xsb.h:103:20: warning: inline function âmakefloatâ declared but never defined
extern inline Cell makefloat(float);
^
cell_xsb.h:102:21: warning: inline function âgetfloatvalâ declared but never defined
extern inline float getfloatval(Cell);
^
orient_xsb.c: In function âxsb_executable_full_pathâ:
orient_xsb.c:180:5: warning: ignoring return value of âgetcwdâ, declared with attribute warn_unused_result [-Wunused-result]
getcwd(current_dir_gl, MAXPATHLEN-1);
^
[gcc] pathname_xsb.c
pathname_xsb.c: In function âparse_filenameâ:
pathname_xsb.c:475:18: warning: comparison with string literal results in unspecified behavior [-Waddress]
if (*extension != "")
^
In file included from pathname_xsb.c:54:0:
pathname_xsb.c: At top level:
cell_xsb.h:369:20: warning: inline function âbld_boxedfloatâ declared but never defined
extern inline void bld_boxedfloat(CTXTdeclc CPtr, Float);
^
cell_xsb.h:278:21: warning: inline function âmake_float_from_intsâ declared but never defined
extern inline Float make_float_from_ints(UInteger);
^
cell_xsb.h:104:19: warning: inline function âsignâ declared but never defined
extern inline int sign(Float);
^
cell_xsb.h:103:20: warning: inline function âmakefloatâ declared but never defined
extern inline Cell makefloat(float);
^
cell_xsb.h:102:21: warning: inline function âgetfloatvalâ declared but never defined
extern inline float getfloatval(Cell);
^
pathname_xsb.c: In function âexpand_filenameâ:
pathname_xsb.c:214:5: warning: ignoring return value of âgetcwdâ, declared with attribute warn_unused_result [-Wunused-result]
getcwd(aux_filename2, MAXPATHLEN-1);
^
[gcc] psc_xsb.c
In file included from psc_xsb.c:35:0:
cell_xsb.h:369:20: warning: inline function âbld_boxedfloatâ declared but never defined
extern inline void bld_boxedfloat(CTXTdeclc CPtr, Float);
^
cell_xsb.h:278:21: warning: inline function âmake_float_from_intsâ declared but never defined
extern inline Float make_float_from_ints(UInteger);
^
cell_xsb.h:104:19: warning: inline function âsignâ declared but never defined
extern inline int sign(Float);
^
cell_xsb.h:103:20: warning: inline function âmakefloatâ declared but never defined
extern inline Cell makefloat(float);
^
cell_xsb.h:102:21: warning: inline function âgetfloatvalâ declared but never defined
extern inline float getfloatval(Cell);
^
[gcc] random_xsb.c
In file included from random_xsb.c:45:0:
cell_xsb.h:369:20: warning: inline function âbld_boxedfloatâ declared but never defined
extern inline void bld_boxedfloat(CTXTdeclc CPtr, Float);
^
cell_xsb.h:278:21: warning: inline function âmake_float_from_intsâ declared but never defined
extern inline Float make_float_from_ints(UInteger);
^
cell_xsb.h:104:19: warning: inline function âsignâ declared but never defined
extern inline int sign(Float);
^
cell_xsb.h:103:20: warning: inline function âmakefloatâ declared but never defined
extern inline Cell makefloat(float);
^
cell_xsb.h:102:21: warning: inline function âgetfloatvalâ declared but never defined
extern inline float getfloatval(Cell);
^
[gcc] remove_unf.c
In file included from remove_unf.c:7:0:
cell_xsb.h:369:20: warning: inline function âbld_boxedfloatâ declared but never defined
extern inline void bld_boxedfloat(CTXTdeclc CPtr, Float);
^
cell_xsb.h:278:21: warning: inline function âmake_float_from_intsâ declared but never defined
extern inline Float make_float_from_ints(UInteger);
^
cell_xsb.h:104:19: warning: inline function âsignâ declared but never defined
extern inline int sign(Float);
^
cell_xsb.h:103:20: warning: inline function âmakefloatâ declared but never defined
extern inline Cell makefloat(float);
^
cell_xsb.h:102:21: warning: inline function âgetfloatvalâ declared but never defined
extern inline float getfloatval(Cell);
^
[gcc] residual.c
In file included from residual.c:37:0:
cell_xsb.h:369:20: warning: inline function âbld_boxedfloatâ declared but never defined
extern inline void bld_boxedfloat(CTXTdeclc CPtr, Float);
^
cell_xsb.h:278:21: warning: inline function âmake_float_from_intsâ declared but never defined
extern inline Float make_float_from_ints(UInteger);
^
cell_xsb.h:104:19: warning: inline function âsignâ declared but never defined
extern inline int sign(Float);
^
cell_xsb.h:103:20: warning: inline function âmakefloatâ declared but never defined
extern inline Cell makefloat(float);
^
cell_xsb.h:102:21: warning: inline function âgetfloatvalâ declared but never defined
extern inline float getfloatval(Cell);
^
[gcc] rw_lock.c
[gcc] scc_xsb.c
In file included from scc_xsb.c:33:0:
cell_xsb.h:369:20: warning: inline function âbld_boxedfloatâ declared but never defined
extern inline void bld_boxedfloat(CTXTdeclc CPtr, Float);
^
cell_xsb.h:278:21: warning: inline function âmake_float_from_intsâ declared but never defined
extern inline Float make_float_from_ints(UInteger);
^
cell_xsb.h:104:19: warning: inline function âsignâ declared but never defined
extern inline int sign(Float);
^
cell_xsb.h:103:20: warning: inline function âmakefloatâ declared but never defined
extern inline Cell makefloat(float);
^
cell_xsb.h:102:21: warning: inline function âgetfloatvalâ declared but never defined
extern inline float getfloatval(Cell);
^
[gcc] slgdelay.c
slgdelay.c: In function âsimpl_var_trie_lookupâ:
slgdelay.c:355:7: warning: variable âstd_var_numâ set but not used [-Wunused-but-set-variable]
int std_var_num; /* Next available TrieVar index; for
^
slgdelay.c: In function âsimplify_neg_succeedsâ:
slgdelay.c:1362:10: warning: variable âtmp_dlâ set but not used [-Wunused-but-set-variable]
DL dl, tmp_dl;
^
In file included from slgdelay.c:38:0:
slgdelay.c: At top level:
cell_xsb.h:369:20: warning: inline function âbld_boxedfloatâ declared but never defined
extern inline void bld_boxedfloat(CTXTdeclc CPtr, Float);
^
cell_xsb.h:278:21: warning: inline function âmake_float_from_intsâ declared but never defined
extern inline Float make_float_from_ints(UInteger);
^
cell_xsb.h:104:19: warning: inline function âsignâ declared but never defined
extern inline int sign(Float);
^
cell_xsb.h:103:20: warning: inline function âmakefloatâ declared but never defined
extern inline Cell makefloat(float);
^
cell_xsb.h:102:21: warning: inline function âgetfloatvalâ declared but never defined
extern inline float getfloatval(Cell);
^
[gcc] socket_xsb.c
socket_xsb.c: In function âxsb_socket_requestâ:
socket_xsb.c:777:9: warning: variable âconnectname_foundâ set but not used [-Wunused-but-set-variable]
int connectname_found = FALSE;
^
In file included from flags_xsb.h:31:0,
from socket_xsb.c:65:
socket_xsb.c: At top level:
cell_xsb.h:369:20: warning: inline function âbld_boxedfloatâ declared but never defined
extern inline void bld_boxedfloat(CTXTdeclc CPtr, Float);
^
cell_xsb.h:278:21: warning: inline function âmake_float_from_intsâ declared but never defined
extern inline Float make_float_from_ints(UInteger);
^
cell_xsb.h:104:19: warning: inline function âsignâ declared but never defined
extern inline int sign(Float);
^
cell_xsb.h:103:20: warning: inline function âmakefloatâ declared but never defined
extern inline Cell makefloat(float);
^
cell_xsb.h:102:21: warning: inline function âgetfloatvalâ declared but never defined
extern inline float getfloatval(Cell);
^
[gcc] string_xsb.c
In file included from string_xsb.c:34:0:
cell_xsb.h:369:20: warning: inline function âbld_boxedfloatâ declared but never defined
extern inline void bld_boxedfloat(CTXTdeclc CPtr, Float);
^
cell_xsb.h:278:21: warning: inline function âmake_float_from_intsâ declared but never defined
extern inline Float make_float_from_ints(UInteger);
^
cell_xsb.h:104:19: warning: inline function âsignâ declared but never defined
extern inline int sign(Float);
^
cell_xsb.h:103:20: warning: inline function âmakefloatâ declared but never defined
extern inline Cell makefloat(float);
^
cell_xsb.h:102:21: warning: inline function âgetfloatvalâ declared but never defined
extern inline float getfloatval(Cell);
^
[gcc] storage_xsb.c
In file included from storage_xsb.c:33:0:
cell_xsb.h:369:20: warning: inline function âbld_boxedfloatâ declared but never defined
extern inline void bld_boxedfloat(CTXTdeclc CPtr, Float);
^
cell_xsb.h:278:21: warning: inline function âmake_float_from_intsâ declared but never defined
extern inline Float make_float_from_ints(UInteger);
^
cell_xsb.h:104:19: warning: inline function âsignâ declared but never defined
extern inline int sign(Float);
^
cell_xsb.h:103:20: warning: inline function âmakefloatâ declared but never defined
extern inline Cell makefloat(float);
^
cell_xsb.h:102:21: warning: inline function âgetfloatvalâ declared but never defined
extern inline float getfloatval(Cell);
^
[gcc] struct_manager.c
In file included from struct_manager.c:42:0:
cell_xsb.h:369:20: warning: inline function âbld_boxedfloatâ declared but never defined
extern inline void bld_boxedfloat(CTXTdeclc CPtr, Float);
^
cell_xsb.h:278:21: warning: inline function âmake_float_from_intsâ declared but never defined
extern inline Float make_float_from_ints(UInteger);
^
cell_xsb.h:104:19: warning: inline function âsignâ declared but never defined
extern inline int sign(Float);
^
cell_xsb.h:103:20: warning: inline function âmakefloatâ declared but never defined
extern inline Cell makefloat(float);
^
cell_xsb.h:102:21: warning: inline function âgetfloatvalâ declared but never defined
extern inline float getfloatval(Cell);
^
[gcc] sub_delete.c
In file included from sub_delete.c:34:0:
cell_xsb.h:369:20: warning: inline function âbld_boxedfloatâ declared but never defined
extern inline void bld_boxedfloat(CTXTdeclc CPtr, Float);
^
cell_xsb.h:278:21: warning: inline function âmake_float_from_intsâ declared but never defined
extern inline Float make_float_from_ints(UInteger);
^
cell_xsb.h:104:19: warning: inline function âsignâ declared but never defined
extern inline int sign(Float);
^
cell_xsb.h:103:20: warning: inline function âmakefloatâ declared but never defined
extern inline Cell makefloat(float);
^
cell_xsb.h:102:21: warning: inline function âgetfloatvalâ declared but never defined
extern inline float getfloatval(Cell);
^
[gcc] subp.c
In file included from subp.c:55:0:
cell_xsb.h:369:20: warning: inline function âbld_boxedfloatâ declared but never defined
extern inline void bld_boxedfloat(CTXTdeclc CPtr, Float);
^
cell_xsb.h:278:21: warning: inline function âmake_float_from_intsâ declared but never defined
extern inline Float make_float_from_ints(UInteger);
^
[gcc] system_xsb.c
In file included from system_xsb.c:54:0:
cell_xsb.h:369:20: warning: inline function âbld_boxedfloatâ declared but never defined
extern inline void bld_boxedfloat(CTXTdeclc CPtr, Float);
^
cell_xsb.h:278:21: warning: inline function âmake_float_from_intsâ declared but never defined
extern inline Float make_float_from_ints(UInteger);
^
cell_xsb.h:104:19: warning: inline function âsignâ declared but never defined
extern inline int sign(Float);
^
cell_xsb.h:103:20: warning: inline function âmakefloatâ declared but never defined
extern inline Cell makefloat(float);
^
cell_xsb.h:102:21: warning: inline function âgetfloatvalâ declared but never defined
extern inline float getfloatval(Cell);
^
[gcc] table_stats.c
table_stats.c: In function âprint_detailed_tablespace_statsâ:
table_stats.c:261:23: warning: variable âtrieassert_usedâ set but not used [-Wunused-but-set-variable]
trieassert_alloc, trieassert_used,
^
In file included from table_stats.c:33:0:
table_stats.c: At top level:
cell_xsb.h:369:20: warning: i...
[truncated message content] |
|
From: Davide M. <dav...@gm...> - 2017-07-01 08:59:20
|
Hi, I have an error during the installation of XSB (OS Ubuntu 16.10). I have to install in order to use xsb MulVal. This is the error: "*Making XSB executable /home/davide/Documenti/XSB/config/i686-pc-linux-gnu/bin/xsb * *-e [gcc] -o /home/davide/Documenti/XSB/config/i686-pc-linux-gnu/bin/xsb -lm -ldl -Wl,-export-dynamic -lpthread * *error_xsb.o: nella funzione "print_incomplete_tables_on_abort.part.2":* *error_xsb.c:(.text+0x43): attenzione: the use of `tempnam' is dangerous, better use `mkstemp'* *heap_xsb.o: nella funzione "glstack_realloc":* *heap_xsb.c:(.text+0x5915): riferimento non definito a "extend_enc_dec_as_nec"* *init_xsb.o: nella funzione "init_machine":* *init_xsb.c:(.text+0x18e4): riferimento non definito a "extend_enc_dec_as_nec"* *init_xsb.c:(.text+0x193c): riferimento non definito a "extend_enc_dec_as_nec"* *collect2: error: ld returned 1 exit status* *Makefile:163: set di istruzioni per l'obiettivo "xsb" non riuscito* *make[1]: *** [xsb] Errore 1* *make[1]: uscita dalla directory "/home/davide/Documenti/XSB/emu"* *../config/i686-pc-linux-gnu/topMakefile:194: set di istruzioni per l'obiettivo "emulator" non riuscito* " How can I fix it? Thanks you for all. Best regards Davide |
|
From: Marjolein Z. <mar...@ho...> - 2016-05-06 10:59:42
|
This file contains any messages produced by compilers while
running configure, to aid debugging if configure makes a mistake.
It was created by configure, which was
generated by GNU Autoconf 2.69. Invocation command line was
$ ./configure --disable-no-cygwin
## --------- ##
## Platform. ##
## --------- ##
hostname = WINDOWS-64P7JRQ
uname -m = i686
uname -r = 2.5.1(0.297/5/3)
uname -s = CYGWIN_NT-10.0-WOW
uname -v = 2016-04-21 22:12
/usr/bin/uname -p = unknown
/bin/uname -X = unknown
/bin/arch = i686
/usr/bin/arch -k = unknown
/usr/convex/getsysinfo = unknown
/usr/bin/hostinfo = unknown
/bin/machine = unknown
/usr/bin/oslevel = unknown
/bin/universe = unknown
PATH: /usr/local/bin
PATH: /usr/bin
PATH: /cygdrive/c/Program Files (x86)/NVIDIA Corporation/PhysX/Common
PATH: /cygdrive/c/windows/system32
PATH: /cygdrive/c/windows
PATH: /cygdrive/c/windows/System32/Wbem
PATH: /cygdrive/c/windows/System32/WindowsPowerShell/v1.0
PATH: /cygdrive/c/Program Files (x86)/Common Files/Acronis/SnapAPI
PATH: /cygdrive/c/Program Files (x86)/MiKTeX 2.9/miktex/bin
PATH: /cygdrive/c/Program Files/MATLAB/R2010b/runtime/win64
PATH: /cygdrive/c/Program Files/MATLAB/R2010b/bin
PATH: /cygdrive/c/Program Files (x86)/Windows Kits/8.1/Windows Performance Toolkit
PATH: /cygdrive/c/Program Files (x86)/Skype/Phone
PATH: %SystemRoot%/system32
PATH: %SystemRoot%
PATH: %SystemRoot%/System32/Wbem
PATH: %SYSTEMROOT%/System32/WindowsPowerShell/v1.0
## ----------- ##
## Core tests. ##
## ----------- ##
configure:3228: checking build system type
configure:3242: result: i686-pc-cygwin
configure:3262: checking host system type
configure:3275: result: i686-pc-cygwin
configure:3313: checking host system type... i686-pc-cygwin
configure:3412: checking /cygdrive/c/xsb/lib
configure:3414: result: OK
configure:3419: checking /cygdrive/c/xsb/syslib
configure:3421: result: OK
configure:3426: checking /cygdrive/c/xsb/cmplib
configure:3428: result: OK
configure:3439: checking /cygdrive/c/xsb/bin
configure:3441: result: OK
configure:3446: checking /cygdrive/c/xsb/config/i686-pc-cygwin/bin
configure:3448: result: OK
configure:3453: checking /cygdrive/c/xsb/config/i686-pc-cygwin/lib
configure:3455: result: OK
configure:3460: checking /cygdrive/c/xsb/config/i686-pc-cygwin/saved.o
configure:3462: result: OK
configure:3467: checking /cygdrive/c/xsb/site/lib
configure:3469: result: OK
configure:3474: checking /cygdrive/c/xsb/site/config/i686-pc-cygwin/lib
configure:3476: result: OK
configure:3481: checking /cygdrive/c/xsb/emu
configure:3483: result: OK
configure:3488: checking /cygdrive/c/xsb/lib
configure:3490: result: OK
configure:3495: checking /cygdrive/c/xsb/syslib
configure:3497: result: OK
configure:3502: checking /cygdrive/c/xsb/cmplib
configure:3504: result: OK
configure:3509: checking /cygdrive/c/xsb/bin
configure:3511: result: OK
configure:3516: checking /cygdrive/c/xsb/build
configure:3518: result: OK
configure:3523: checking /cygdrive/c/xsb/config/i686-pc-cygwin/bin
configure:3525: result: OK
configure:3530: checking /cygdrive/c/xsb/config/i686-pc-cygwin/lib
configure:3532: result: OK
configure:3537: checking /cygdrive/c/xsb/config/i686-pc-cygwin/saved.o
configure:3539: result: OK
configure:3544: checking /cygdrive/c/xsb/etc
configure:3546: result: OK
configure:3551: checking /cygdrive/c/xsb/packages
configure:3553: result: OK
configure:3558: checking /cygdrive/c/xsb/packages/xmc
configure:3560: result: OK
configure:3565: checking /cygdrive/c/xsb/examples
configure:3567: result: OK
configure:3572: checking /cygdrive/c/xsb/prolog_includes
configure:3574: result: OK
configure:3640: checking for gcc
configure:3656: found /usr/bin/gcc
configure:3667: result: gcc
configure:3896: checking for C compiler version
configure:3905: gcc --version >&5
gcc (GCC) 5.3.0
Copyright (C) 2015 Free Software Foundation, Inc.
This is free software; see the source for copying conditions. There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
configure:3916: $? = 0
configure:3905: gcc -v >&5
Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/usr/lib/gcc/i686-pc-cygwin/5.3.0/lto-wrapper.exe
Target: i686-pc-cygwin
Configured with: /cygdrive/i/szsz/tmpp/gcc/gcc-5.3.0-5.i686/src/gcc-5.3.0/configure --srcdir=/cygdrive/i/szsz/tmpp/gcc/gcc-5.3.0-5.i686/src/gcc-5.3.0 --prefix=/usr --exec-prefix=/usr --localstatedir=/var --sysconfdir=/etc --docdir=/usr/share/doc/gcc --htmldir=/usr/share/doc/gcc/html -C --build=i686-pc-cygwin --host=i686-pc-cygwin --target=i686-pc-cygwin --without-libiconv-prefix --without-libintl-prefix --libexecdir=/usr/lib --enable-shared --enable-shared-libgcc --enable-static --enable-version-specific-runtime-libs --enable-bootstrap --enable-__cxa_atexit --with-dwarf2 --with-arch=i686 --with-tune=generic --disable-sjlj-exceptions --enable-languages=ada,c,c++,fortran,java,lto,objc,obj-c++ --enable-graphite --enable-threads=posix --enable-libatomic --enable-libcilkrts --enable-libgomp --enable-libitm --enable-libquadmath --enable-libquadmath-support --enable-libssp --enable-libada --enable-libjava --enable-libgcj-sublibs --disable-java-awt --disable-symvers --with-ecj-jar=/usr/share/java/ecj.jar --with-gnu-ld --with-gnu-as --with-cloog-include=/usr/include/cloog-isl --without-libiconv-prefix --without-libintl-prefix --with-system-zlib --enable-linker-build-id --with-default-libstdcxx-abi=gcc4-compatible
Thread model: posix
gcc version 5.3.0 (GCC)
configure:3916: $? = 0
configure:3905: gcc -V >&5
gcc: error: unrecognized command line option '-V'
gcc: fatal error: no input files
compilation terminated.
configure:3916: $? = 1
configure:3905: gcc -qversion >&5
gcc: error: unrecognized command line option '-qversion'
gcc: fatal error: no input files
compilation terminated.
configure:3916: $? = 1
configure:3936: checking whether the C compiler works
configure:3958: gcc conftest.c >&5
configure:3962: $? = 0
configure:4010: result: yes
configure:4013: checking for C compiler default output file name
configure:4015: result: a.exe
configure:4021: checking for suffix of executables
configure:4028: gcc -o conftest.exe conftest.c >&5
configure:4032: $? = 0
configure:4054: result: .exe
configure:4076: checking whether we are cross compiling
configure:4084: gcc -o conftest.exe conftest.c >&5
configure:4088: $? = 0
configure:4095: ./conftest.exe
configure:4099: $? = 0
configure:4114: result: no
configure:4119: checking for suffix of object files
configure:4141: gcc -c conftest.c >&5
configure:4145: $? = 0
configure:4166: result: o
configure:4170: checking whether we are using the GNU C compiler
configure:4189: gcc -c conftest.c >&5
configure:4189: $? = 0
configure:4198: result: yes
configure:4207: checking whether gcc accepts -g
configure:4227: gcc -c -g conftest.c >&5
configure:4227: $? = 0
configure:4268: result: yes
configure:4285: checking for gcc option to accept ISO C89
configure:4348: gcc -c -g -O2 conftest.c >&5
configure:4348: $? = 0
configure:4361: result: none needed
configure:4386: checking how to run the C preprocessor
configure:4417: gcc -E conftest.c
configure:4417: $? = 0
configure:4431: gcc -E conftest.c
conftest.c:19:28: fatal error: ac_nonexistent.h: No such file or directory
compilation terminated.
configure:4431: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME ""
| #define PACKAGE_TARNAME ""
| #define PACKAGE_VERSION ""
| #define PACKAGE_STRING ""
| #define PACKAGE_BUGREPORT ""
| #define PACKAGE_URL ""
| #define CONFIG_INCLUDED 1
| #define ___ALWAYS_TRUE___ 1
| #define XSB_VERSION "3.6. (Gazpatcho)"
| #define RELEASE_DATE 2015-04-28
| #define RELEASE_YEAR 2015
| #define RELEASE_MONTH 4
| #define RELEASE_DAY 28
| #define LOCAL_EVAL 1
| #define GC 1
| #define SLG_GC 1
| /* end confdefs.h. */
| #include <ac_nonexistent.h>
configure:4456: result: gcc -E
configure:4476: gcc -E conftest.c
configure:4476: $? = 0
configure:4490: gcc -E conftest.c
conftest.c:19:28: fatal error: ac_nonexistent.h: No such file or directory
compilation terminated.
configure:4490: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME ""
| #define PACKAGE_TARNAME ""
| #define PACKAGE_VERSION ""
| #define PACKAGE_STRING ""
| #define PACKAGE_BUGREPORT ""
| #define PACKAGE_URL ""
| #define CONFIG_INCLUDED 1
| #define ___ALWAYS_TRUE___ 1
| #define XSB_VERSION "3.6. (Gazpatcho)"
| #define RELEASE_DATE 2015-04-28
| #define RELEASE_YEAR 2015
| #define RELEASE_MONTH 4
| #define RELEASE_DAY 28
| #define LOCAL_EVAL 1
| #define GC 1
| #define SLG_GC 1
| /* end confdefs.h. */
| #include <ac_nonexistent.h>
configure:4532: checking for a BSD-compatible install
configure:4600: result: /usr/bin/install -c
configure:4613: checking for grep that handles long lines and -e
configure:4671: result: /usr/bin/grep
configure:4676: checking for egrep
configure:4738: result: /usr/bin/grep -E
configure:4743: checking for ANSI C header files
configure:4763: gcc -c -g -O2 conftest.c >&5
configure:4763: $? = 0
configure:4836: gcc -o conftest.exe -g -O2 conftest.c >&5
configure:4836: $? = 0
configure:4836: ./conftest.exe
configure:4836: $? = 0
configure:4847: result: yes
configure:4860: checking for sys/types.h
configure:4860: gcc -c -g -O2 conftest.c >&5
configure:4860: $? = 0
configure:4860: result: yes
configure:4860: checking for sys/stat.h
configure:4860: gcc -c -g -O2 conftest.c >&5
configure:4860: $? = 0
configure:4860: result: yes
configure:4860: checking for stdlib.h
configure:4860: gcc -c -g -O2 conftest.c >&5
configure:4860: $? = 0
configure:4860: result: yes
configure:4860: checking for string.h
configure:4860: gcc -c -g -O2 conftest.c >&5
configure:4860: $? = 0
configure:4860: result: yes
configure:4860: checking for memory.h
configure:4860: gcc -c -g -O2 conftest.c >&5
configure:4860: $? = 0
configure:4860: result: yes
configure:4860: checking for strings.h
configure:4860: gcc -c -g -O2 conftest.c >&5
configure:4860: $? = 0
configure:4860: result: yes
configure:4860: checking for inttypes.h
configure:4860: gcc -c -g -O2 conftest.c >&5
configure:4860: $? = 0
configure:4860: result: yes
configure:4860: checking for stdint.h
configure:4860: gcc -c -g -O2 conftest.c >&5
configure:4860: $? = 0
configure:4860: result: yes
configure:4860: checking for unistd.h
configure:4860: gcc -c -g -O2 conftest.c >&5
configure:4860: $? = 0
configure:4860: result: yes
configure:4873: checking minix/config.h usability
configure:4873: gcc -c -g -O2 conftest.c >&5
conftest.c:62:26: fatal error: minix/config.h: No such file or directory
compilation terminated.
configure:4873: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME ""
| #define PACKAGE_TARNAME ""
| #define PACKAGE_VERSION ""
| #define PACKAGE_STRING ""
| #define PACKAGE_BUGREPORT ""
| #define PACKAGE_URL ""
| #define CONFIG_INCLUDED 1
| #define ___ALWAYS_TRUE___ 1
| #define XSB_VERSION "3.6. (Gazpatcho)"
| #define RELEASE_DATE 2015-04-28
| #define RELEASE_YEAR 2015
| #define RELEASE_MONTH 4
| #define RELEASE_DAY 28
| #define LOCAL_EVAL 1
| #define GC 1
| #define SLG_GC 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| /* end confdefs.h. */
| #include <stdio.h>
| #ifdef HAVE_SYS_TYPES_H
| # include <sys/types.h>
| #endif
| #ifdef HAVE_SYS_STAT_H
| # include <sys/stat.h>
| #endif
| #ifdef STDC_HEADERS
| # include <stdlib.h>
| # include <stddef.h>
| #else
| # ifdef HAVE_STDLIB_H
| # include <stdlib.h>
| # endif
| #endif
| #ifdef HAVE_STRING_H
| # if !defined STDC_HEADERS && defined HAVE_MEMORY_H
| # include <memory.h>
| # endif
| # include <string.h>
| #endif
| #ifdef HAVE_STRINGS_H
| # include <strings.h>
| #endif
| #ifdef HAVE_INTTYPES_H
| # include <inttypes.h>
| #endif
| #ifdef HAVE_STDINT_H
| # include <stdint.h>
| #endif
| #ifdef HAVE_UNISTD_H
| # include <unistd.h>
| #endif
| #include <minix/config.h>
configure:4873: result: no
configure:4873: checking minix/config.h presence
configure:4873: gcc -E conftest.c
conftest.c:29:26: fatal error: minix/config.h: No such file or directory
compilation terminated.
configure:4873: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME ""
| #define PACKAGE_TARNAME ""
| #define PACKAGE_VERSION ""
| #define PACKAGE_STRING ""
| #define PACKAGE_BUGREPORT ""
| #define PACKAGE_URL ""
| #define CONFIG_INCLUDED 1
| #define ___ALWAYS_TRUE___ 1
| #define XSB_VERSION "3.6. (Gazpatcho)"
| #define RELEASE_DATE 2015-04-28
| #define RELEASE_YEAR 2015
| #define RELEASE_MONTH 4
| #define RELEASE_DAY 28
| #define LOCAL_EVAL 1
| #define GC 1
| #define SLG_GC 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| /* end confdefs.h. */
| #include <minix/config.h>
configure:4873: result: no
configure:4873: checking for minix/config.h
configure:4873: result: no
configure:4894: checking whether it is safe to define __EXTENSIONS__
configure:4912: gcc -c -g -O2 conftest.c >&5
configure:4912: $? = 0
configure:4919: result: yes
configure:4937: checking for gcc
configure:4953: found /usr/bin/gcc
configure:4965: result: yes
configure:4974: checking whether we are using SunPro C
configure:4985: gcc -c -g -O2 conftest.c >&5
conftest.c:36:2: error: #error Not a SunPro compiler :-(
#error Not a SunPro compiler :-(
^
conftest.c:37:9: error: expected identifier or '(' before '==' token
******* ======= ******** &&&&&&&&
^
configure:4985: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME ""
| #define PACKAGE_TARNAME ""
| #define PACKAGE_VERSION ""
| #define PACKAGE_STRING ""
| #define PACKAGE_BUGREPORT ""
| #define PACKAGE_URL ""
| #define CONFIG_INCLUDED 1
| #define ___ALWAYS_TRUE___ 1
| #define XSB_VERSION "3.6. (Gazpatcho)"
| #define RELEASE_DATE 2015-04-28
| #define RELEASE_YEAR 2015
| #define RELEASE_MONTH 4
| #define RELEASE_DAY 28
| #define LOCAL_EVAL 1
| #define GC 1
| #define SLG_GC 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define __EXTENSIONS__ 1
| #define _ALL_SOURCE 1
| #define _GNU_SOURCE 1
| #define _POSIX_PTHREAD_SEMANTICS 1
| #define _TANDEM_SOURCE 1
| /* end confdefs.h. */
|
| #ifndef __SUNPRO_C
| #error Not a SunPro compiler :-(
| ******* ======= ******** &&&&&&&&
| #endif
|
configure:4991: result: no
configure:5135: checking whether make sets $(MAKE)
configure:5157: result: yes
configure:5173: checking size of long int
configure:5178: gcc -o conftest.exe -Wall -pipe -ansi -pedantic conftest.c >&5
configure:5178: $? = 0
configure:5178: ./conftest.exe
configure:5178: $? = 0
configure:5192: result: 4
configure:5258: checking for main in -lm
configure:5277: gcc -o conftest.exe -Wall -pipe -ansi -pedantic conftest.c -lm >&5
configure:5277: $? = 0
configure:5286: result: yes
configure:5301: checking for main in -ldl
configure:5320: gcc -o conftest.exe -Wall -pipe -ansi -pedantic conftest.c -ldl -lm >&5
configure:5320: $? = 0
configure:5329: result: yes
configure:5342: checking for main in -lnsl
configure:5361: gcc -o conftest.exe -Wall -pipe -ansi -pedantic conftest.c -lnsl -ldl -lm >&5
/usr/lib/gcc/i686-pc-cygwin/5.3.0/../../../../i686-pc-cygwin/bin/ld: cannot find -lnsl
collect2: error: ld returned 1 exit status
configure:5361: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME ""
| #define PACKAGE_TARNAME ""
| #define PACKAGE_VERSION ""
| #define PACKAGE_STRING ""
| #define PACKAGE_BUGREPORT ""
| #define PACKAGE_URL ""
| #define CONFIG_INCLUDED 1
| #define ___ALWAYS_TRUE___ 1
| #define XSB_VERSION "3.6. (Gazpatcho)"
| #define RELEASE_DATE 2015-04-28
| #define RELEASE_YEAR 2015
| #define RELEASE_MONTH 4
| #define RELEASE_DAY 28
| #define LOCAL_EVAL 1
| #define GC 1
| #define SLG_GC 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define __EXTENSIONS__ 1
| #define _ALL_SOURCE 1
| #define _GNU_SOURCE 1
| #define _POSIX_PTHREAD_SEMANTICS 1
| #define _TANDEM_SOURCE 1
| #define CC "gcc"
| #define SIZEOF_LONG_INT 4
| #define HAVE_LIBM 1
| #define HAVE_LIBDL 1
| /* end confdefs.h. */
|
|
| int
| main ()
| {
| return main ();
| ;
| return 0;
| }
configure:5370: result: no
configure:5383: checking for main in -lpthread
configure:5402: gcc -o conftest.exe -Wall -pipe -ansi -pedantic conftest.c -lpthread -ldl -lm >&5
configure:5402: $? = 0
configure:5411: result: yes
configure:5424: checking for main in -lsocket
configure:5443: gcc -o conftest.exe -Wall -pipe -ansi -pedantic conftest.c -lsocket -lpthread -ldl -lm >&5
/usr/lib/gcc/i686-pc-cygwin/5.3.0/../../../../i686-pc-cygwin/bin/ld: cannot find -lsocket
collect2: error: ld returned 1 exit status
configure:5443: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME ""
| #define PACKAGE_TARNAME ""
| #define PACKAGE_VERSION ""
| #define PACKAGE_STRING ""
| #define PACKAGE_BUGREPORT ""
| #define PACKAGE_URL ""
| #define CONFIG_INCLUDED 1
| #define ___ALWAYS_TRUE___ 1
| #define XSB_VERSION "3.6. (Gazpatcho)"
| #define RELEASE_DATE 2015-04-28
| #define RELEASE_YEAR 2015
| #define RELEASE_MONTH 4
| #define RELEASE_DAY 28
| #define LOCAL_EVAL 1
| #define GC 1
| #define SLG_GC 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define __EXTENSIONS__ 1
| #define _ALL_SOURCE 1
| #define _GNU_SOURCE 1
| #define _POSIX_PTHREAD_SEMANTICS 1
| #define _TANDEM_SOURCE 1
| #define CC "gcc"
| #define SIZEOF_LONG_INT 4
| #define HAVE_LIBM 1
| #define HAVE_LIBDL 1
| #define HAVE_LIBPTHREAD 1
| /* end confdefs.h. */
|
|
| int
| main ()
| {
| return main ();
| ;
| return 0;
| }
configure:5452: result: no
configure:5466: checking for readline in -lreadline
configure:5491: gcc -o conftest.exe -Wall -pipe -ansi -pedantic conftest.c -lreadline -lpthread -ldl -lm >&5
/usr/lib/gcc/i686-pc-cygwin/5.3.0/../../../../i686-pc-cygwin/bin/ld: cannot find -lreadline
collect2: error: ld returned 1 exit status
configure:5491: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME ""
| #define PACKAGE_TARNAME ""
| #define PACKAGE_VERSION ""
| #define PACKAGE_STRING ""
| #define PACKAGE_BUGREPORT ""
| #define PACKAGE_URL ""
| #define CONFIG_INCLUDED 1
| #define ___ALWAYS_TRUE___ 1
| #define XSB_VERSION "3.6. (Gazpatcho)"
| #define RELEASE_DATE 2015-04-28
| #define RELEASE_YEAR 2015
| #define RELEASE_MONTH 4
| #define RELEASE_DAY 28
| #define LOCAL_EVAL 1
| #define GC 1
| #define SLG_GC 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define __EXTENSIONS__ 1
| #define _ALL_SOURCE 1
| #define _GNU_SOURCE 1
| #define _POSIX_PTHREAD_SEMANTICS 1
| #define _TANDEM_SOURCE 1
| #define CC "gcc"
| #define SIZEOF_LONG_INT 4
| #define HAVE_LIBM 1
| #define HAVE_LIBDL 1
| #define HAVE_LIBPTHREAD 1
| /* end confdefs.h. */
|
| /* Override any GCC internal prototype to avoid an error.
| Use char because int might match the return type of a GCC
| builtin and then its argument prototype would still apply. */
| #ifdef __cplusplus
| extern "C"
| #endif
| char readline ();
| int
| main ()
| {
| return readline ();
| ;
| return 0;
| }
configure:5500: result: no
configure:5511: checking for sched_get_priority_max
configure:5511: gcc -o conftest.exe -Wall -pipe -ansi -pedantic conftest.c -lpthread -ldl -lm >&5
configure:5511: $? = 0
configure:5511: result: yes
configure:5560: checking stdarg.h usability
configure:5560: gcc -c -Wall -pipe -ansi -pedantic conftest.c >&5
configure:5560: $? = 0
configure:5560: result: yes
configure:5560: checking stdarg.h presence
configure:5560: gcc -E conftest.c
configure:5560: $? = 0
configure:5560: result: yes
configure:5560: checking for stdarg.h
configure:5560: result: yes
configure:5579: checking sys/time.h usability
configure:5579: gcc -c -Wall -pipe -ansi -pedantic conftest.c >&5
configure:5579: $? = 0
configure:5579: result: yes
configure:5579: checking sys/time.h presence
configure:5579: gcc -E conftest.c
configure:5579: $? = 0
configure:5579: result: yes
configure:5579: checking for sys/time.h
configure:5579: result: yes
configure:5590: checking whether time.h and sys/time.h may both be included
configure:5610: gcc -c -Wall -pipe -ansi -pedantic conftest.c >&5
configure:5610: $? = 0
configure:5617: result: yes
configure:5628: checking sys/resource.h usability
configure:5628: gcc -c -Wall -pipe -ansi -pedantic conftest.c >&5
configure:5628: $? = 0
configure:5628: result: yes
configure:5628: checking sys/resource.h presence
configure:5628: gcc -E conftest.c
configure:5628: $? = 0
configure:5628: result: yes
configure:5628: checking for sys/resource.h
configure:5628: result: yes
configure:5645: checking for malloc
configure:5645: gcc -o conftest.exe -Wall -pipe -ansi -pedantic conftest.c -lpthread -ldl -lm >&5
conftest.c:66:6: warning: conflicting types for built-in function 'malloc'
char malloc ();
^
configure:5645: $? = 0
configure:5645: result: yes
configure:5662: checking for unistd.h
configure:5662: result: yes
configure:5662: checking for string.h
configure:5662: result: yes
configure:5662: checking for stdlib.h
configure:5662: result: yes
configure:5680: checking for an ANSI C-conforming const
configure:5746: gcc -c -Wall -pipe -ansi -pedantic conftest.c >&5
configure:5746: $? = 0
configure:5753: result: yes
configure:5762: checking return type of signal handlers
configure:5780: gcc -c -Wall -pipe -ansi -pedantic conftest.c >&5
conftest.c: In function 'main':
conftest.c:53:9: error: void value not ignored as it ought to be
return *(signal (0, 0)) (0) == 1;
^
configure:5780: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME ""
| #define PACKAGE_TARNAME ""
| #define PACKAGE_VERSION ""
| #define PACKAGE_STRING ""
| #define PACKAGE_BUGREPORT ""
| #define PACKAGE_URL ""
| #define CONFIG_INCLUDED 1
| #define ___ALWAYS_TRUE___ 1
| #define XSB_VERSION "3.6. (Gazpatcho)"
| #define RELEASE_DATE 2015-04-28
| #define RELEASE_YEAR 2015
| #define RELEASE_MONTH 4
| #define RELEASE_DAY 28
| #define LOCAL_EVAL 1
| #define GC 1
| #define SLG_GC 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define __EXTENSIONS__ 1
| #define _ALL_SOURCE 1
| #define _GNU_SOURCE 1
| #define _POSIX_PTHREAD_SEMANTICS 1
| #define _TANDEM_SOURCE 1
| #define CC "gcc"
| #define SIZEOF_LONG_INT 4
| #define HAVE_LIBM 1
| #define HAVE_LIBDL 1
| #define HAVE_LIBPTHREAD 1
| #define HAVE_STDARG_H 1
| #define HAVE_SYS_TIME_H 1
| #define TIME_WITH_SYS_TIME 1
| #define HAVE_SYS_RESOURCE_H 1
| #define HAVE_MALLOC 1
| #define HAVE_UNISTD_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STDLIB_H 1
| /* end confdefs.h. */
| #include <sys/types.h>
| #include <signal.h>
|
| int
| main ()
| {
| return *(signal (0, 0)) (0) == 1;
| ;
| return 0;
| }
configure:5787: result: void
configure:5798: checking for strdup
configure:5798: gcc -o conftest.exe -Wall -pipe -ansi -pedantic conftest.c -lpthread -ldl -lm >&5
configure:5798: $? = 0
configure:5798: result: yes
configure:5798: checking for mkdir
configure:5798: gcc -o conftest.exe -Wall -pipe -ansi -pedantic conftest.c -lpthread -ldl -lm >&5
configure:5798: $? = 0
configure:5798: result: yes
configure:5817: checking for gethostbyname
configure:5817: gcc -o conftest.exe -Wall -pipe -ansi -pedantic conftest.c -lpthread -ldl -lm >&5
configure:5817: $? = 0
configure:5817: result: yes
configure:5817: checking for gettimeofday
configure:5817: gcc -o conftest.exe -Wall -pipe -ansi -pedantic conftest.c -lpthread -ldl -lm >&5
configure:5817: $? = 0
configure:5817: result: yes
configure:5817: checking for socket
configure:5817: gcc -o conftest.exe -Wall -pipe -ansi -pedantic conftest.c -lpthread -ldl -lm >&5
configure:5817: $? = 0
configure:5817: result: yes
configure:5817: checking for snprintf
configure:5817: gcc -o conftest.exe -Wall -pipe -ansi -pedantic conftest.c -lpthread -ldl -lm >&5
configure:5817: $? = 0
configure:5817: result: yes
configure:5830: checking for regexec
configure:5830: gcc -o conftest.exe -Wall -pipe -ansi -pedantic conftest.c -lpthread -ldl -lm >&5
configure:5830: $? = 0
configure:5830: result: yes
configure:5830: checking for regerror
configure:5830: gcc -o conftest.exe -Wall -pipe -ansi -pedantic conftest.c -lpthread -ldl -lm >&5
configure:5830: $? = 0
configure:5830: result: yes
configure:5830: checking for regcomp
configure:5830: gcc -o conftest.exe -Wall -pipe -ansi -pedantic conftest.c -lpthread -ldl -lm >&5
configure:5830: $? = 0
configure:5830: result: yes
configure:5844: checking for fnmatch
configure:5844: gcc -o conftest.exe -Wall -pipe -ansi -pedantic conftest.c -lpthread -ldl -lm >&5
configure:5844: $? = 0
configure:5844: result: yes
configure:5844: checking for glob
configure:5844: gcc -o conftest.exe -Wall -pipe -ansi -pedantic conftest.c -lpthread -ldl -lm >&5
configure:5844: $? = 0
configure:5844: result: yes
configure:5844: checking for globfree
configure:5844: gcc -o conftest.exe -Wall -pipe -ansi -pedantic conftest.c -lpthread -ldl -lm >&5
configure:5844: $? = 0
configure:5844: result: yes
configure:5858: checking for execvp
configure:5858: gcc -o conftest.exe -Wall -pipe -ansi -pedantic conftest.c -lpthread -ldl -lm >&5
configure:5858: $? = 0
configure:5858: result: yes
configure:6063: checking for itkwish
configure:6095: result: no
configure:6139: checking whether loader understands -Wl,-export-dynamic
configure:6147: gcc -o conftest.exe -Wall -pipe -Wl,-export-dynamic conftest.c -lpthread -ldl -lm >&5
conftest.c:63:1: warning: return type defaults to 'int' [-Wimplicit-int]
main(){return 0;}
^
/usr/lib/gcc/i686-pc-cygwin/5.3.0/../../../../i686-pc-cygwin/bin/ld: warning: --export-dynamic is not supported for PE targets, did you mean --export-all-symbols?
configure:6147: $? = 0
configure:6154: result: yes
configure:6378: checking for inline
configure:6394: gcc -c -Wall -pipe conftest.c >&5
configure:6394: $? = 0
configure:6402: result: inline
configure:6824: checking for javac
configure:6855: result: no
configure:6895: checking jni.h usability
configure:6895: gcc -c -O3 -fno-strict-aliasing -Wall -pipe conftest.c >&5
configure:6895: $? = 0
configure:6895: result: yes
configure:6895: checking jni.h presence
configure:6895: gcc -E conftest.c
configure:6895: $? = 0
configure:6895: result: yes
configure:6895: checking for jni.h
configure:6895: result: yes
configure:6895: checking jni_md.h usability
configure:6895: gcc -c -O3 -fno-strict-aliasing -Wall -pipe conftest.c >&5
configure:6895: $? = 0
configure:6895: result: yes
configure:6895: checking jni_md.h presence
configure:6895: gcc -E conftest.c
configure:6895: $? = 0
configure:6895: result: yes
configure:6895: checking for jni_md.h
configure:6895: result: yes
configure:7115: updating cache /cygdrive/c/xsb/config/i686-pc-cygwin/config.cache
configure:7164: creating ./config.status
## ---------------------- ##
## Running config.status. ##
## ---------------------- ##
This file was extended by config.status, which was
generated by GNU Autoconf 2.69. Invocation command line was
CONFIG_FILES =
CONFIG_HEADERS =
CONFIG_LINKS =
CONFIG_COMMANDS =
$ ./config.status
on WINDOWS-64P7JRQ
config.status:954: creating /cygdrive/c/xsb/config/i686-pc-cygwin/topMakefile
config.status:954: creating /cygdrive/c/xsb/config/i686-pc-cygwin/emuMakefile
config.status:954: creating /cygdrive/c/xsb/config/i686-pc-cygwin/modMakefile
config.status:954: creating /cygdrive/c/xsb/config/i686-pc-cygwin/gppMakefile
config.status:954: creating /cygdrive/c/xsb/config/i686-pc-cygwin/smoMakefile
config.status:954: creating /cygdrive/c/xsb/config/i686-pc-cygwin/makedef.sh
config.status:954: creating /cygdrive/c/xsb/config/i686-pc-cygwin/lib/xsb_configuration.P
config.status:954: creating windows/xsb_configuration.P
config.status:954: creating windows64/xsb_configuration.P
config.status:954: creating makexsb
config.status:954: creating /cygdrive/c/xsb/bin/chr_pp
config.status:954: creating /cygdrive/c/xsb/bin/xsb
config.status:954: creating /cygdrive/c/xsb/config/i686-pc-cygwin/banner.msg
config.status:954: creating windows/banner.msg
config.status:954: creating windows64/banner.msg
config.status:954: creating windows/MSVC_mkfile.mak
config.status:954: creating windows64/MSVC_mkfile.mak
config.status:954: creating /cygdrive/c/xsb/packages/xmc/xmc-gui
config.status:954: creating /cygdrive/c/xsb/config/i686-pc-cygwin/xsb_config.h
config.status:954: creating windows/xsb_config.h
config.status:954: creating windows/xsb_debug.h
config.status:954: creating windows64/xsb_config.h
config.status:954: creating windows64/xsb_debug.h
config.status:954: creating /cygdrive/c/xsb/config/i686-pc-cygwin/xsb_debug.h
## ---------------- ##
## Cache variables. ##
## ---------------- ##
ac_cv_build=i686-pc-cygwin
ac_cv_c_compiler_gnu=yes
ac_cv_c_const=yes
ac_cv_c_inline=inline
ac_cv_env_CCC_set=
ac_cv_env_CCC_value=
ac_cv_env_CC_set=
ac_cv_env_CC_value=
ac_cv_env_CFLAGS_set=
ac_cv_env_CFLAGS_value=
ac_cv_env_CPPFLAGS_set=
ac_cv_env_CPPFLAGS_value=
ac_cv_env_CPP_set=
ac_cv_env_CPP_value=
ac_cv_env_CXXFLAGS_set=
ac_cv_env_CXXFLAGS_value=
ac_cv_env_CXX_set=
ac_cv_env_CXX_value=
ac_cv_env_LDFLAGS_set=
ac_cv_env_LDFLAGS_value=
ac_cv_env_LIBS_set=
ac_cv_env_LIBS_value=
ac_cv_env_build_alias_set=
ac_cv_env_build_alias_value=
ac_cv_env_host_alias_set=
ac_cv_env_host_alias_value=
ac_cv_env_target_alias_set=
ac_cv_env_target_alias_value=
ac_cv_exeext=.exe
ac_cv_func_execvp=yes
ac_cv_func_fnmatch=yes
ac_cv_func_gethostbyname=yes
ac_cv_func_gettimeofday=yes
ac_cv_func_glob=yes
ac_cv_func_globfree=yes
ac_cv_func_malloc=yes
ac_cv_func_mkdir=yes
ac_cv_func_regcomp=yes
ac_cv_func_regerror=yes
ac_cv_func_regexec=yes
ac_cv_func_sched_get_priority_max=yes
ac_cv_func_snprintf=yes
ac_cv_func_socket=yes
ac_cv_func_strdup=yes
ac_cv_header_inttypes_h=yes
ac_cv_header_jni_h=yes
ac_cv_header_jni_md_h=yes
ac_cv_header_memory_h=yes
ac_cv_header_minix_config_h=no
ac_cv_header_stdarg_h=yes
ac_cv_header_stdc=yes
ac_cv_header_stdint_h=yes
ac_cv_header_stdlib_h=yes
ac_cv_header_string_h=yes
ac_cv_header_strings_h=yes
ac_cv_header_sys_resource_h=yes
ac_cv_header_sys_stat_h=yes
ac_cv_header_sys_time_h=yes
ac_cv_header_sys_types_h=yes
ac_cv_header_time=yes
ac_cv_header_unistd_h=yes
ac_cv_host=i686-pc-cygwin
ac_cv_lib_dl_main=yes
ac_cv_lib_m_main=yes
ac_cv_lib_nsl_main=no
ac_cv_lib_pthread_main=yes
ac_cv_lib_readline_readline=no
ac_cv_lib_socket_main=no
ac_cv_objext=o
ac_cv_path_EGREP='/usr/bin/grep -E'
ac_cv_path_GREP=/usr/bin/grep
ac_cv_path_install='/usr/bin/install -c'
ac_cv_path_itkwish_path=no
ac_cv_path_java_path=no
ac_cv_prog_CPP='gcc -E'
ac_cv_prog_ac_ct_CC=gcc
ac_cv_prog_cc_c89=
ac_cv_prog_cc_g=yes
ac_cv_prog_has_gcc=yes
ac_cv_prog_make_make_set=yes
ac_cv_safe_to_define___extensions__=yes
ac_cv_sizeof_long_int=4
ac_cv_type_signal=void
## ----------------- ##
## Output variables. ##
## ----------------- ##
CC='gcc'
CFLAGS=' -O3 -fno-strict-aliasing -Wall -pipe '
CPP='gcc -E'
CPPFLAGS=''
CROSS_SIMULATOR=''
CXX=''
CXXFLAGS=''
DEFS='-DHAVE_CONFIG_H'
DLLTYPE='nodll'
DYNMOD_LDFLAGS='-shared'
DYNMOD_SHAREDLIB_EXTENSION='so'
ECHO_C=''
ECHO_N='-n'
ECHO_T=''
EGREP='/usr/bin/grep -E'
EXEEXT='.exe'
GPPCFLAGS=''
GPPWNTFLAG=''
GREP='/usr/bin/grep'
INSTALL_DATA='${INSTALL} -m 644'
INSTALL_PROGRAM='${INSTALL}'
INSTALL_SCRIPT='${INSTALL}'
INTERPROLOGOBJ='interprolog_callback.o'
INTERPROLOGSRC='interprolog_callback.c'
JAVA_HEADER_PATH=''
JAVA_PLATFORM_HEADER_PATH=''
LD='gcc'
LDFLAGS=' -lm'
LIBOBJS=''
LIBS=' -lpthread -ldl -lm '
LTLIBOBJS=''
MEMFLAG=''
OBJEXT='o'
ODBCOBJ=''
ODBCSRC=''
ODBC_CFLAGS=''
PACKAGE_BUGREPORT=''
PACKAGE_NAME=''
PACKAGE_STRING=''
PACKAGE_TARNAME=''
PACKAGE_URL=''
PACKAGE_VERSION=''
PATH_SEPARATOR=':'
SET_MAKE=''
SHELL='/bin/sh'
XASPDEFFILE=''
XASPLIBNAME=''
XSBMOD_LDFLAGS=' -nodefaultlibs -nostartfiles '
XSB_INTERPROLOG='1'
ac_ct_CC='gcc'
ac_ct_CXX=''
arch_bindir='/cygdrive/c/xsb/config/i686-pc-cygwin/bin'
arch_config_file='/cygdrive/c/xsb/config/i686-pc-cygwin/lib/xsb_configuration.P'
arch_config_prefix='/cygdrive/c/xsb/config/i686-pc-cygwin'
arch_install_config_prefix='/cygdrive/c/xsb/config/i686-pc-cygwin'
bindir='${exec_prefix}/bin'
build='i686-pc-cygwin'
build_alias=''
build_cpu='i686'
build_os='cygwin'
build_vendor='pc'
builtinsCFLAGS=' -O3 -fno-strict-aliasing -Wall -pipe '
canonical='i686-pc-cygwin'
compile_mode='optimal'
config_ln_command='cp -fp '
config_tag=''
datadir='${datarootdir}'
datarootdir='${prefix}/share'
docdir='${datarootdir}/doc/${PACKAGE}'
dvidir='${docdir}'
emuloopCFLAGS=' -O3 -fno-strict-aliasing -Wall -pipe '
emumake_goal='xsb'
engine_mode='slg-wam'
exec_prefix='${prefix}'
full_config_name='i686-pc-cygwin'
has_gcc='yes'
host='i686-pc-cygwin'
host_alias=''
host_cpu='i686'
host_os='cygwin'
host_vendor='pc'
htmldir='${docdir}'
includedir='${prefix}/include'
infodir='${datarootdir}/info'
itkwish_path='no'
java_compiler=''
java_path='./include'
libdir='/cygdrive/c/xsb/lib'
libexecdir='${exec_prefix}/libexec'
loaderCFLAGS=' -O3 -fno-strict-aliasing -Wall -pipe '
localedir='${datarootdir}/locale'
localstatedir='${prefix}/var'
mandir='${datarootdir}/man'
mno_cyg_inclib=''
mno_cyg_lib=''
mt_mode=''
oldincludedir='/usr/include'
os_type='cygwin'
os_version=''
pdfdir='${docdir}'
prefix='/cygdrive/c/xsb'
program_transform_name='s,x,x,'
psdir='${docdir}'
regmatch_support='yes'
release_day='28'
release_month='4'
release_monthname='April'
release_year='2015'
sbindir='${exec_prefix}/sbin'
sharedstatedir='${prefix}/com'
site_prefix='/cygdrive/c/xsb/site'
smoCFLAGS=''
smoLDFLAGS=''
smoLIB=''
smodels_goal='nope'
sysconfdir='${prefix}/etc'
target_alias=''
topdir='/cygdrive/c/xsb'
trutilsCFLAGS=' -O3 -fno-strict-aliasing -Wall -pipe '
wildmatch_support='yes'
with_smodels=''
word_size='32'
xsb_beta_version=''
xsb_build_date='2016-05-06'
xsb_codename='Gazpatcho'
xsb_full_version_name='3.6. (Gazpatcho)'
xsb_major_version='3'
xsb_minor_version='6'
xsb_obj_extension='.xwam'
xsb_patch_date='Build date: 2016-05-06'
xsb_patch_version=''
xsb_release_date='2015-04-28'
xsb_scheduling_strategy='local'
xsb_version='3.6.'
## ----------- ##
## confdefs.h. ##
## ----------- ##
/* confdefs.h */
#define PACKAGE_NAME ""
#define PACKAGE_TARNAME ""
#define PACKAGE_VERSION ""
#define PACKAGE_STRING ""
#define PACKAGE_BUGREPORT ""
#define PACKAGE_URL ""
#define CONFIG_INCLUDED 1
#define ___ALWAYS_TRUE___ 1
#define XSB_VERSION "3.6. (Gazpatcho)"
#define RELEASE_DATE 2015-04-28
#define RELEASE_YEAR 2015
#define RELEASE_MONTH 4
#define RELEASE_DAY 28
#define LOCAL_EVAL 1
#define GC 1
#define SLG_GC 1
#define STDC_HEADERS 1
#define HAVE_SYS_TYPES_H 1
#define HAVE_SYS_STAT_H 1
#define HAVE_STDLIB_H 1
#define HAVE_STRING_H 1
#define HAVE_MEMORY_H 1
#define HAVE_STRINGS_H 1
#define HAVE_INTTYPES_H 1
#define HAVE_STDINT_H 1
#define HAVE_UNISTD_H 1
#define __EXTENSIONS__ 1
#define _ALL_SOURCE 1
#define _GNU_SOURCE 1
#define _POSIX_PTHREAD_SEMANTICS 1
#define _TANDEM_SOURCE 1
#define CC "gcc"
#define SIZEOF_LONG_INT 4
#define HAVE_LIBM 1
#define HAVE_LIBDL 1
#define HAVE_LIBPTHREAD 1
#define HAVE_STDARG_H 1
#define HAVE_SYS_TIME_H 1
#define TIME_WITH_SYS_TIME 1
#define HAVE_SYS_RESOURCE_H 1
#define HAVE_MALLOC 1
#define HAVE_UNISTD_H 1
#define HAVE_STRING_H 1
#define HAVE_STDLIB_H 1
#define RETSIGTYPE void
#define HAVE_STRDUP 1
#define HAVE_MKDIR 1
#define HAVE_GETHOSTBYNAME 1
#define HAVE_GETTIMEOFDAY 1
#define HAVE_SOCKET 1
#define HAVE_SNPRINTF 1
#define HAVE_REGEXEC 1
#define HAVE_REGERROR 1
#define HAVE_REGCOMP 1
#define HAVE_FNMATCH 1
#define HAVE_GLOB 1
#define HAVE_GLOBFREE 1
#define HAVE_EXECVP 1
#define JUMPTABLE_EMULOOP 1
#define INSN_BLOCKS 1
#define CYGWIN 1
#define HAVE_JNI_H 1
#define HAVE_JNI_MD_H 1
#define XSB_INTERPROLOG 1
#define CONFIGURATION "i686-pc-cygwin"
#define FULL_CONFIG_NAME "i686-pc-cygwin"
configure: exit 0
|
1229 messages has been excluded from this view by a project administrator.
