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

24 Nov
2015
24 Nov
'15
10:22 a.m.
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@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@cs.unipr.it
BUGSENG srl - http://bugseng.com
mailto:roberto.bagnara@bugseng.com
3580
Age (days ago)
3580
Last active (days ago)
0 comments
1 participants
participants (1)
-
Roberto Bagnara