all messages for Emacs-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
From: Eli Zaretskii <eliz@gnu.org>
To: Bruno Haible <bruno@clisp.org>
Cc: luangruo@yahoo.com, eggert@cs.ucla.edu, angelo.g0@libero.it,
	emacs-devel@gnu.org
Subject: Re: Android port
Date: Sun, 06 Aug 2023 14:56:32 +0300	[thread overview]
Message-ID: <83tttcpeof.fsf@gnu.org> (raw)
In-Reply-To: <9065382.vXJBWSPEcx@nimes> (message from Bruno Haible on Sun, 06 Aug 2023 13:02:45 +0200)

> From: Bruno Haible <bruno@clisp.org>
> Cc: eggert@cs.ucla.edu, angelo.g0@libero.it, emacs-devel@gnu.org
> Date: Sun, 06 Aug 2023 13:02:45 +0200
> 
> Eli Zaretskii wrote:
> > Isn't there some "summary" variable for printf, like
> > gl_cv_func_printf_works or some such, which is set if all of the above
> > variables are set?  I'd prefer to override summary if it exists
> 
> No, there is no such "summary" variable. And it would be overkill to
> introduce one, because
>   - Emacs is the only package that needs a certain Gnulib module on
>     most platforms but wants to deactivate it on one particular platform.
>     Other packages don't work this way.
>   - The approach to set the variables individually in mingw-cfg.site
>     is good enough. It occasionally needs updates, every N years or so,
>     when some variable is added. But that's not a good enough justification
>     for adding complexity to Gnulib.

The decision whether Emacs's needs justify some additional complexity
in Gnulib is yours, of course (although I'd argue that Emacs is not
just any package), but please don't decide for the Emacs maintainers
whether this or that alternative is "good enough" for Emacs.  If we
reach out to Gnulib developers asking them for help in this matter, we
do that in good faith, and _after_ we considered the alternatives
which don't involve Gnulib changes (which are always preferable, for
obvious reasons).

> Also, a "summary" variable would not fulfil the goal that you set out
> yourself yesterday:
>   "I prefer not to preset gl_cv_* variables in this case, since they are
>    general enough tests of specific printf features, and if those
>    features will ever be really needed in Emacs, we want to be alerted to
>    that."
> 
> I perfectly understand this argument, that you want to be aware if the
> mingw-cfg.site file for example pretends that Emacs does not need %b support,
> in order to check the format strings to see whether that's indeed the case.
> The individual gl_cv_* variables are the right instrument to achieve this
> process.

Unless there's a misunderstanding, your understanding contradicts what
I wanted to convey in the quoited text.  The individual gl_cv_*
variables, if overridden by mingw-cfg.site, will completely shadow the
feature tests and will from that moment on make detecting any new
needs for that and dealing with those new needs our responsibility,
with nothing to aid us.  Which in practice means we could have a
broken port on Windows if some other functionality, which _is_ needed
on Windows, will become dependent on a test that we've overridden via
these variables.

Which is why I prefer to disable a module or a function replacement
without overriding the individual functionality tests which led to the
inclusion of the module and/or replacement of a function.  Disabling
the module or a function replacement just says that this
module/function is not needed or is implemented differently, without
saying anything about the respective functionalities.

Disabling functionality tests is only TRT when they are implemented in
Emacs's own code (and thus the configure script cannot possibly know
about them).  And even then we try to minimize the list of disabled
functionalities by telling the configure script as much as we can;
that is the reason why the configure script does this:

      *-mingw* )
                opsys=mingw32
                # MinGW overrides and adds some system headers in nt/inc.
                GCC_TEST_OPTIONS="-I $srcdir/nt/inc"



  reply	other threads:[~2023-08-06 11:56 UTC|newest]

