#793211 swi-prolog 7.2 breaks the ppl prolog bindings

Package:
src:swi-prolog
Source:
swi-prolog
Submitter:
Matthias Klose
Date:
2015-08-14 08:27:03 UTC
Severity:
important
#793211#5
Date:
2015-07-22 13:09:23 UTC
From:
To:
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.
#793211#10
Date:
2015-07-23 19:18:58 UTC
From:
To:
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 report is archived here (also contains the log file):

https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=793211

Regards,
Eugeniy Meshcheryakov

22 липня 2015 о 15:09 +0200 Matthias Klose написав(-ла):
#793211#15
Date:
2015-07-26 14:03:47 UTC
From:
To:
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 real problem.

The type of error is typically caused by calls from C to Prolog that
ignore the (FALSE) return value.  The vital API functions do have the
gcc attribute that causes gcc to warn on ignored return values, so
inspecting the build log may give a clue.

I can't do much right now as I'm travelling with only a small chromebook

If you manage to produce a proper stack trace, please sent it.  Might
take a few days for me to respond.  I'm back at the office as of August 10.

	Cheers --- Jan
#793211#20
Date:
2015-08-14 07:55:50 UTC
From:
To:
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
#793211#25
Date:
2015-08-14 08:15:02 UTC
From:
To:
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" <J.Wielemaker@vu.nl> пише:
#793211#30
Date:
2015-08-14 08:24:58 UTC
From:
To:
Hi Eugeniy,

Great!

If I can help, just ask.  There is a 7.2.3 ready to be created.  I
considered creating it yesterday, but decided to see whether we could
resolve this first.

	Cheers --- Jan