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
