denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

tool_chain: fix build problems on Ubuntu 18.04

Browse Source 
Fixes #2939
This commit is contained in:
Christian Prochaska
2018-08-27 18:48:58 +02:00
committed by Christian Helmuth
parent 2882bd48e6
commit ecc4ac795a
5 changed files with 231 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
tool/tool_chain
View File

@@ -143,7 +143,10 @@ EXPAT_OK = $(call check_equal_f,\
#
# Check if 'GNAT' is installed
#
HOST_GCC_VERSION := $(shell gcc -dumpversion)
# The '-dumpfullversion' option is used by GCC version 7, the '-dumpversion' option
# is used by GCC versions < 7.
#
HOST_GCC_VERSION := $(shell gcc -dumpfullversion -dumpversion)
GNAT_OK = $(call check_equal_f,$(shell gnatmake --version | sed -n -e 's/GNATMAKE //p'),$(HOST_GCC_VERSION),\
Need to have GNAT installed and the GNAT version must match the GCC version (found GCC $(HOST_GCC_VERSION)).)