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

Makarius makarius at sketis.net
Wed Nov 27 20:00:39 CET 2019

On 27/11/2019 19:20, Clemens Ballarin wrote:
> 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?

I am generally lagging behind in checking support for Catalina for
Isabelle and add-on tools. In the past couple of years our basis for
macOS test hardware has dwindled. At home I merely have a somewhat
pathetic Mac Mini to test it, but I first need to install the new OS
version in the first place.

Concerning CSDP there is a particular problem for macOS: the official
project downloads from https://github.com/coin-or/Csdp are only for
Linux and Windows. The macOS executable that we ship with csdp-6.x is an
older version.

Before that we were using CSDP as "software as a service" over the Net,
but that was very slow and unstable.


More information about the isabelle-dev mailing list