From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id JAA12743; Mon, 18 Jun 2001 09:32:22 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id JAA12937 for ; Mon, 18 Jun 2001 09:32:22 +0200 (MET DST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f5I7WAn24685; Mon, 18 Jun 2001 09:32:10 +0200 (MET DST) Received: (from xleroy@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id JAA12377; Mon, 18 Jun 2001 09:32:10 +0200 (MET DST) Date: Mon, 18 Jun 2001 09:32:09 +0200 From: Xavier Leroy To: Jacques Garrigue Cc: skaller@ozemail.com.au, caml-list@inria.fr Subject: Re: [Caml-list] Caml toplevel and readline Message-ID: <20010618093209.C12678@pauillac.inria.fr> References: <3B2796C1.9144F7AE@ozemail.com.au> <20010614154525K.garrigue@kurims.kyoto-u.ac.jp> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Mailer: Mutt 1.0i In-Reply-To: <20010614154525K.garrigue@kurims.kyoto-u.ac.jp>; from garrigue@kurims.kyoto-u.ac.jp on Thu, Jun 14, 2001 at 03:45:25PM +0900 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > 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