unofficial mirror of emacs-devel@gnu.org 
 help / color / mirror / code / Atom feed
From: David Kastrup <dak@gnu.org>
To: "Perry E. Metzger" <perry@piermont.com>
Cc: esr@thyrsus.com, emacs-devel@gnu.org,
	Richard Stallman <rms@gnu.org>,
	slewsys@gmail.com, monnier@iro.umontreal.ca
Subject: Re: Contributing LLVM.org patches to gud.el
Date: Thu, 12 Feb 2015 12:22:36 +0100	[thread overview]
Message-ID: <87bnkzpe6b.fsf@fencepost.gnu.org> (raw)
In-Reply-To: <20150211183700.04ec0613@jabberwock.cb.piermont.com> (Perry E. Metzger's message of "Wed, 11 Feb 2015 18:37:00 -0500")

"Perry E. Metzger" <perry@piermont.com> writes:

> On Wed, 11 Feb 2015 18:13:30 -0500 Richard Stallman <rms@gnu.org>
> wrote:
>>   > But I believe you have asked in the interim that GCC not be
>>   > made more modular out of fear of proprietary reuse of the front
>>   > or back end.
>> 
>> If you are talking about outputting ASTs, that has nothing to do
>> with how modular GCC is.  This is a different issue.
>
> If this is the case, returning to an earlier issue:
>
> It might not per se necessary that Emacs have access to the AST in
> textual form. If GCC or part of GCC could be called as a library from
> within Emacs to access the AST via an API, that might be sufficient.

I'm reminded of a talk in a "fuzzy logic" conference I was in at one
time.  The resume from the authors was more or less that their novel
compression method achieved something like 20% of the signal theory
theoretical maximum performance, so if they got 10 times the funding,
they should be able to achieve about 200% of the theoretical maximum.

There is a principal basic problem that we cannot overcome with any
trickiness: Emacs and GCC are two separate, independent applications.
_Any_ way in which we are able to combine them will have a point where
Emacs as an application ends and/or a point where GCC ends.  At those
points, we can swap in a different IDE from Emacs, and a different
compiler from GCC, and copyright will not come into play.

The GPL is a license based on copyright and nothing else.  Any
complication we design for combining GCC and Emacs is going to hit the
combination GCC/Emacs just as hard as everyone else.

> I don't yet have an opinion on whether it would be more or less
> convenient than having the AST in some other form, but it would
> certainly permit Emacs to have arbitrary access to semantic
> information about the program being edited.

AST or any other form: the problem will remain identical.  What works
for the separate applications Emacs and GCC will work equally well with
respect to copyright by replacing one of the components.

So it is a waste of time thinking up ways to obfuscate the issue.  The
principal boundary condition of combining GCC and Emacs is that we have
two identifiable entities that are separate with regard to their
copyright.  What works for them, works for other entities with separate
copyright.

-- 
David Kastrup



  reply	other threads:[~2015-02-12 11:22 UTC|newest]

Thread overview: 124+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-02-05  7:46 Contributing LLVM.org patches to gud.el Andrew L. Moore
2015-02-05  8:53 ` David Kastrup
2015-02-05 14:15 ` Stefan Monnier
2015-02-06 12:41 ` Richard Stallman
2015-02-06 12:49   ` David Kastrup
2015-02-06 18:21     ` Richard Stallman
2015-02-06 19:00       ` Stefan Monnier
2015-02-07  8:46         ` Helmut Eller
2015-02-07 10:18           ` David Kastrup
2015-02-07 11:42             ` Helmut Eller
2015-02-07 11:53               ` David Kastrup
2015-02-09  0:06             ` Richard Stallman
2015-02-09  3:27               ` Stephen J. Turnbull
2015-02-15 22:50                 ` Richard Stallman
2015-02-16  5:19                   ` Stephen J. Turnbull
2015-02-16 16:23                     ` Richard Stallman
2015-02-09 11:21               ` David Kastrup
2015-02-09 14:21                 ` Stefan Monnier
2015-02-09 22:07                   ` Richard Stallman
2015-02-09 23:59                     ` David Kastrup
2015-02-10  2:40                     ` Stefan Monnier
2015-02-10  3:52                       ` Eli Zaretskii
2015-02-10  8:59                         ` David Kastrup
2015-02-10 16:00                           ` Eli Zaretskii
2015-02-10 16:41                             ` David Kastrup
2015-02-10 16:58                               ` Eli Zaretskii
2015-02-11  3:43                                 ` Stephen J. Turnbull
2015-02-11  3:47                                   ` Daniel Colascione
2015-02-11 10:37                                     ` David Kastrup
2015-02-11 10:51                                       ` Daniel Colascione
2015-02-11 13:22                                         ` Stephen J. Turnbull
2015-02-11 16:07                                           ` Eli Zaretskii
2015-02-12 16:26                                             ` Eli Zaretskii
2015-02-12 17:42                                               ` Daniel Colascione
2015-02-12 20:15                                                 ` Eli Zaretskii
2015-02-11 15:54                                         ` Eli Zaretskii
2015-02-11 23:12                                         ` Richard Stallman
2015-02-11 15:42                                     ` Eli Zaretskii
2015-02-11 15:41                                   ` Eli Zaretskii
2015-02-12  4:20                                     ` Stephen J. Turnbull
2015-02-12 11:23                                       ` David Kastrup
2015-02-12 13:13                                         ` Stephen J. Turnbull
2015-02-12 15:52                                         ` Eli Zaretskii
2015-02-11  4:26                               ` Stephen J. Turnbull
2015-02-11  7:44                                 ` Nicholas Allegra
2015-02-11 15:43                                 ` Eli Zaretskii
2015-02-11 16:21                                   ` Stefan Monnier
2015-02-11 16:27                                     ` David Kastrup
2015-02-11 16:42                                     ` Eli Zaretskii
2015-02-12  5:41                                   ` Stephen J. Turnbull
2015-02-12 16:33                                     ` Eli Zaretskii
2015-02-12 18:29                                       ` Stephen J. Turnbull
2015-02-12 17:34                                     ` Richard Stallman
2015-02-10 17:03                         ` David Engster
2015-02-10 17:18                           ` Eli Zaretskii
2015-02-10 17:36                             ` David Engster
2015-02-10 19:15                               ` Eli Zaretskii
2015-02-10 20:25                                 ` David Engster
2015-02-10 22:49                               ` Richard Stallman
2015-02-11 10:35                                 ` David Kastrup
2015-02-11 23:12                                   ` Richard Stallman
2015-02-10 18:07                             ` David Kastrup
2015-02-10 19:21                               ` Eli Zaretskii
2015-02-10 20:33                           ` Stefan Monnier
2015-02-11 23:08                           ` Richard Stallman
2015-02-09 16:08                 ` Eli Zaretskii
2015-02-09 22:08                   ` Richard Stallman
2015-02-09 20:00               ` Florian Weimer
2015-02-07 14:46           ` Stefan Monnier
2015-02-07 22:40         ` Richard Stallman
2015-02-07 23:04           ` David Kastrup
2015-02-08  0:15           ` Eric S. Raymond
2015-02-08  0:51             ` David Kastrup
2015-02-09 20:04             ` Perry E. Metzger
2015-02-10 22:49               ` Richard Stallman
2015-02-11 16:17                 ` Perry E. Metzger
2015-02-11 23:13                   ` Richard Stallman
2015-02-11 23:37                     ` Perry E. Metzger
2015-02-12 11:22                       ` David Kastrup [this message]
2015-02-12 14:45                         ` Stephen J. Turnbull
2015-02-12 17:34                       ` Richard Stallman
2015-02-13 10:11                       ` Tom
2015-02-13 10:20                         ` Eli Zaretskii
2015-02-13 10:27                           ` Tom
2015-02-13 11:00                             ` Eli Zaretskii
2015-02-14 15:22                             ` Richard Stallman
2015-02-12 11:08                     ` David Kastrup
2015-02-14 15:22                       ` Richard Stallman
2015-02-11 23:13                   ` Richard Stallman
2015-02-12 10:28                     ` David Kastrup
2015-02-13  9:25                       ` Richard Stallman
2015-02-09 20:13             ` Florian Weimer
2015-02-10 22:49               ` Richard Stallman
2015-02-08  3:55           ` Liang Wang
2015-02-08  9:30             ` David Kastrup
2015-02-09  0:04             ` Richard Stallman
2015-02-09  8:47               ` David Kastrup
2015-02-09 22:07                 ` Richard Stallman
2015-02-09 23:03                   ` David Kastrup
2015-02-11 23:09                     ` Richard Stallman
2015-02-09 16:15               ` Robin Templeton
2015-02-09 20:13                 ` Perry E. Metzger
2015-02-09 22:08                 ` Richard Stallman
2015-02-10  8:24                   ` Helmut Eller
2015-02-10  9:31                     ` David Kastrup
2015-02-10 10:44                       ` Helmut Eller
2015-02-10 10:53                         ` David Kastrup
2015-02-10 12:45                           ` Helmut Eller
2015-02-10 13:35                             ` David Kastrup
2015-02-10 15:42                             ` Yann Hodique
2015-02-10 16:11                               ` David Kastrup
2015-02-10 22:49                         ` Richard Stallman
2015-02-11 10:20                           ` David Kastrup
2015-02-11 15:16                             ` Stefan Monnier
2015-02-11 23:13                               ` Richard Stallman
2015-02-09 20:06               ` Florian Weimer
2015-02-09 20:34                 ` David Kastrup
2015-02-10 22:46                 ` Richard Stallman
2015-02-06 19:21       ` David Kastrup
2015-02-07  5:50       ` Stephen J. Turnbull
2015-02-06 14:57   ` Stefan Monnier
2015-02-07 12:44     ` Richard Stallman
2015-02-07 14:48       ` Stefan Monnier
2015-02-07 22:41         ` Richard Stallman

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

  List information: https://www.gnu.org/software/emacs/

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

  git send-email \
    --in-reply-to=87bnkzpe6b.fsf@fencepost.gnu.org \
    --to=dak@gnu.org \
    --cc=emacs-devel@gnu.org \
    --cc=esr@thyrsus.com \
    --cc=monnier@iro.umontreal.ca \
    --cc=perry@piermont.com \
    --cc=rms@gnu.org \
    --cc=slewsys@gmail.com \
    /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.
Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/emacs.git

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 read-only IMAP folder(s) and NNTP newsgroup(s).