commit: d08b24d7f3a424fd78f45ac9f3a34a1605a30eda Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org> AuthorDate: Mon Nov 21 07:21:44 2022 +0000 Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org> CommitDate: Mon Nov 21 07:22:47 2022 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d08b24d7
dev-ada/gprbuild: fix also stable for change gcc_major_version Closes: https://bugs.gentoo.org/882291 Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org> dev-ada/gprbuild/{gprbuild-2021-r1.ebuild => gprbuild-2021-r2.ebuild} | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/dev-ada/gprbuild/gprbuild-2021-r1.ebuild b/dev-ada/gprbuild/gprbuild-2021-r2.ebuild similarity index 96% rename from dev-ada/gprbuild/gprbuild-2021-r1.ebuild rename to dev-ada/gprbuild/gprbuild-2021-r2.ebuild index c594e0557c65..d4c11ac277e3 100644 --- a/dev-ada/gprbuild/gprbuild-2021-r1.ebuild +++ b/dev-ada/gprbuild/gprbuild-2021-r2.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2021 Gentoo Authors +# Copyright 1999-2022 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=7 @@ -35,6 +35,7 @@ src_prepare() { default sed -i \ -e "s:@VER@:${GCC_PV}:g" \ + -e "s:\$gcc_version:${GCC_PV}:g" \ share/gprconfig/compilers.xml \ share/gprconfig/gnat.xml \ share/gprconfig/c.xml \
