ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-24 07:46:42 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

tool_chain: update gprbuild to version 23.0.0

Browse Source 
Issue #4827
This commit is contained in:
Christian Prochaska 2023-04-26 18:30:01 +02:00 committed by Christian Helmuth
parent de70f17ee4
commit 8920e5fbea
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
tool/tool_chain
View File

@ -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 '/\<target name="\^\.\*-gnueabihf$$" \/>/d' $(dir $@)/gprconfig_kb/db/linker.xml
$(VERBOSE)sed -i -e '/\<target name="\^\.\*-linux\.\*" \/>/d' $(dir $@)/gprconfig_kb/db/linker.xml