Michael Kifer

The updates to autoconf in the latest ubuntu 24.04 and Mint 22 are so far reaching that they break XSB config.

fixed a cosmetic config bug in windows64

<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> <style id="bidiui-paragraph-margins" type="text/css">body p { margin-bottom: 0cm; margin-top: 0pt; } </style> are you sure you are using the latest from the git repository? This bug was fixed exactly 2 months ago On 5/14/24 11:23 PM, Eli Schwartz wrote: It should, yes, that's the local fix I made too. --- **[bugs:#265] Build fails with implicit-int in a configure test probe** **Status:** open **Group:** Performance problem **Created:**...

fixed typo in err msg

<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> <style id="bidiui-paragraph-margins" type="text/css">body p { margin-bottom: 0cm; margin-top: 0pt; } </style> I hope I fixed this by changing to int main(){return 0;} On 3/14/24 8:23 PM, Eli Schwartz wrote: <meta http-equiv="content-type" content="text/html; charset=UTF-8"> [bugs:#265] Build fails with implicit-int in a configure test probe Status: open Group: Performance problem Created: Fri Mar 15, 2024 12:23 AM UTC by Eli Schwartz...

possibly fixed a configure.in bug with --export-dynamic

Are you talking about converting the source code? In any case, no, there is no such converter as far as I know. Mar 4, 2024 00:54:33 Ticket #6: Code Converter 6@support-requests.flora.p.re.sourceforge.net: [support-requests:#6] Code Converter Status: open Group: v1.0 (example) Labels: Code Converter Created: Mon Mar 04, 2024 05:54 AM UTC by Anonymous Last Updated: Mon Mar 04, 2024 05:54 AM UTC Owner: nobody Hi, I am using the ErgoAI 3.0 and have to load some Flora-2 codes with the version 0.99.5....

<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> <style id="bidiui-paragraph-margins" type="text/css">body p { margin-bottom: 0cm; margin-top: 0pt; } </style> I may have found what's wrong with this package. Please try On 3/1/24 4:36 AM, Alvin Hsu wrote: <meta http-equiv="content-type" content="text/html; charset=UTF-8"> I believe I may have found one more case. Recompilation is triggered for at least a subset of packages in $XSB_DIR/packages. I can get it to reliably reproduce...