Bug#958419: swi-prolog 8.1.29 in Debian

2020-05-01 Thread Jan Wielemaker
Hi Lev, Jonas, I've uploaded 8.1.30. We should be getting really close to 8.2 now. There are a couple of outstanding issues, notably for the development tools. Cheers --- Jan On 4/30/20 3:13 PM, Lev Lamberov wrote: Sure, that's what we need. Thanks, Jan!

Bug#958419: swi-prolog 8.1.29 in Debian

2020-04-30 Thread Jan Wielemaker
On 4/30/20 2:50 PM, Jonas Smedegaard wrote: Quoting Lev Lamberov (2020-04-30 14:40:53) Чт 30 апр 2020 @ 14:06 Jan Wielemaker : On 4/30/20 1:41 PM, Jonas Smedegaard wrote: I think we can use the format almost as-is - just replacing the leading "swipl-" with "swi-prolog-abi-". I think adding

Bug#958419: swi-prolog 8.1.29 in Debian

2020-04-30 Thread Lev Lamberov
Чт 30 апр 2020 @ 14:56 Jan Wielemaker : > On 4/30/20 2:50 PM, Jonas Smedegaard wrote: >> Quoting Lev Lamberov (2020-04-30 14:40:53) >>> Чт 30 апр 2020 @ 14:06 Jan Wielemaker : >>> On 4/30/20 1:41 PM, Jonas Smedegaard wrote: > I think we can use the format almost as-is - just replacing

Bug#958419: swi-prolog 8.1.29 in Debian

2020-04-30 Thread Jonas Smedegaard
Quoting Lev Lamberov (2020-04-30 14:40:53) > Чт 30 апр 2020 @ 14:06 Jan Wielemaker : > > > On 4/30/20 1:41 PM, Jonas Smedegaard wrote: > >> I think we can use the format almost as-is - just replacing the > >> leading "swipl-" with "swi-prolog-abi-". > > > > I think adding "abi" makes sense. I

Bug#958419: swi-prolog 8.1.29 in Debian

2020-04-30 Thread Lev Lamberov
Чт 30 апр 2020 @ 14:06 Jan Wielemaker : > On 4/30/20 1:41 PM, Jonas Smedegaard wrote: >> I think we can use the format almost as-is - just replacing the leading >> "swipl-" with "swi-prolog-abi-". > > I think adding "abi" makes sense. I can replace "swipl" with the > package name, which is

Bug#958419: swi-prolog 8.1.29 in Debian

2020-04-30 Thread Jan Wielemaker
On 4/30/20 1:41 PM, Jonas Smedegaard wrote: I think we can use the format almost as-is - just replacing the leading "swipl-" with "swi-prolog-abi-". I think adding "abi" makes sense. I can replace "swipl" with the package name, which is "swi-prolog" for Debian. --- Jan

Bug#958419: swi-prolog 8.1.29 in Debian

2020-04-30 Thread Jonas Smedegaard
Quoting Lev Lamberov (2020-04-30 12:16:31) > Чт 30 апр 2020 @ 11:40 Jan Wielemaker : > > On 4/28/20 5:26 PM, Jonas Smedegaard wrote: > >> Quoting Jan Wielemaker (2020-04-28 16:56:30) > > > >>> That is worth a try. I guess that implies that generating > >>> SWI-Prolog (as package) also generates

Bug#958419: swi-prolog 8.1.29 in Debian

2020-04-30 Thread Lev Lamberov
Чт 30 апр 2020 @ 12:42 Jonas Smedegaard : > Quoting Jan Wielemaker (2020-04-30 11:40:32) >> On 4/28/20 5:26 PM, Jonas Smedegaard wrote: >> > Quoting Jan Wielemaker (2020-04-28 16:56:30) >> >> >> That is worth a try. I guess that implies that generating >> >> SWI-Prolog (as package) also

Bug#958419: swi-prolog 8.1.29 in Debian

2020-04-30 Thread Jonas Smedegaard
Quoting Jan Wielemaker (2020-04-30 11:40:32) > On 4/28/20 5:26 PM, Jonas Smedegaard wrote: > > Quoting Jan Wielemaker (2020-04-28 16:56:30) > > >> That is worth a try. I guess that implies that generating > >> SWI-Prolog (as package) also generates this hash. What kind of > >> support would

Bug#958419: swi-prolog 8.1.29 in Debian

2020-04-30 Thread Lev Lamberov
Hi, Чт 30 апр 2020 @ 11:40 Jan Wielemaker : > Hi Jonas, > > On 4/28/20 5:26 PM, Jonas Smedegaard wrote: >> Quoting Jan Wielemaker (2020-04-28 16:56:30) > >>> That is worth a try. I guess that implies that generating SWI-Prolog >>> (as package) also generates this hash. What kind of support

Bug#958419: swi-prolog 8.1.29 in Debian

2020-04-30 Thread Jan Wielemaker
Hi Jonas, On 4/28/20 5:26 PM, Jonas Smedegaard wrote: Quoting Jan Wielemaker (2020-04-28 16:56:30) That is worth a try. I guess that implies that generating SWI-Prolog (as package) also generates this hash. What kind of support would be needed from SWI-Prolog to make this work? Some

Bug#958419: swi-prolog 8.1.29 in Debian

