Architecture problem

[Makarius]

On 21/10/2025 20:31, Lawrence Paulson wrote:
> On 21 Oct 2025 at 19:28 +0100, Makarius <makarius at sketis.net>, wrote:
>>
>> That means me need to make more efforts to phase out remaining x86_64-darwin
>> executables, of some external tools. In particular:
>>
>> - spass
>> - vampire
>> - verit
>> - smbc
>> - zipperposition
>> - z3

 > Thanks. I surely hope that we have ARM versions of all of those.

I also hope it, but this hope is sometimes unfounded.

In recent years, I have tried hard to support arm64-linux, but a few 
executables are still missing.

This year, I have continued under the assumption that x86_64-darwin will stop 
working soon, but did not yet manage to build all tools yet.


In particular, the z3 situation is very bad: Could we update that eventually, 
or discontinue it altogether?


	Makarius