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 |