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. _______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml