Dear Tobias, Michael,Can be please have an answer to the question below? Your lack of answer is blocking migration to testing of multiple packages.
On 07-03-2022 17:28, dogs...@riseup.net wrote:
Paul Gevers писал 2022-03-06 21:36: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.
Paul
OpenPGP_signature
Description: OpenPGP digital signature
