This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH v2 1/2] libada: Remove racy duplicate gnatlib installation
On Sat, 28 Sep 2019, Maciej W. Rozycki wrote:
> Index: gcc/gcc/ada/gcc-interface/Make-lang.in
> ===================================================================
> --- gcc.orig/gcc/ada/gcc-interface/Make-lang.in
> +++ gcc/gcc/ada/gcc-interface/Make-lang.in
> @@ -843,6 +845,7 @@ doc/gnat-style.pdf: ada/gnat-style.texi
> #
> # Finally, install the library
> #
> +gnat-install-lib: gnat-install-tools
FYI, after some consideration I've updated this prerequisite to read:
gnat-install-lib: | gnat-install-tools
I think it matches the current behaviour more accurately, though I guess
we might as well remove the prerequisite altogether as the two recipies
do not appear to clash with each other (but then the comment will have to
be updated accordingly, or removed).
I'll post the final version once committed if you agree with this update.
Maciej