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 HAA32240; Mon, 25 Oct 2004 07:01:32 +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 HAA31978 for ; Mon, 25 Oct 2004 07:01:31 +0200 (MET DST) Received: from mail.davidb.org (adsl-64-172-240-129.dsl.sndg02.pacbell.net [64.172.240.129]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id i9P51TAf005903 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Mon, 25 Oct 2004 07:01:30 +0200 Received: from davidb by mail.davidb.org with local (Exim 4.42 #1 (Debian)) id 1CLwz1-0000xQ-NU; Sun, 24 Oct 2004 22:01:27 -0700 Date: Sun, 24 Oct 2004 22:01:27 -0700 From: David Brown To: Jacques Garrigue Cc: caml-list@davidb.org, caml-list@inria.fr Subject: Re: [Caml-list] Announce: Schoca-0.2.3 released Message-ID: <20041025050127.GA3599@old.davidb.org> References: <1098642597.3075.32.camel@pelican.wigram> <20041025025832.GA1582@old.davidb.org> <20041025.123834.26988978.garrigue@math.nagoya-u.ac.jp> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20041025.123834.26988978.garrigue@math.nagoya-u.ac.jp> User-Agent: Mutt/1.5.6i X-Miltered: at concorde with ID 417C88A9.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 caml-list:01 2004:99 0900,:01 jacques:01 gpl:01 gpl:01 qpl:01 linked:01 garrigue:01 toplevel:01 toplevel:01 manually:03 dave:03 wrote:03 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Mon, Oct 25, 2004 at 12:38:34PM +0900, Jacques Garrigue wrote: > On the other hand, there should be no problem loading manually a > GPL library in the toplevel, or building such a toplevel privately. > (At least I believe so, but questions of dynamic loading are the > muddiest part of the GPL and the QPL.) The GPL only coveres distribution, not execution. GPL code can be linked with even proprietary code as long as the result isn't distributed at all. Dave ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners