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

Makarius makarius at sketis.net
Fri Nov 29 13:24:08 CET 2019

On 29/11/2019 12:04, Lawrence Paulson wrote:
> As I recall, it’s possible to create a sort of closure containing both an executable and libraries. Does anybody know how that is done?

This is done for the "poly" executable here:

For CSDP it might be better to produce a statically linked executable, though.

Further note that the result needs to work on the oldest macOS version that we
still support, which usually means that the building is done on the oldest and
testing on the newest one.

Sometimes this causes extra problems.


More information about the isabelle-dev mailing list