Thread overview: 206+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2023-08-04  7:42 Android port Angelo Graziosi
2023-08-04  7:54 ` Eli Zaretskii
2023-08-04  9:45   ` Po Lu
2023-08-04 10:40     ` Eli Zaretskii
2023-08-04 12:12       ` Po Lu
2023-08-04 12:59         ` Eli Zaretskii
2023-08-04 13:23           ` Po Lu
2023-08-04 14:00             ` Eli Zaretskii
2023-08-05  0:48               ` Po Lu
2023-08-05  6:39                 ` Eli Zaretskii
2023-08-05  7:00                   ` Po Lu
2023-08-05  8:39                     ` Angelo Graziosi
2023-08-05  9:15                       ` Po Lu
2023-08-05 10:04                   ` Bruno Haible
2023-08-05 11:05                     ` Angelo Graziosi
2023-08-05 11:20                       ` Bruno Haible
2023-08-05 12:06                         ` Angelo Graziosi
2023-08-05 12:12                         ` Eli Zaretskii
2023-08-05 12:16                           ` Po Lu
2023-08-05 12:31                             ` Eli Zaretskii
2023-08-05 12:35                               ` Po Lu
2023-08-05 12:42                                 ` Po Lu
2023-08-05 12:25                           ` Bruno Haible
2023-08-05 12:42                             ` Eli Zaretskii
2023-08-05 12:47                               ` Bruno Haible
2023-08-05 13:00                                 ` Eli Zaretskii
2023-08-05 13:13                                   ` Po Lu
2023-08-05 15:26                                     ` Eli Zaretskii
2023-08-05 15:35                                       ` Eli Zaretskii
2023-08-05 23:37                                         ` Po Lu
2023-08-06  5:00                                           ` Eli Zaretskii
2023-08-06  5:07                                             ` Po Lu
2023-08-06  5:24                                               ` Eli Zaretskii
2023-08-06  8:48                                                 ` Paul Eggert
2023-08-06  8:58                                                   ` Eli Zaretskii
2023-08-06  9:24                                                   ` Po Lu
2023-08-06  9:35                                                     ` Eli Zaretskii
2023-08-06  9:41                                                       ` Po Lu
2023-08-06  9:44                                                         ` Eli Zaretskii
2023-08-06  9:54                                                           ` Po Lu
2023-08-06 10:00                                                             ` Eli Zaretskii
2023-08-06 10:10                                                               ` Po Lu
2023-08-06 10:40                                                                 ` Eli Zaretskii
2023-08-06 11:02                                                                   ` Bruno Haible
2023-08-06 11:56                                                                     ` Eli Zaretskii [this message]
2023-08-06 12:30                                                                       ` Po Lu
2023-08-06 12:42                                                                         ` Eli Zaretskii
2023-08-06 14:40                                                                       ` Bruno Haible
2023-08-06 15:09                                                                         ` Eli Zaretskii
2023-08-06 15:46                                                                           ` Bruno Haible
2023-08-06 17:44                                                                             ` Eli Zaretskii
2023-08-06 18:54                                                                               ` Bruno Haible
2023-08-06 19:14                                                                                 ` Eli Zaretskii
2023-08-06 13:05                                                                 ` Eli Zaretskii
2023-08-06 13:12                                                                   ` Bruno Haible
2023-08-06 13:18                                                                     ` Eli Zaretskii
2023-08-06 13:41                                                                       ` Po Lu
2023-08-06 15:09                                                                         ` Angelo Graziosi
2023-08-06 15:35                                                                           ` Angelo Graziosi
2023-08-06 15:44                                                                             ` Angelo Graziosi
2023-08-06 17:36                                                                               ` Eli Zaretskii
2023-08-06 18:11                                                                                 ` Angelo Graziosi
2023-08-06 18:19                                                                                   ` Eli Zaretskii
2023-08-06 18:34                                                                                     ` Angelo Graziosi
2023-08-06 18:53                                                                                       ` Eli Zaretskii
2023-08-06 20:26                                                                                         ` Angelo Graziosi
2023-08-07  2:26                                                                                           ` Eli Zaretskii
2023-08-07  7:20                                                                                             ` Angelo Graziosi
2023-08-07  7:22                                                                                               ` Po Lu
2023-08-07  8:19                                                                                                 ` Corwin Brust
2023-08-07  8:44                                                                                                   ` Po Lu
2023-08-07 11:11                                                                                                     ` Eli Zaretskii
2023-08-07 11:22                                                                                               ` Eli Zaretskii
2023-08-07 12:03                                                                                                 ` Angelo Graziosi
2023-08-07 15:48                                                                                                   ` Corwin Brust
2023-08-06 15:39                                                                           ` Eli Zaretskii
2023-08-06 15:48                                                                             ` Angelo Graziosi
2023-08-06 10:41                                                       ` Bruno Haible
2023-08-06 11:07                                                         ` Manuel Giraud via Emacs development discussions.
2023-08-06 11:39                                                           ` Eli Zaretskii
2023-08-06 12:47                                                           ` Po Lu
2023-08-06 16:21                                                             ` Paul Eggert
2023-08-06 12:16                                                         ` Po Lu
2023-08-06 12:23                                                           ` Eli Zaretskii
2023-08-06  9:39                                                     ` Arsen Arsenović
2023-08-06  9:43                                                       ` Eli Zaretskii
2023-08-06 10:33                                                   ` Bruno Haible
2023-08-06 12:20                                                     ` Po Lu
2023-08-06 12:26                                                       ` Eli Zaretskii
2023-08-06 12:33                                                         ` Po Lu
2023-08-06 12:43                                                         ` Bruno Haible
2023-08-06 12:51                                                           ` Po Lu
2023-08-06 13:13                                                             ` Eli Zaretskii
2023-08-06 13:07                                                           ` Bruno Haible
2023-08-06 18:10                                                             ` Paul Eggert
2023-08-06 18:15                                                               ` Eli Zaretskii
2023-08-06 17:44                                                       ` Paul Eggert
2023-08-06 17:51                                                         ` Eli Zaretskii
2023-08-06 23:55                                                           ` Po Lu
2023-08-07  0:49                                                             ` Po Lu
2023-08-07 11:19                                                               ` Eli Zaretskii
2023-08-07 12:03                                                                 ` Eli Zaretskii
2023-08-07 14:47                                                                   ` Eli Zaretskii
2023-08-04  9:44 ` Po Lu
2023-08-04 10:34   ` Eli Zaretskii
2023-08-04 12:02     ` Po Lu
2023-08-04 12:58       ` Angelo Graziosi
2023-08-04 13:17         ` Po Lu
2023-08-04 13:37           ` Corwin Brust
2023-08-05  3:24             ` Corwin Brust
2023-08-05  6:46               ` Eli Zaretskii
2023-08-05  7:11                 ` Corwin Brust
2023-08-04 13:48           ` Angelo Graziosi
2023-08-04 14:09           ` Eli Zaretskii
2023-08-05  1:04             ` Po Lu
2023-08-05  6:41               ` Eli Zaretskii
2023-08-04 10:53   ` Angelo Graziosi
     [not found] <87pm43a1jp.fsf.ref@yahoo.com>
