caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Sven <luther@dpt-info.u-strasbg.fr>
To: Patrick M Doane <patrick@watson.org>
Cc: Vitaly Lugovsky <vsl@ontil.ihep.su>, caml-list@inria.fr
Subject: Re: [Caml-list] License Conditions for OCaml
Date: Sun, 11 Nov 2001 13:42:12 +0100	[thread overview]
Message-ID: <20011111134212.D23725@dpt-info.u-strasbg.fr> (raw)
In-Reply-To: <20011109161921.X80907-100000@fledge.watson.org>; from patrick@watson.org on Fri, Nov 09, 2001 at 04:39:13PM -0500

On Fri, Nov 09, 2001 at 04:39:13PM -0500, Patrick M Doane wrote:
> On Fri, 9 Nov 2001, Vitaly Lugovsky wrote:
> 
> > On Thu, 8 Nov 2001, Patrick M Doane wrote:
> >
> > >   "The LGPL puts no restrictions at all on programs linked with LGPL-ed
> > > libraries. Thus, users are free to distribute (or not) OCaml-generated
> > > binaries under whatever conditions they like."
> > >
> > > >From my reading of the LGPL, which seems to correspond with the opinions
> > > of others on the list, this just isn't true.
> >
> >  Please, read it again. Carefully.
> 
> I have read it again today, carefully, and still come to the same
> conclusions:
> 
>   1. Users are allowed to reverse engineer the application
> 
>   2. Source (or possibly object files) for my application must be included
>      in the distribution.
> 
> I could probably be convinced that object files are sufficient for
> purposes of satisfying the license, but that just exposes the next major
> problem (i.e. point #1).
> 

Yes, this is the real problem for you, why not say it from the begining and
explain a bit ?

> > > If I develop an application
> > > with OCaml, I must distribute that application with source code.
> >
> >  No. You must distribute a runtime source or just put a link how to get
> > it. Nothing more. There are a lot of commercial, closed source
> > applications linked with LGPL libraries - e.g. any Linux commercial
> > apps linked with GNU Libc.
> 
> The runtime source for OCaml must be included or a "written letter" must
> be provided. That's quite a bit different than a link.

Well, you have :

    d) If distribution of the work is made by offering access to copy
    from a designated place, offer equivalent access to copy the above
    specified materials from the same place.

That is, if you offer your app as downloadeable, you just need to offer the
object code from the same place.

In the other case, you probably ship a CD or something such, and probably
acompany it by a documentation, in this case, just add a page to the
documentation to comply with the LGPL.

> You also need to include either source (or again maybe object files) of
> the application that uses the library.

No, it is the source you need to provide for the LGPLed library.

but again, either a letter or a downloadable version would be ok.

> It's not sufficient to simply ship a static executable and include a
> notice where one can get the OCaml source code.

Well, not sure, the reasoning here is that you must agree to make the object
and library source available for at least 3 years. You cannot guarantee that
the ocaml team will be doing this for the next 3 years, altough it certainly
would. Now if you were a member of the consortium, then this may be
legailistically sufficient, but again, i am no lawyer.

That said, if you modify the ocaml compiler suite to build your app, then you
have to make these modifications available, maybe it is this that is required
?

> > > This isn't acceptable for commercial development
> >
> >  It IS acceptable. But here, I think, it's offtopic. Read slashdot, and so
> > on. Look at WineX, for example: open source, commercial binaries.
> 
> I agree that for open source commercial software, there are no problems.
> This hardly represents the majority of commercial development though.

But study have said that this represent a big share of those commercial
software that will still exist in the next few years, you have been warned
:)))

> If this isn't an appropriate place to discuss issues with the Caml
> license, where else is?

Don't know, is this of interrest to the other list participants ? If yes, we
can continue here, users bored with it can easily send it to /dev/null with a
proper mail filter. If not, then we could continue privately, or create a new
list ocaml-legalese, or something such ? What do the other mailing list member
say about this, and in particular the ocaml team ?

Friendly,

Sven Luther
-------------------
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


  reply	other threads:[~2001-11-11 12:44 UTC|newest]

