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