Architecture problem

[Lawrence Paulson]

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

Larry
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20251021/e7348ddb/attachment.htm>