Architecture problem

[Makarius]

On 21/10/2025 19:57, Lawrence Paulson via isabelle-dev wrote:
> On my M2 MacBook Pro, I’m getting
> 
> I/O error: /Users/lp15/.isabelle/contrib/polyml-5.9.2/x86_64_32-darwin/poly 
> (No such file or directory)
> 
> And of course the x86 version isn’t the one I should be needing anyway.
> 
> f08c8e96a2b4

I've actually forgotten to build the Intel/macOS platform: for Poly/ML we need 
to do this on an actual Intel Mac, while e.g. for VSCodium this is a hybrid 
build works on ARM64 for both platforms.

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 my usual ARM64 test machines, it works fine.


And yes: We might rightly ask when the Intel Mac platform is to be 
discontinued. Maybe in 2 years.


	Makarius