Dear Olivier,
sorry for the delay with my message and thanks for your input.
olivier sallou писал 2022-02-25 12:12:
> ok,
> after a quick look, issue is Logol is compiled against swi-prolog, and
> there is an ABI issue I think, getting error:
>
> incompatible version (file: 67, Prolog: 68)]
>
>
Hi Olivier!
> ok,
> I uploaded logol 1.7.9+dfsg-2 built against swi-prolog 8.4.2 and
> closing the issue with upload.
> Let's see what happens for migration.
Thank you!
Hi Paul,
Paul Gevers писал 2022-03-03 00:44:
> On 01-03-2022 12:01, Paul Gevers wrote:
>> This "fix" suggest there may be more breakage, normally the Release Team
>> would schedule binNMU's. Can you please elaborate how ABI is normally
>> maintained within swi-prolog, such that the rebuilds can
Paul Gevers писал 2022-03-04 00:46:
> Hi Lev,
>
> On 03-03-2022 08:46, dogs...@riseup.net wrote:
>> swi-prolog package (namely, swi-prolog-core) provides an easy way to
>> require some particular ABI since 8.2.0+dfsg-2 uploaded on Jun 9, 2020.
>> Specifically, in this case logol requires version 6
Paul Gevers писал 2022-03-06 01:09:
> Hi Lev,
>
> On 04-03-2022 11:42, dogs...@riseup.net wrote:
>>> Do you confirm that this ABI change doesn't effect the other reverse
>>> build dependencies of src:swi-prolog? If that's the case I'm fine with
>>> removing the block. But I'm afraid (without check
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 again
6 matches
Mail list logo