2023-08-04  4:12 ` Po Lu
2023-08-04  6:27   ` Eli Zaretskii
2023-08-04  6:37     ` Po Lu
     [not found] <ygeednymfh3.fsf@PML-1006.intra>
2023-05-03  0:37 ` Po Lu
  -- strict thread matches above, loose matches on Subject: below --
2023-02-18  8:35 Angelo Graziosi
2023-02-18  8:42 ` Po Lu
2023-02-18 21:58   ` Angelo Graziosi
2023-02-19  2:13     ` Po Lu
2023-02-19  9:01       ` Angelo Graziosi
2023-02-19  9:24         ` Dov Grobgeld
2023-02-19 10:17           ` Michael Albinus
2023-02-19 10:55             ` Po Lu
2023-02-19 11:49               ` Michael Albinus
2023-02-19 10:55           ` Po Lu
2023-02-19 11:11             ` Angelo Graziosi
2023-02-19 11:24               ` Peter Oliver
2023-02-19 12:01                 ` Po Lu
2023-02-19 10:40         ` Arsen Arsenović
2023-02-19 10:53         ` Po Lu
2023-02-19 11:19           ` Angelo Graziosi
2023-02-19 11:59             ` Po Lu
2023-02-19 17:10               ` Angelo Graziosi
2023-02-20  2:39                 ` Po Lu
2023-02-20 17:05                   ` Angelo Graziosi
2023-02-21  2:28                     ` Po Lu
2023-02-21 17:39                       ` Angelo Graziosi
2023-02-21 17:51                         ` Jonathan Kenyon
2023-02-21 18:24                           ` Jonathan Kenyon
2023-02-21 18:48                             ` Simon Pugnet
2023-02-22  2:33                               ` Po Lu
2023-02-22  3:21                                 ` Jonathan Kenyon
2023-02-22  3:35                                   ` Po Lu
2023-02-22 14:11                                     ` Po Lu
2023-02-22 15:16                                       ` Simon Pugnet
2023-02-22 16:01                                       ` Angelo Graziosi
2023-02-23 14:47                                       ` Angelo Graziosi
2023-02-24  0:56                                         ` Po Lu
2023-02-24  1:01                                         ` Po Lu
2023-02-24 17:49                                           ` Angelo Graziosi
2023-02-22  2:31                           ` Po Lu
2023-02-22  2:30                         ` Po Lu
2023-02-22  8:04                           ` Angelo Graziosi
2023-02-22  8:31                           ` Angelo Graziosi
2023-03-05 22:03                         ` Angelo Graziosi
2023-03-05 23:57                           ` Po Lu
2023-03-07 15:47                             ` Angelo Graziosi
2023-03-07 23:58                               ` Po Lu
2023-03-08 16:12                                 ` Angelo Graziosi
2023-03-09  1:22                                   ` Po Lu
2023-03-09 16:38                                     ` Angelo Graziosi
2023-07-17  8:21                                     ` Angelo Graziosi
2023-07-17  8:30                                       ` Po Lu
2023-08-31  5:51                                         ` Jean Louis
2023-08-31 10:27                                           ` Angelo Graziosi
2023-07-17  8:40                                       ` Takesi Ayanokoji
2023-07-18  7:31                                         ` Angelo Graziosi
2023-07-18  7:41                                           ` Po Lu
2023-02-19 11:30       ` Peter Oliver
2023-02-18 18:12 ` Jean Louis
2023-02-19  8:31   ` Po Lu
     [not found] <87ttzkmrw1.fsf.ref@yahoo.com>
2023-02-17 11:51 ` Po Lu
2023-02-17 12:26   ` Eric S Fraga
2023-02-17 12:56   ` Arsen Arsenović
2023-02-17 13:05     ` Po Lu
2023-02-17 13:21       ` Arsen Arsenović
2023-02-19 11:17     ` Arsen Arsenović
2023-02-19 12:21       ` Po Lu
2023-02-19 14:16         ` Po Lu
2023-02-19 14:40           ` Arsen Arsenović
2023-02-19 15:13             ` Arsen Arsenović
2023-02-20  2:37               ` Po Lu
2023-02-20 15:33                 ` Arsen Arsenović
2023-02-20 15:46                   ` Po Lu
2023-02-20 16:05                     ` Arsen Arsenović
2023-02-19 14:42         ` Arsen Arsenović
2023-02-17 13:50   ` tomas
2023-02-21 13:41   ` Po Lu
2023-03-10 20:07   ` Etienne Prud'homme
2023-03-10 23:50     ` Po Lu
     [not found] <87bkmv6z36.fsf.ref@yahoo.com>
2023-01-19  2:24 ` gnulib fsusage Po Lu
2023-01-19  6:44   ` Eli Zaretskii
2023-01-19 10:11     ` Po Lu
2023-01-19 10:26       ` Eli Zaretskii
2023-01-19 11:59         ` Po Lu
2023-01-19 13:33           ` Eli Zaretskii
2023-01-19 13:40             ` Po Lu
2023-01-19 14:27               ` Android port (was: gnulib fsusage) Eli Zaretskii
2023-01-19 14:34                 ` Android port Po Lu
2023-01-19 14:56                   ` Eli Zaretskii
2023-01-20  0:18                     ` Po Lu
2023-01-20  7:09                       ` Eli Zaretskii
2023-01-20  9:39                         ` Po Lu
2023-01-25 10:48                         ` Po Lu
2023-01-26  8:59                           ` Eli Zaretskii
2023-01-20  6:47                 ` Android port (was: gnulib fsusage) Jean Louis
2023-01-20  7:19                   ` Eli Zaretskii
2023-01-28  7:50                     ` Konstantin Kharlamov
2023-01-28  8:49                       ` Eli Zaretskii
2023-01-28  9:06                         ` Konstantin Kharlamov
2023-01-28  9:21                           ` Eli Zaretskii
2023-01-28  9:31                             ` Konstantin Kharlamov
2023-01-28  9:59                               ` Android port Po Lu
2023-01-28  9:57                       ` Po Lu
2023-01-28 10:23                         ` Konstantin Kharlamov

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=83tttcpeof.fsf@gnu.org \
    --to=eliz@gnu.org \
    --cc=angelo.g0@libero.it \
    --cc=bruno@clisp.org \
    --cc=eggert@cs.ucla.edu \
    --cc=emacs-devel@gnu.org \
    --cc=luangruo@yahoo.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this external index

	https://git.savannah.gnu.org/cgit/emacs.git
	https://git.savannah.gnu.org/cgit/emacs/org-mode.git

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.