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