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

[Lawrence Paulson]

Adding to the confusion, the executable I have in 

	~/.isabelle/contrib/csdp-6.x/csdp6.0.1maccore/bin/csdp

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

/usr/local/bin/csdp 

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.

Larry

> 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