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

Lawrence Paulson lp15 at cam.ac.uk
Wed Nov 27 19:28:05 CET 2019

It’s for the sos method. Didn’t realise we were losing this.

See https://www.cl.cam.ac.uk/~jrh13/slides/mit-16apr10/slides.pdf


> On 27 Nov 2019, at 18:20, Clemens Ballarin <ballarin at in.tum.de> 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?

More information about the isabelle-dev mailing list