Hello, On Thursday 17 January 2008 05:24, Manuel M T Chakravarty wrote:

Thorkil Naur:

...

Hello,

On Tuesday 08 January 2008 15:07, Christian Maeder wrote:

...

Hi,

I've succeeded in building a binary distribution that uses static libraries for gmp and readline. libreadline.a, libncurses.a and libgmp.a with corresponding header files are included. (For license issues ask someone else.)

On http://gmplib.org/ we find:

"GMP is distributed under the GNU LGPL. This license makes the library free to use, share, and improve, and allows you to pass on the result. The license gives freedoms, but also sets firm restrictions on the use with non- free programs."

I have not attempted to check whether your distribution fulfills the requirements of the LGPL.

It does fullfil them. The source code of all components of the system is available enabling users to build the same software with a different version of GMP. That's all that the LGPL requires of software linked against a LGPL library.

...

Further, on http://cnswww.cns.cwru.edu/php/chet/readline/rltop.html:

"Readline is free software, distributed under the terms of the GNU General Public License, version 2. This means that if you want to use Readline in a program that you release or distribute to anyone, the program must be free software and have a GPL-compatible license."

For your distribution to adhere to this, it appears to require GHC to have a GPL-compatible license.

Sorry, my use of the term "GPL-compatible" here is wrong. What I should have written was that "it appears to require GHC to be distributed under the GPL".

...

I don't believe it does.

It does. GHC's codebase is a mix of BSD3, LGLP, and GPL. They are perfectly compatible. See <http://www.fsf.org/licensing/licenses/index_html

...

.

Manuel

Best regards Thorkil