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