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

[Makarius]

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:
https://isabelle.in.tum.de/repos/isabelle/rev/bf5c69acf2be

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.


	Makarius