[Debian-med-packaging] Bug#1006384: closed by Debian FTP Masters <ftpmaster at ftp-master.debian.org> (reply to Olivier Sallou <osallou at debian.org>) (Bug#1006384: fixed in logol 1.7.9+dfsg-2)

[dogsleg at riseup.net]

Hi,

Paul Gevers писал 2022-03-06 21:36:
> Hi Lev,
> 
> On 06-03-2022 11:30, dogsleg at riseup.net wrote:
>> As I can see, there is only one reverse build-dependency on swi-prolog
>> apart from eye and logol, that is ppl. It is a C++ library providing
>> SWI-Prolog interface. I tried to build it against swi-prolog from
>> unstable on amd64 porterbox and the build was successful (including
>> tests, which are unfortunately not autopkgtest-ready).
> 
> Is this enough to say the ABI change doesn't effect ppl?

I'm not sure whether ppl depends and/or somehow uses some particular
swi-prolog ABI, I tried to run tests from ppl source package with
ppl and swi-prolog binary packages installed (from unstable), but
with no success. I just don't know right now how to run them
correctly (these are C++ source code, as far as I can tell). So,
CCing uploaders of ppl.

Tobias, Michael, is it possible that ABI changes in swi-prolog may
break binaries of ppl in unstable? How can we test it? As quoted
above, I already tried to build ppl against the newest swi-prolog
in unstable, and ppl was built successfully.

Regards,
Lev