[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