Architecture problem

[Makarius]

 > On 21 Oct 2025 at 19:05 +0100, Makarius <makarius at sketis.net>, wrote:
 >>
 >> What is still odd: Why does your local setup demand x86_64_32-darwin/poly? It
 >> could be something in etc/preferences: ML_platform.

On 21/10/2025 20:11, Lawrence Paulson wrote:
> Indeed, that was it. But why did it work before?

Because your settings to demand x86_64_32-darwin/poly could be resolved 
properly: You merely had a slightly slower Poly/ML, without taking notice.

Of course, I will update the polyml component to provide the missing Intel 
platforms.


And yes, we do need to discontinue Intel macOS in approx. 2-3 years, when 
Apple is going to ship macOS 28 without Rosetta 2. E.g. see 
https://arstechnica.com/gadgets/2025/06/apple-details-the-end-of-intel-mac-support-and-a-phaseout-for-rosetta-2

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


	Makarius