[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 22:14:27 +0300 |
> From: Bruno Haible <bruno@clisp.org>
> Cc: luangruo@yahoo.com, eggert@cs.ucla.edu, angelo.g0@libero.it,
> emacs-devel@gnu.org
> Date: Sun, 06 Aug 2023 20:54:43 +0200
>
> Eli Zaretskii wrote:
> > > OK. How do you reliably get notified about the relevant changes?
> >
> > By watching the Gnulib updates and new Gnulib modules that get
> > imported and compiled into libgnu.a.
> > ...
> > > For more reliability, I would save the generated config.cache from a mingw
> > > build somewhere, and compare the config.cache of newer builds with the
> > > saved one.
> >
> > I do that as well, when I suspect some change could cause a
> > difference.
> > ...
> > Luckily, this happens very rarely, IME, at least as far as things
> > related to Emacs on Windows are concerned.
>
> OK, it sounds like this part of the interface between Gnulib and Emacs
> development works well enough in practice? If you agree, then I'm glad
> nothing needs to be changed on the Gnulib side in that respect.
It works well enough, yes. The number of times the build was broken
since we moved to using the Posix configury on Windows 10 years ago is
less than a dozen, I think. Which is pretty fabulous, IMO.
- Re: Android port, (continued)
- Re: Android port, Eli Zaretskii, 2023/08/06
- Re: Android port, Bruno Haible, 2023/08/06
- Re: Android port, Eli Zaretskii, 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, Eli Zaretskii, 2023/08/06
- Re: Android port, Bruno Haible, 2023/08/06
- Re: Android port, Eli Zaretskii, 2023/08/06
- Re: Android port, Bruno Haible, 2023/08/06
- Re: Android port,
Eli Zaretskii <=
- Re: Android port, Eli Zaretskii, 2023/08/06
- Re: Android port, Bruno Haible, 2023/08/06
- Re: Android port, Eli Zaretskii, 2023/08/06
- Re: Android port, Po Lu, 2023/08/06
- Re: Android port, Angelo Graziosi, 2023/08/06
- Re: Android port, Angelo Graziosi, 2023/08/06
- Re: Android port, Angelo Graziosi, 2023/08/06
- Re: Android port, Eli Zaretskii, 2023/08/06
- Re: Android port, Angelo Graziosi, 2023/08/06
- Re: Android port, Eli Zaretskii, 2023/08/06