Architecture problem

[Lawrence Paulson]

Strangely, fixing this (leaving ML_PLATFORM unset) had no effect on build times.

Larry
On 21 Oct 2025 at 19:28 +0100, Makarius <makarius at sketis.net>, wrote:

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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20251021/38ba459f/attachment.htm>