[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: |
Mon, 06 Mar 2023 16:05:39 +0800 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Richard Stallman <rms@gnu.org> writes:
> [[[ 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.
The problem we are discussing is an extension being used by
emacs-module.c, not whether or not we should support compilers other
than GCC.
- Re: Merging feature/android, (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, 2023/03/05
- Re: Merging feature/android, Richard Stallman, 2023/03/06
- Re: Merging feature/android,
Po Lu <=
- 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