Thread overview: 81+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2001-11-09  4:30 Patrick M Doane
2001-11-09  4:48 ` Rafael 'Dido' Sevilla
2001-11-09  8:45   ` Xavier Leroy
2001-11-09 15:52     ` Dave Scott
2001-11-09 16:40     ` David Brown
2001-11-09 16:40     ` Brian Rogoff
2001-11-12  8:07       ` Tom
2001-11-12 15:58         ` David Brown
2001-11-09  4:49 ` Will Benton
2001-11-09  5:35   ` Patrick M Doane
2001-11-09  5:53     ` Michael Welsh Duggan
2001-11-09  5:58       ` Patrick M Doane
2001-11-09  9:27         ` Sven
2001-11-09  9:58           ` Julian Assange
2001-11-09 10:37             ` Sven
2001-11-09 15:39             ` Patrick M Doane
2001-11-09 15:36           ` Patrick M Doane
2001-11-09  9:25     ` Sven
2001-11-09 15:33       ` Patrick M Doane
2001-11-09 16:26         ` Tom
2001-11-11 12:25         ` Sven
2001-11-09 11:09     ` malc
2001-11-09 14:46       ` [Caml-list] ELF i386 dynamic linking patch. was: " Jeff Henrikson
2001-11-10  0:32         ` [Caml-list] " malc
2001-11-09  5:50 ` [Caml-list] " Michael Welsh Duggan
2001-11-09  8:59 ` Sven
2001-11-09 15:13   ` Patrick M Doane
2001-11-11 12:00     ` Sven
2001-11-11 14:56       ` Patrick M Doane
2001-11-26 16:21     ` Fergus Henderson
2001-11-26 16:47       ` Patrick M Doane
2001-11-27 10:28         ` Fergus Henderson
2001-11-27 10:58           ` Rafael 'Dido' Sevilla
2001-11-28 18:00             ` Xavier Leroy
2001-11-30  8:05               ` Sven
2001-11-09 20:54 ` Vitaly Lugovsky
2001-11-09 21:39   ` Patrick M Doane
2001-11-11 12:42     ` Sven [this message]
2001-11-11 22:05       ` Tom
2001-11-09 15:55 Dave Berry
2001-11-28 20:29 John Field
2001-11-28 22:08 ` Al Christians
2001-11-29  1:25 ` james woodyatt
2001-11-29  8:47   ` Florian Hars
2001-11-30  7:12     ` james woodyatt
2001-11-29  7:11 Ohad Rodeh
2001-11-29 19:49 David Gurr
2001-11-30  1:18 Don Syme
2001-11-30  1:59 ` Julian Assange
2001-12-01  3:23   ` Richard Stallman
2001-12-04 18:53     ` Sven
2001-12-06  2:46       ` Richard Stallman
2001-11-27 19:10         ` John Field
2001-11-28 18:22           ` Xavier Leroy
2001-11-28 19:14             ` Ronald Kuehn
2001-11-29  0:38             ` Julian Assange
2001-11-29  8:32               ` Xavier Leroy
     [not found]                 ` <20011129105008.DEBFD25A1B@suburbia.net>
2001-11-29 12:50                   ` Xavier Leroy
2001-11-29 13:42                     ` Jérôme Marant
2001-11-29 13:11                 ` Greg Bacon
2001-11-29 23:01                   ` Julian Assange
2001-11-29 23:13                     ` Greg Bacon
2001-11-29  8:31             ` Florian Hars
2001-11-29  8:43               ` Daniel de Rauglaudre
2001-11-29  9:04                 ` Jérôme Marant
2001-11-29  9:15                   ` Xavier Leroy
2001-11-29  9:29                     ` Jérôme Marant
2001-11-29  9:25                   ` Daniel de Rauglaudre
2001-11-29  9:35                     ` Jérôme Marant
2001-11-29  8:53               ` Xavier Leroy
2001-11-30  8:09             ` Sven
2001-12-07  0:09           ` YAMAGATA yoriyuki
2001-12-07  7:11             ` Richard Stallman
2001-12-06 12:26         ` Sven
2001-12-07  3:12           ` Richard Stallman
2001-12-10 15:28             ` Sven
2001-12-10 23:24               ` Jacques Garrigue
2001-12-11  4:22                 ` hooh pxw
2001-12-11 10:19                 ` Sven
2001-12-11  7:15               ` Richard Stallman
2001-11-30  4:25 Gregory Morrisett

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20011111134212.D23725@dpt-info.u-strasbg.fr \
    --to=luther@dpt-info.u-strasbg.fr \
    --cc=caml-list@inria.fr \
    --cc=patrick@watson.org \
    --cc=vsl@ontil.ihep.su \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).