11 Feb
2018
11 Feb
'18
3:48 a.m.
On 2018-02-10 14:19, Matthew Fernandez wrote:
Given the number of dependencies Isabelle ships with already, I agree including libgmp as well is probably the right way to go. times the pain of shipping larger binaries seems far less than the pain of debugging runtime linker issues.
Size has not been the main motivation for shared libraries for a long time.
--
Please don't Cc: me privately on mailing lists and Usenet,
if you also post the followup to the list or newsgroup.
To reply privately _only_ on Usenet, fetch the TXT record for the domain.