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 PAA14148; Sun, 11 Nov 2001 15:56:30 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA14376 for ; Sun, 11 Nov 2001 15:56:29 +0100 (MET) Received: from fledge.watson.org (fledge.watson.org [204.156.12.50]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id fABEuS510696 for ; Sun, 11 Nov 2001 15:56:28 +0100 (MET) Received: from localhost (patrick@localhost) by fledge.watson.org (8.11.6/8.11.5) with ESMTP id fABEuCD11433; Sun, 11 Nov 2001 09:56:12 -0500 (EST) (envelope-from patrick@watson.org) Date: Sun, 11 Nov 2001 09:56:11 -0500 (EST) From: Patrick M Doane To: Sven cc: caml-list@inria.fr Subject: Re: [Caml-list] License Conditions for OCaml In-Reply-To: <20011111130053.A23725@dpt-info.u-strasbg.fr> Message-ID: <20011111093714.T11297-100000@fledge.watson.org> MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hi Sven, I agree that this discussion maybe getting a bit much for the list. Here are responses to a few of those points that I think are relevant: On Sun, 11 Nov 2001, Sven wrote: > Tell me, what application do you want to write that you are so afraid people > will reverse engineer ? I'm not afraid of it - but those around me who pay the bills are. I'm relating the opinions of what I see in the commercial world. It is very common to strip binaries of all identifiers (or at least munge them beyond comprehension), and to have copy protection code. People are taking reasonable steps to protect their intellectual property. I want to see Caml succeed in that world. Now, it seems that Xavier indicates that these problems will be fixed which is great. We have had a number of good suggestions posted to the list that should be acceptable. > > Hmm... I doubt anyone would be complaining if this were released with > > the MIT License. That is much simpler to understand. > > That said, you cannot link with other usefull GPL/LGPLed stuff then, and > i doubt you will ever convince the FSF or other such to relicence their > code. Sure you can, it is perfectly acceptable to link non-LPGL code with LPGL code provided that you follow the rules of the LGPL. > > But the object files expose too much proprietary information. The .cmi > > files include the names of identifiers plus their types. Even the > > identifiers alone are too much. > Mmm, this is something Xavier or others from the ocaml team should > respond to, But i think someone able to reverse engineer the .cmi, is > also more than likely to be able to reverse engineer the asm code as > well. Maybe even more likely ? There are already several tools included in the distribution to get you started. Look under the tools directory at application like 'dumpapprox'. Luckily, the .cmi files should not be needed to relink an application. These would contain the most information. It is relatively easy to reverse engineer assembly when identifiers are still present in the code. Take these out and the problem get much harder. Patrick ------------------- 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