Re: Usage in commercial software

Bernard Berthomieu <[email protected]>
Newsgroups gmane.comp.lang.ml.mlton.user
Message-ID <[email protected]>
Hello,

On 6/11/14 7:22 PM, Benjamin Silbaugh wrote:
> As I read it, it looks like the LGPL does require that there be a way
> for the end user to both modify and relink GnuMP to the combined
> (proprietary) work. Depending on how the proprietary/commercial product
> needs to be distributed (e.g. statically vs dynamically linked
> application), the relinking requirement might be an issue?

I was asking myself the same questions some time ago. I read
somewhere that linking statically some LGPL library with some
proprietary application was considered acceptable as long as a
version of the application linking the library dynamically was
simultaneously available. In some sense, this says that you
did not have to modify the library to make your application work.

Besides that, I totally agree with Vesa that libgmp should be optional
in mlton. It takes hours to compile it on mingw, for instance.
I'm not in favor of totally dropping IntInf however, but rather of
providing by default a basic implementation of IntInf, together
with an optional libgmp-based library.

Regards,
   Bernard.

To unsubscribe from this group and stop receiving emails from it, send an email to [email protected].

------------------------------------------------------------------------------
HPCC Systems Open Source Big Data Platform from LexisNexis Risk Solutions
Find What Matters Most in Your Big Data with HPCC Systems
Open Source. Fast. Scalable. Simple. Ideal for Dirty Data.
Leverages Graph Analysis for Fast Processing & Easy Data Exploration
http://p.sf.net/sfu/hpccsystems
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.