From 8920e5fbeafd4d0fb6b96cbf3aea874167300127 Mon Sep 17 00:00:00 2001 From: Christian Prochaska Date: Wed, 26 Apr 2023 18:30:01 +0200 Subject: [PATCH] tool_chain: update gprbuild to version 23.0.0 Issue #4827 --- tool/tool_chain | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/tool/tool_chain b/tool/tool_chain index 75332c5271..ce7ce02ae2 100755 --- a/tool/tool_chain +++ b/tool/tool_chain @@ -472,9 +472,9 @@ $(GDB_INSTALLED_BINARIES): $(GDB_BINARIES) $(BUILD_LOCATION)/bootstrap/gprbuild/Makefile: $(ECHO) "$(BRIGHT_COL)preparing bootstrap gprbuild...$(DEFAULT_COL)" - $(VERBOSE)git clone -b v21.0.0 https://github.com/AdaCore/gprbuild.git $(dir $@) - $(VERBOSE)git clone -b v21.0.0 https://github.com/AdaCore/xmlada.git $(dir $@)/xmlada - $(VERBOSE)git clone -b v21.0.0 https://github.com/AdaCore/gprconfig_kb.git $(dir $@)/gprconfig_kb + $(VERBOSE)git clone -b v23.0.0 https://github.com/AdaCore/gprbuild.git $(dir $@) + $(VERBOSE)git clone -b v23.0.0 https://github.com/AdaCore/xmlada.git $(dir $@)/xmlada + $(VERBOSE)git clone -b v23.0.0 https://github.com/AdaCore/gprconfig_kb.git $(dir $@)/gprconfig_kb $(VERBOSE)sed -i -e '/\/d' $(dir $@)/gprconfig_kb/db/linker.xml $(VERBOSE)sed -i -e '/\/d' $(dir $@)/gprconfig_kb/db/linker.xml