[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Android port
From: |
Po Lu |
Subject: |
Re: Android port |
Date: |
Mon, 07 Aug 2023 07:55:53 +0800 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Eli Zaretskii <eliz@gnu.org> writes:
>> Date: Sun, 6 Aug 2023 10:44:09 -0700
>> Cc: Eli Zaretskii <eliz@gnu.org>, angelo.g0@libero.it, emacs-devel@gnu.org,
>> Bruno Haible <bruno@clisp.org>
>> From: Paul Eggert <eggert@cs.ucla.edu>
>>
>> I understand the reluctance from the Android point of view. However,
>> printf-posix imports 69 new source files to Emacs, and these files have
>> not been tested extensively with Emacs on non-Android platforms. From
>> the viewpoint of non-Android Emacs platforms, it's significantly less
>> disruptive if merging the Android branch does not add 69 new source
>> files that will require testing on these platforms.
>>
>> And even from the Android viewpoint, no matter what we do to fix the
>> problem some testing needs to be done anyway, as the fix is likely to
>> affect Emacs in test-relevant ways.
>
> I think Paul makes a good point here about those modules not being
> tested in Emacs on other platforms. Avoiding addition of 69 files to
> Emacs is also a non-trivial gain.
>
> Since Emacs 30.1 will not be released any time soon, I think we will
> have ample time to test it without the *printf modules, and find out
> and fix any issues this could create.
>
> So I suggest to give this solution a chance.
>
>> The idea is to get feature/android merged quickly. We can revisit the
>> use of Gnulib's printf-posix module later, as needed. With luck
>> printf-posix won't be needed, as Emacs historically has avoided use of
>> unusual printf features (for obvious portability reasons).
>
> Right.
I plan to quickly test this on some old versions of Android and ack.
- Re: Android port, (continued)
- Re: Android port, Eli Zaretskii, 2023/08/06
- Re: Android port, Po Lu, 2023/08/06
- Re: Android port, Bruno Haible, 2023/08/06
- Re: Android port, Po Lu, 2023/08/06
- Re: Android port, Eli Zaretskii, 2023/08/06
- Re: Android port, Bruno Haible, 2023/08/06
- Re: Android port, Paul Eggert, 2023/08/06
- Re: Android port, Eli Zaretskii, 2023/08/06
- Re: Android port, Paul Eggert, 2023/08/06
- Re: Android port, Eli Zaretskii, 2023/08/06
- Re: Android port,
Po Lu <=
- Re: Android port, Po Lu, 2023/08/06
- Re: Android port, Eli Zaretskii, 2023/08/07
- Re: Android port, Eli Zaretskii, 2023/08/07
- Re: Android port, Eli Zaretskii, 2023/08/07
Re: Android port, Po Lu, 2023/08/04
- Re: Android port, Eli Zaretskii, 2023/08/04
- Re: Android port, Po Lu, 2023/08/04
- Re: Android port, Angelo Graziosi, 2023/08/04
- Re: Android port, Po Lu, 2023/08/04
- Re: Android port, Corwin Brust, 2023/08/04