[isabelle-dev] Isabelle component csdp-6.x is 32-Bit [macOS]
lp15 at cam.ac.uk
Thu Nov 28 13:38:38 CET 2019
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.
> 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 . 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.
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
More information about the isabelle-dev