
15 Feb
2010
15 Feb
'10
2 p.m.
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=7ba6445b1c5ad...
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@cs.unipr.it