2020-04-28 Thread Lev Lamberov
Hi Jan, Вт 28 апр 2020 @ 16:56 Jan Wielemaker : >> Debian packaging of Asterisk and uWSGI uses such ABI hash towards third >> party plugins, to alow them to be rebuilt as infrequently as possible. >> See e.g. https://packages.debian.org/buster/uwsgi-plugin-php and >>

Bug#958419: swi-prolog 8.1.29 in Debian

2020-04-28 Thread Jonas Smedegaard
Hi Jan, Quoting Jan Wielemaker (2020-04-28 16:12:32) > A saved state makes sense for this scenario. Now I do not really > understand what the problem is. The eye package depends on some exact > version of SWI-Prolog, but it is not uncommon for one package to > require some specific version of

Bug#958419: swi-prolog 8.1.29 in Debian

2020-04-28 Thread Jan Wielemaker
Hi Jonas, On 4/28/20 4:42 PM, Jonas Smedegaard wrote: Hi Jan, Quoting Jan Wielemaker (2020-04-28 16:12:32) A saved state makes sense for this scenario. Now I do not really understand what the problem is. The eye package depends on some exact version of SWI-Prolog, but it is not uncommon for

Bug#958419: swi-prolog 8.1.29 in Debian

2020-04-28 Thread Jan Wielemaker
Hi Jos, Lev, Jonas, A saved state makes sense for this scenario. Now I do not really understand what the problem is. The eye package depends on some exact version of SWI-Prolog, but it is not uncommon for one package to require some specific version of a library, no? Is the real problem that we

Bug#958419: swi-prolog 8.1.29 in Debian

2020-04-28 Thread Jan Wielemaker
On 4/28/20 5:06 PM, Lev Lamberov wrote: Hi Jan, Вт 28 апр 2020 @ 16:56 Jan Wielemaker : Debian packaging of Asterisk and uWSGI uses such ABI hash towards third party plugins, to alow them to be rebuilt as infrequently as possible. See e.g. https://packages.debian.org/buster/uwsgi-plugin-php

Bug#958419: swi-prolog 8.1.29 in Debian

2020-04-28 Thread Jonas Smedegaard
Quoting Jan Wielemaker (2020-04-28 16:56:30) > On 4/28/20 4:42 PM, Jonas Smedegaard wrote: > > The problem - which I consider a minor one - is to know for certain > > when it is needed to regenerate an image. > > > > I prefer that the binary package for eye contains only the generated > > image

Bug#958419: swi-prolog 8.1.29 in Debian

2020-04-28 Thread Jos De Roo
Hi Lev, Yes indeed, eye is using a saved state to have it started 10 times faster than normal: $ time swipl -x /opt/eye/lib/eye.pvm -- --version eye --version EYE v20.0423.1748 josd SWI-Prolog version 8.1.29 starting 31 [msec cputime] 37 [msec walltime] real 0m0.041s user 0m0.037s sys 0m0.004s

Bug#958419: swi-prolog 8.1.29 in Debian

2020-04-28 Thread Jan Wielemaker
Hi Lev, I most wanted to get Jos in the loop as the developer of eye. Packagers working together with developers/maintainers saves a lot of work :) Cheers --- Jan On 4/28/20 12:49 PM, Lev Lamberov wrote: Hi Jan, Вт 28 апр 2020 @ 11:22 Jan Wielemaker : Hi Lev, Jos, For Jos, the

Bug#958419: swi-prolog 8.1.29 in Debian

2020-04-28 Thread Lev Lamberov
Вт 28 апр 2020 @ 16:30 Lev Lamberov : > Вт 28 апр 2020 @ 13:11 Jan Wielemaker : > >> Hi Lev, >> >> I most wanted to get Jos in the loop as the developer of eye. Packagers >> working together with developers/maintainers saves a lot of work :) > > Awww... so, CCing Jos De Roo. > > Jos, could you

Bug#958419: swi-prolog 8.1.29 in Debian

2020-04-28 Thread Lev Lamberov
Вт 28 апр 2020 @ 13:11 Jan Wielemaker : > Hi Lev, > > I most wanted to get Jos in the loop as the developer of eye. Packagers > working together with developers/maintainers saves a lot of work :) Awww... so, CCing Jos De Roo. Jos, could you be so kind to take a look at the #958561 Debian bug

Bug#958419: swi-prolog 8.1.29 in Debian

2020-04-28 Thread Lev Lamberov
Hi Jan, Вт 28 апр 2020 @ 11:22 Jan Wielemaker : > Hi Lev, Jos, > > For Jos, the problem is that eye installs as a SWI-Prolog saved state, > which is highly version dependent and this is difficult to deal with > given the Debian dependency and upgrade policy (Lev, hope this is the > right

Bug#958419: swi-prolog 8.1.29 in Debian

2020-04-28 Thread Jonas Smedegaard
Quoting Lev Lamberov (2020-04-28 09:35:31) > I've got the following response from swi-prolog upstream about the > issue: > > Вс 26 апр 2020 @ 09:30 Jan Wielemaker : > > > Need to think a bit about the ABI issue. Basically, saved states are > > incompatible between versions, although you can

Bug#958419: swi-prolog 8.1.29 in Debian

2020-04-28 Thread Lev Lamberov
Hi, I've got the following response from swi-prolog upstream about the issue: Вс 26 апр 2020 @ 09:30 Jan Wielemaker : > Need to think a bit about the ABI issue. Basically, saved states are > incompatible between versions, although you can have some luck on > closely related versions. There are