Architecture problem

[Makarius]

On 21/10/2025 20:05, Makarius 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.

This is how to query the local setup:

isabelle getenv ML_PLATFORM
isabelle options -g ML_platform

The default for both is empty: it means to use the standard platform, i.e. 
arm64_32-darwin.


	Makarius