[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Merging feature/android
From: |
Richard Stallman |
Subject: |
Re: Merging feature/android |
Date: |
Mon, 06 Mar 2023 00:10:53 -0500 |
[[[ To any NSA and FBI agents reading my email: please consider ]]]
[[[ whether defending the US Constitution against all enemies, ]]]
[[[ foreign or domestic, requires you to follow Snowden's example. ]]]
> > 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:
That part of the Coding Standards is about a different question, more
specific. Namely, about whether to use GNU extensions (to C, for
instance) in the code of GNU packages.
My previous message addressed a related but different question:
whether to make it a goal to support compiling Emacs with a compiler
other than GCC.
These two questions are in the same area, indeed they overlap,
However, they are not the same question. There is no conflict between
what I wrote recently about one, and what the Coding Standards say
about the other.
--
Dr Richard Stallman (https://stallman.org)
Chief GNUisance of the GNU Project (https://gnu.org)
Founder, Free Software Foundation (https://fsf.org)
Internet Hall-of-Famer (https://internethalloffame.org)
- Re: __attribute__ ((cleanup)) and emacs-module.c, (continued)
- Re: __attribute__ ((cleanup)) and emacs-module.c, Paul Eggert, 2023/03/11
- 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, 2023/03/05
- Re: Merging feature/android,
Richard Stallman <=
- 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
Re: Merging feature/android, Po Lu, 2023/03/14