Bug#793211: swi-prolog 7.2 breaks the ppl prolog bindings

2015-08-14 Thread Jan Wielemaker
Hi Eugeniy, On 08/14/2015 10:15 AM, Eugeniy Meshcheryakov wrote: Hi Jan, The test suite was disabled in ppl so swi-prolog did migrate to testing. I see Ubuntu also got this version. So it is not so bad anymore. Great! It would be good to fix this some time anyway. I may look at it this week

Bug#793211: swi-prolog 7.2 breaks the ppl prolog bindings

2015-08-14 Thread Eugeniy Meshcheryakov
Hi Jan, The test suite was disabled in ppl so swi-prolog did migrate to testing. I see Ubuntu also got this version. So it is not so bad anymore. It would be good to fix this some time anyway. I may look at it this weekend. Regards, Eugeniy 14 серп. 2015 09:55 "Jan Wielemaker" пише: > Dear all

Bug#793211: swi-prolog 7.2 breaks the ppl prolog bindings

2015-08-14 Thread Jan Wielemaker
Dear all, I've returned from holidays. This issue seems a show stopper getting SWI-Prolog 7.2 into Debian and its offspring. What is the status? Can I help? Concerning the build fails on amd64, I guess I can reproduce this. Cheers -- Jan On 07/23/2015 09:18 PM, Eugeniy Meshcheryakov

Bug#793211: swi-prolog 7.2 breaks the ppl prolog bindings

2015-07-26 Thread Jan Wielemaker
Hi Eugeniy, No real clue. The stacktrace is definitely completely broken, I guess because too much symbol data is missing. I guess the simplest step is to make sure the compile flags include -g and possibly drop -O2 and symbols are not stripped. Then we might get a stacktrace that indicates the

Bug#793211: swi-prolog 7.2 breaks the ppl prolog bindings

2015-07-23 Thread Eugeniy Meshcheryakov
Hello Jan, I've got the following bug report from a Debian developer. Do you have any idea how to fix it? This issue prevents swi-prolog from migrating to Debian testing. The original bug report for PPL is available here: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=787486 This bug repo

Bug#793211: swi-prolog 7.2 breaks the ppl prolog bindings

2015-07-22 Thread Matthias Klose
Package: src:swi-prolog Version: 7.2.0-2 Severity: important swi-prolog 7.2 breaks the ppl prolog bindings, such that ppl has to be built with -fpermissive. However running the tests reveals that these are then broken. swi-prolog 6 works fine. See #787486 for the ppl issue. [...] Making check i