[PPL-devel] Bug#787486: ppl: FTBFS with swi-prolog 7.x

[Roberto Bagnara]

On 11/23/2015 07:45 PM, Tobias Frost wrote:
> it seems that this error is now gone...
> 
> However, it now crashes later during the testsuite.
> 
> (Log attached; Note that I also built it in a pbuilder enviorment with
> the same result)

We have tried to reproduce the problem without success.
Anyway, to accommodate SWI-Prolog version 7.x the attached
patches should be applied.  Please mail ppl-devel at cs.unipr.it
if you have further details to allow us reproduce the problem.
Kind regards,

   Roberto

-- 
     Prof. Roberto Bagnara

Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagnara at cs.unipr.it
                              BUGSENG srl - http://bugseng.com
                              mailto:roberto.bagnara at bugseng.com
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-Warnings-avoided.patch
Type: text/x-patch
Size: 1062 bytes
Desc: not available
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20151124/09d8a9ba/attachment.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0002-Adapted-to-SWI-Prolog-version-7.x.patch
Type: text/x-patch
Size: 863 bytes
Desc: not available
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20151124/09d8a9ba/attachment-0001.bin>