[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Merging feature/android
From: |
Po Lu |
Subject: |
Re: Merging feature/android |
Date: |
Sun, 05 Mar 2023 13:52:59 +0800 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Richard Stallman <rms@gnu.org> writes:
> We have no responsibility to support any particular compiler other
> than GCC. We can do so when we wish.
That's not what the GNU Coding Standards say:
An exception to this rule are the large, established programs (such as
Emacs) which run on a great variety of systems. Using GNU extensions
in such programs would make many users unhappy, so we don’t do that.
Another exception is for programs that are used as part of
compilation: anything that must be compiled with other compilers in
order to bootstrap the GNU compilation facilities. If these require
the GNU compiler, then no one can compile them without having them
installed already. That would be extremely troublesome in certain
cases.
> If someone sends us patches to support compiler BARCC, and they are
> simple enough, we will probably install them just to be helpful. But
> if it isn't easy. we should say "no thanks".
In this specific case, the patch being discussed is a configure test to
disable an Emacs feature when a GCC extension is not present. That's
very easy.
- Re: __attribute__ ((cleanup)) and emacs-module.c, (continued)
- Re: Merging feature/android, Eli Zaretskii, 2023/03/08
- Re: Merging feature/android, Arsen Arsenović, 2023/03/06
- Re: Merging feature/android, Po Lu, 2023/03/06
- Re: Merging feature/android, Arsen Arsenović, 2023/03/06
- Re: Merging feature/android, Po Lu, 2023/03/06
- Re: Merging feature/android, Eli Zaretskii, 2023/03/05
- Re: Merging feature/android, Po Lu, 2023/03/05
- Re: Merging feature/android, Richard Stallman, 2023/03/04
- Re: Merging feature/android,
Po Lu <=
- Re: Merging feature/android, Richard Stallman, 2023/03/06
- Re: Merging feature/android, Po Lu, 2023/03/06
- Re: Merging feature/android, Paul Eggert, 2023/03/03
- Re: Merging feature/android, Po Lu, 2023/03/03
- Re: Merging feature/android, Eli Zaretskii, 2023/03/04
- Re: Merging feature/android, Po Lu, 2023/03/04
- Re: Merging feature/android, Paul Eggert, 2023/03/04
- Re: Merging feature/android, Po Lu, 2023/03/04
- Re: Merging feature/android, Eli Zaretskii, 2023/03/04
- Re: Merging feature/android, Po Lu, 2023/03/04