While doing 'isabelle build -a', macOS 10.14.4 (Mojave) informs me that
'csdp' is a 32-bit executable that won't run on Catalina [1]. This is
for revision c9433e8e314e of yesterday.
The executable is part of the Isabelle component located at
~/.isabelle/contrib/csdp-6.x. Which functionality depends on this
component and will fail after upgrading to Catalina?
Clemens
[1] https://support.apple.com/en-us/HT208436
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
