[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