Hi, Paul Gevers писал 2022-03-06 21:36: > Hi Lev, > > On 06-03-2022 11:30, dogs...@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