On 12/04/2013 12:54, David Matthews wrote:
Based on this, I think there would be a case for setting the default for Poly/ML to be --disable-shared so that producing the dynamic version requires an explicit option.
I've now committed this change. The default is now not to build the shared library but that can be overridden with --enable-shared. Like any change in SVN it's always provisional so it can be reverted if necessary. I'd like feedback either for or against.
David _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
