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 script/command to
create this hash for a particular system?
Thanks for your interest in this challenge :-)
Yes, if ABI is computed during build then what would be helpful is to
extend that to expose the computed ABI as a single string. Maybe add it
as an additional note in output of "swipl --version"?
Or if possible to (re)compute at runtime then just document that, for us
distribution maintainers to integrate into our packaging routines.
I think I cover this nicely now:
janw (linux; master) 68_> swipl --abi_version
swipl-2-67-792e14f8-de23899e
There is a section in the docs explaining the various binary ABIs
and what aspects rely on them. There is a new function PL_version()
in the C api that can be used to query the versions individually.
The above says:
- Backward compatibility version of the foreign interface is 2
- Saved state file format can be loaded when not older than 67
- 792e14f8 is a fingerprint for the C-defined foreign predicate
signatures.
- de23899e is a fingerprint of the VM instructions and their
signatures.
Does this adequately solve your problems? Do you see other
requirements?
Can you test on this, or would you rather wait for an official
8.1.30? I can create that now if that is useful to speedup
stabilizing stuff to get at 8.2.0.
Thanks --- Jan
