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:
On 28/11/2019 17:08, Lawrence Paulson wrote:
> I have no idea how components are managed or updated, but I can see that they
> aren’t stored in the repository. I hope that somebody else (after first
> perhaps testing that my emailed binary works on their machine) could do this.
In the past 10
I have no idea how components are managed or updated, but I can see that they
aren’t stored in the repository. I hope that somebody else (after first perhaps
testing that my emailed binary works on their machine) could do this.
Larry
> On 28 Nov 2019, at 15:39, Makarius wrote:
>
> When you
On 28/11/2019 16:21, Lawrence Paulson wrote:
>> On 28 Nov 2019, at 14:06, Makarius 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
> On 28 Nov 2019, at 14:06, Makarius 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
On 28/11/2019 15:06, Makarius wrote:
> In other words: 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
On 28/11/2019 13:46, Lawrence Paulson wrote:
> Adding to the confusion, the executable I have in
>
> ~/.isabelle/contrib/csdp-6.x/csdp6.0.1maccore/bin/csdp
>
> fails with "Bad CPU type in executable”. My iMac at work also has a working
> executable, but it is located at
>
>
Adding to the confusion, the executable I have in
~/.isabelle/contrib/csdp-6.x/csdp6.0.1maccore/bin/csdp
fails with "Bad CPU type in executable”. My iMac at work also has a working
executable, but it is located at
/usr/local/bin/csdp
and I see now that my settings file points to
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
