[PPL-devel] SWI-Prolog test failing (only!) on powerpc
Roberto Bagnara
bagnara at cs.unipr.it
Mon Feb 15 15:00:01 CET 2010
On 02/13/10 22:12, Michael Tautschnig wrote:
> The attached patch includes this change plus an additional hack that was
> necessary to make PPL build on GNU/Hurd, which doesn't define SA_SIGINFO.
Hi Michael,
thanks for the info. I have just pushed a change that should
address the problem on GNU/Hurd:
http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7ba6445b1c5adb835e27d2f005779d4343721d21
Concerning the problem with SWI-Prolog, we would need a way
to reproduce it.
Cheers,
Roberto
--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it
More information about the PPL-devel
mailing list