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

Clemens Ballarin ballarin at in.tum.de
Thu Nov 28 20:56:02 CET 2019


I'm glad you tried on your MacBook Pro at home first ...

The attached executable doesn't work out of the box, it needs 
libgfortran:

ballarin$ ~/Downloads/csdp.bin --version
dyld: Library not loaded: /usr/local/gfortran/lib/libgfortran.3.dylib
   Referenced from: /Users/ballarin/Downloads/csdp.bin
   Reason: image not found
Abort trap: 6

Clemens


On 2019-11-28 16:21, Lawrence Paulson wrote:
>> On 28 Nov 2019, at 14:06, Makarius <makarius at sketis.net> wrote:
>> 
>> users who want to use Isabelle2019 with everything as expected
>> need to stay away from the macOS update.
>> 
>> It is clear that such things need to be updated eventually. The 
>> standard
>> scheme is to have everything working with Catalina with the next 
>> official
>> Isabelle release.
> 
> Sorry, this statement is absolutely incorrect. The version of csdp
> that I compiled myself in 2014 (and again this morning) works
> perfectly well with Catalina. I will try emailing it (see attachment)
> and maybe somebody else can see if it runs for them. Then I can send
> it out to the general mailing list.
> 
> We need to include this version in our package rather than the one we
> have been using before.
> 
> Larry


More information about the isabelle-dev mailing list