[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Android port
From: |
Eli Zaretskii |
Subject: |
Re: Android port |
Date: |
Sun, 06 Aug 2023 21:15:25 +0300 |
> Date: Sun, 6 Aug 2023 11:10:29 -0700
> Cc: Po Lu <luangruo@yahoo.com>, Eli Zaretskii <eliz@gnu.org>,
> angelo.g0@libero.it, emacs-devel@gnu.org
> From: Paul Eggert <eggert@cs.ucla.edu>
>
> On 2023-08-06 06:07, Bruno Haible wrote:
> > PS: The differences between this approach and the OMIT_GNULIB_MODULE_*
> > approach (as far as I understand it) are:
> >
> > * This approach uses only documented Gnulib features.
> > Whereas the OMIT_GNULIB_MODULE_* approach hacks generated files and
> > is thus more fragile.
> >
> > * This approach has an effect on both the set of .m4 code executed by
> > configure_and_ the generated Makefiles.
> > Whereas the OMIT_GNULIB_MODULE_* approach does not change what happens
> > at configure time, it only modifies the generated Makefiles.
>
> Thanks, Bruno, this sounds like a promising idea. I'll add it to my list
> of things to do for Emacs. I'm hoping that it isn't needed for merging
> the Android port, though, as it'll require some thinking and testing of
> its own.
I agree: this is certainly something to consider for the future, but
it is better kept separate from the prerequisites for merging the
Android branch. The main "beneficiary" of migrating to this method is
the MinGW build (and the Gnulib import job), not the Android build.
- Re: Android port, (continued)
- Re: Android port, Eli Zaretskii, 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, 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 <=
- Re: Android port, Paul Eggert, 2023/08/06
- Re: Android port, Eli Zaretskii, 2023/08/06
- Re: Android port, Po Lu, 2023/08/06
- 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