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

[Lawrence Paulson]

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

> On 27 Nov 2019, at 19:00, Makarius <makarius at sketis.net> wrote:
> 
> 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.
> 
> 
> 	Makarius
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev