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 <[email protected]> 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
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
