[Haskell-cafe] JOB OFFER / Haskell for commercial projects?

Don Stewart dons at galois.com
Sat Dec 15 15:55:04 EST 2007


bit:
> On Dec 15, 2007 4:40 PM, Duncan Coutts <duncan.coutts at worc.ox.ac.uk> 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


More information about the Haskell-Cafe mailing list