On Sat, 2007-12-15 at 14:29 +0100, Wolfgang Jeltsch wrote:

Am Samstag, 15. Dezember 2007 13:05 schrieb Paul Johnson:

...

[…]

...

The GHC licence is basically a BSD with attribution. Compiled programs include the run-time, so you would just have to include the copyright notice somewhere in your documentation. This would also apply to those libraries that are shipped with the compiler.

I think, there is some issue with the GMP library which is used for implementing the Integer type and which is licensed under the GPL, AFAIK.

It's the LGPL not the GPL. See http://gmplib.org/ Duncan

bit:

On Dec 15, 2007 4:40 PM, Duncan Coutts wrote:

...

On Sat, 2007-12-15 at 14:29 +0100, Wolfgang Jeltsch wrote:

...

[...]

I think, there is some issue with the GMP library which is used for implementing the Integer type and which is licensed under the GPL, AFAIK.

It's the LGPL not the GPL. See http://gmplib.org/

When GHC compiles a haskell program, it seems to statically link in libgmp. I don't believe that libgmp's license has a static linking exception. Therefore it would seem that the resulting haskell program must be distributed only under the terms of the LGPL(either providing providing the full source of your haskell program, or providing your object files).

Or am I missing something?

Yep :) GHC doesn't statically link libgmp, unless you build it to do so. By default it will use your dynamically linked libgmp. $ ldd `which xmonad` /home/dons/bin/xmonad: Start End Type Open Ref GrpRef Name 0000000000000000 0000000000000000 exe 1 0 0 /home/dons/bin/xmonad 00000000468d5000 0000000046cd7000 rlib 0 1 0 /usr/X11R6/lib/libXinerama.so.5.0 0000000044a55000 0000000044e66000 rlib 0 2 0 /usr/X11R6/lib/libXext.so.10.0 000000004cf4f000 000000004d45b000 rlib 0 3 0 /usr/X11R6/lib/libX11.so.10.0 000000004bbff000 000000004c008000 rlib 0 1 0 /usr/lib/libutil.so.11.0 000000004d45b000 000000004d874000 rlib 0 1 0 /usr/lib/libm.so.2.3 --> 000000004c485000 000000004c8c1000 rlib 0 1 0 /usr/local/lib/libgmp.so.7.0 000000004a5f0000 000000004aac2000 rlib 0 1 0 /usr/lib/libc.so.42.0 0000000042934000 0000000042d37000 rlib 0 3 0 /usr/X11R6/lib/libXau.so.9.0 000000004fe36000 000000005023b000 rlib 0 3 0 /usr/X11R6/lib/libXdmcp.so.9.0 0000000041b00000 0000000041b00000 rtld 0 1 0 /usr/libexec/ld.so -- Don