[isabelle-dev] Isabelle component csdp-6.x is 32-Bit [macOS]

Clemens Ballarin ballarin at in.tum.de
Wed Nov 27 19:20:28 CET 2019


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


More information about the isabelle-dev mailing list