[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: |
Sat, 04 Mar 2023 09:20:35 +0200 |
> From: Po Lu <luangruo@yahoo.com>
> Cc: Eli Zaretskii <eliz@gnu.org>, emacs-devel@gnu.org
> Date: Sat, 04 Mar 2023 08:06:34 +0800
>
> Paul Eggert <eggert@cs.ucla.edu> writes:
>
> > This should be doable by having two build directories, but only one
> > copy of the Gnulib source should be needed. The two build directories
> > would have different config.h files. You'd run 'configure' twice (or
> > have two 'configure' files if you want to be fancier). That sort of
> > thing.
>
> They do, yes, but the problem is the C compiler doesn't understand GNU
> make vpath directives, so the includes in lib/ are:
>
> -I$(srcdir) -I.
>
> while the includes in cross/src/lib are:
>
> -I$(top_srcdir)/lib -I$(srcdir) -I.
>
> and as a result, when a file in -I$(top_srcdir)/lib then includes:
>
> #include "stdio.h"
>
> it gets the stdio.h in lib, and not cross/lib, leading to silent
> problems later on.
Can you perhaps use -isystem or -iquote or -dirafter compiler switches
to work around these problems?
Anyway, I think we should fix these issues before we land the branch.
I'd really hate to have 2 copies of Gnulib files in the repository.
- Re: Merging feature/android, (continued)
- Re: Merging feature/android, Eli Zaretskii, 2023/03/05
- Re: Merging feature/android, Po Lu, 2023/03/05
- Re: Merging feature/android, Richard Stallman, 2023/03/04
- Re: Merging feature/android, Po Lu, 2023/03/05
- Re: Merging feature/android, Richard Stallman, 2023/03/06
- Re: Merging feature/android, Po Lu, 2023/03/06
- Re: Merging feature/android, Paul Eggert, 2023/03/03
- Re: Merging feature/android, Po Lu, 2023/03/03
- Re: Merging feature/android,
Eli Zaretskii <=
- Re: Merging feature/android, Po Lu, 2023/03/04
- Re: Merging feature/android, Paul Eggert, 2023/03/04
- Re: Merging feature/android, Po Lu, 2023/03/04
- Re: Merging feature/android, Eli Zaretskii, 2023/03/04
- Re: Merging feature/android, Po Lu, 2023/03/04
Re: Merging feature/android, Po Lu, 2023/03/14