caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Sven <luther@dpt-info.u-strasbg.fr>
To: Richard Stallman <rms@gnu.org>
Cc: proff@iq.org, dsyme@microsoft.com, gbacon@hiwaay.net,
	xavier.leroy@inria.fr, jfield@us.ibm.com, caml-list@inria.fr
Subject: Re: [Caml-list] License Conditions for OCaml
Date: Thu, 6 Dec 2001 13:26:06 +0100	[thread overview]
Message-ID: <20011206132606.A6756@dpt-info.u-strasbg.fr> (raw)
In-Reply-To: <200112060246.fB62kBw00747@aztec.santafe.edu>; from rms@gnu.org on Wed, Dec 05, 2001 at 07:46:11PM -0700

On Wed, Dec 05, 2001 at 07:46:11PM -0700, Richard Stallman wrote:
>     There is always the second solution, which in my opinion would be nice, but
>     still not optimal (well, it works with true arch independent bytecode, but it
>     will not survive investing in hardware of a different arch, but since most
>     people use only i386, this may be moot).
> 
> That is not really an issue.  If you distribute linked executables for
> computer X, using an LGPL-covered library, the LGP requires you to
> provide your customer with object files for computer X--but not for
> any other computer.

Yes, i understand that, but the whole point of this is that the customer get
the right to use the program he buys, isn't it ?

Suppose he has some hardware which will get discontinued for some reason, like
the alpha case, and has to buy new hardware of some other kind, he cannot
anymore fullfills his right to use the program.

But anyway, this is not the point here, and would be difficult to obtain,
apart from providing full source code of the app.

>     to be that this guy company is working on some of the leading edge
>     stuff that i read on the FSF pages, from you or someone else i
>     think, may be one of those place were open source will not work.
> 
> It would be strange if there were such a statement on our web site.
> We don't do "open source" and we don't agree with the open source
> movement, so the question of whether it will or won't work in a
> certain domain is not one we would be very concerned with.  If you
> could tell me which page you saw this in, I'd appreciate that.

mmm, don't remember, but it was in 98 or 97, a link from the fsf pages, i
think in a faq or a document (maybe even from you, don't remember) that dealt
with reasons to use free software.

IT went on saying that there is no reason, apart from some very leading edge
areas were there is still not widely known innovation hidden in the soruce
code, to not choose to give people access to the source code, or something
such.

But then, maybe i am wrong, and did read it from the open source guys, but the
time frame makes that somewhat unlikely.

>     1- Users can link with it, statically or dynamically, without any
>        restrictions on the final program.
> 
> It is easy enough to do that.  That is what we did in the GCC support
> library, libgcc, because it consists mainly of many very simple
> functions.

mmm, but then i suppose the libgcc is not licenced under the LGPL, is it ? 

This may be a good solution, but is such a licencing scheme compatible with
linking with LGPLed or GPLed code ?

>     2- Users can modify the runtime or the libraries themselves, but then
>        must make their modifications public under the same conditions as
>        the original source.
> 
> To *require* people to publish modified versions of a program is, in
> general, unacceptable for free software--such a requirement would make
> the software non-free.
> 
> However, to say that *if* the user publishes the modified version he
> must do so under a certain license is legitimate.  That is what the
> GPL does, for instance.

Yes, i know, i guess this is what was meant here.

Anyway, there is no way you can force someone to release code you don't know
about :)))

> It is also legitimate in a free software license to require
> publication of the modified library source if an executable containing
> the modified library is published.  Perhaps they would like to do
> this.

I guess so.

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


  parent reply	other threads:[~2001-12-06 12:28 UTC|newest]

Thread overview: 79+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
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 [this message]
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
  -- strict thread matches above, loose matches on Subject: below --
2001-11-30  4:25 Gregory Morrisett
2001-11-29 19:49 David Gurr
2001-11-29  7:11 Ohad Rodeh
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-09 15:55 Dave Berry
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  5:50 ` 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
2001-11-11 22:05       ` Tom

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=20011206132606.A6756@dpt-info.u-strasbg.fr \
    --to=luther@dpt-info.u-strasbg.fr \
    --cc=caml-list@inria.fr \
    --cc=dsyme@microsoft.com \
    --cc=gbacon@hiwaay.net \
    --cc=jfield@us.ibm.com \
    --cc=proff@iq.org \
    --cc=rms@gnu.org \
    --cc=xavier.leroy@inria.fr \
    /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).