English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
[Caml-list] Caml toplevel and readline
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2001-06-18 (07:32)
From: Xavier Leroy <Xavier.Leroy@i...>
Subject: Re: [Caml-list] Caml toplevel and readline
> No. Gnu-readline is a well-known example of library released under the
> GPL, which makes it incompatible with the caml toplevel, which is
> covered by the QPL :-)

Waitaminute.  The Caml toplevel doesn't *link* with the Caml runtime
system and bytecode interpreter -- just like a shell script doesn't link
with the Bash shell.

That is, we have a piece of LGPL'd C code (the Caml bytecode
interpreter and runtime system) that links with whatever C libraries
happen to be LGPL-compatible and interprets bytecode for a QPL'd
program (the toplevel) produced by a QPL'd compiler (ocamlc).
What can possibly be wrong with that?

(Unless a GPL'd library cannot be linked with a LGPL'd program, which
would be a surprise to me, but you never know with those FSF licenses :-)

- Xavier "license to link" Leroy
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr