[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: |
Fri, 03 Mar 2023 08:51:11 +0800 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Eli Zaretskii <eliz@gnu.org> writes:
>> From: Po Lu <luangruo@yahoo.com>
>> Cc: emacs-devel@gnu.org, eggert@cs.ucla.edu
>> Date: Thu, 02 Mar 2023 21:42:30 +0800
>>
>> Eli Zaretskii <eliz@gnu.org> writes:
>>
>> > Rewriting the configury is OK, but that still doesn't need
>> > ifavailable, AFAIU. For example, we build with HarfBuzz if that is
>> > available, but we don't use ifavailable for it. How is this one
>> > different?
>>
>> Well, it would be a nasty shock for someone to configure --with-modules,
>> and not get an error when dynamic modules cannot be used.
>
> I'm talking about the default case, where there's no --with-modules
> option explicitly in the configure command line. If the user does
> explicitly asks for modules, then emitting an error message is
> reasonable. But if the user didn't ask for that explicitly, why not
> silently disable the feature, like we do with HarfBuzz and others?
The HarfBuzz check doesn't behave that way, since it doesn't use
ifavailable. ``--with-modules'' does, however.
- Merging feature/android, Po Lu, 2023/03/01
- Re: Merging feature/android, Eli Zaretskii, 2023/03/02
- Re: Merging feature/android, Po Lu, 2023/03/02
- Re: Merging feature/android, Eli Zaretskii, 2023/03/02
- Re: Merging feature/android, Po Lu, 2023/03/02
- Re: Merging feature/android, Eli Zaretskii, 2023/03/02
- Re: Merging feature/android,
Po Lu <=
- Re: Merging feature/android, Eli Zaretskii, 2023/03/03
- Re: Merging feature/android, Po Lu, 2023/03/03
- Re: Merging feature/android, Eli Zaretskii, 2023/03/03
- Re: Merging feature/android, Po Lu, 2023/03/03
- Re: Merging feature/android, Eli Zaretskii, 2023/03/03
- Re: Merging feature/android, Po Lu, 2023/03/03
- Re: Merging feature/android, Eli Zaretskii, 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