Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Ocaml license - why not GPL?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2005-01-31 (07:03)
From: Alex Baretta <alex@b...>
Subject: Re: [Caml-list] Ocaml license - why not GPL?
Jacques Garrigue wrote:

> To the best of my knowledge, Trolltech decided to release a GPL'ed
> version of Qt because the QPL is not compatible with the GPL, which is
> no surprise at all: by definition the GPL is only compatible with
> itself, or strictly weaker licenses, like BSD or LGPL.
> This is less of a problem with ocaml, because the part covered by the
> QPL is the compiler, not the library, so this should only concern
> persons hacking the compiler itself.
> Jacques Garrigue

Hmmm... This is an interesting point! The toplevel library includes the 
compiler code, which is licensed under the QPL, but yet somehow must be 
allowed to link to GPLed libraries and programs. If the toplevel library 
  may not be linked with GPLed code, then the toplevel itself become 
hardly usable, and a significant portion of my code, which is GPLed and 
links the toplevel library, would be illegal.

Might the caml breeders please comment on this issue?


Baretta DE&IT
A division of Baretta SRL

tel. +39 02 370 111 55
fax. +39 02 370 111 54

Our technology:

The Application System/Xcaml (AS/Xcaml)

The FreerP Project