[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Merging feature/android
From: |
Eli Zaretskii |
Subject: |
Re: Merging feature/android |
Date: |
Thu, 02 Mar 2023 16:00:54 +0200 |
> 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?
> > What do you mean by "from the wrong copy"? The two copies are
> > identical, no? They are generated for the same platform, right?
>
> They are generated for different platforms: the first copy is generated
> for the system which is building Emacs (where we need an emacs binary to
> build the ELCs), whilst the second copy in cross/ is generated for the
> Android system.
>
> > In any case, before we include two copies, we should ask Gnulib folks
> > for help in this matter.
>
> Perhaps Paul has a better idea, yes. Thanks in advance.
I'd be surprised if Gnulib didn't have a way of supporting cross
builds similar to this case.
- 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 <=
- Re: Merging feature/android, Po Lu, 2023/03/02
- 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