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

Lawrence Paulson lp15 at cam.ac.uk
Thu Nov 28 13:46:39 CET 2019

Adding to the confusion, the executable I have in 


fails with "Bad CPU type in executable”. My iMac at work also has a working executable, but it is located at


and I see now that my settings file points to this version, which I must have compiled in 2014. It also seems that CSDP hasn’t changed (according to its version number) since that date.

We are distributing a bad version for some reason.


> On 28 Nov 2019, at 12:38, Lawrence Paulson <lp15 at cam.ac.uk> wrote:
> Now here is something weird: while the SOS method definitely fails on my Catalina MacBook Pro at home, it succeeds on my Catalina iMac at work.
> I was also able to compile Csdp-6.1.1 from sources this morning. It seems to require nothing but a prior installation of GCC including Fortran.
> What now? Shall we ask the general mailing list? I have seen no complaints of SOS failing, but then again, it’s extremely obscure.
> Larry

More information about the isabelle-dev mailing list