ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-22 15:02:25 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Ada: allow separate GCC for gnatmake

Browse Source 
Fixes #3011
This commit is contained in:
Johannes Kliemann 2018-10-08 10:30:08 +02:00 committed by Christian Helmuth
parent b8cc468f02
commit c2d85ff554
2 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/base/mk/generic.mk
View File

@ -75,7 +75,7 @@ endif
# We need to override these to build the ada runtime # We need to override these to build the ada runtime
# #
CUSTOM_ADA_MAKE ?= $(GNATMAKE) CUSTOM_ADA_MAKE ?= $(GNATMAKE)
CUSTOM_ADA_FLAGS ?= -q -c --GCC=$(CC) --RTS=$(ADA_RTS) CUSTOM_ADA_FLAGS ?= -q -c --GCC=$(ADA_CC) --RTS=$(ADA_RTS)
CUSTOM_ADA_OPT ?= -cargs $(CC_ADA_OPT) CUSTOM_ADA_OPT ?= -cargs $(CC_ADA_OPT)
CUSTOM_ADA_INCLUDE ?= -I- $(INCLUDES) CUSTOM_ADA_INCLUDE ?= -I- $(INCLUDES)

2
repos/base/mk/global.mk
View File

@ -24,6 +24,7 @@ CUSTOM_RANLIB ?= $(CROSS_DEV_PREFIX)ranlib
CUSTOM_STRIP ?= $(CROSS_DEV_PREFIX)strip CUSTOM_STRIP ?= $(CROSS_DEV_PREFIX)strip
CUSTOM_GNATMAKE ?= $(CROSS_DEV_PREFIX)gnatmake CUSTOM_GNATMAKE ?= $(CROSS_DEV_PREFIX)gnatmake
CUSTOM_HOST_CC ?= gcc CUSTOM_HOST_CC ?= gcc
CUSTOM_ADA_CC ?= $(CUSTOM_CC)
# #
# GNU utilities # GNU utilities
@ -51,6 +52,7 @@ RANLIB = $(CUSTOM_RANLIB)
STRIP = $(CUSTOM_STRIP) STRIP = $(CUSTOM_STRIP)
GNATMAKE = $(CUSTOM_GNATMAKE) GNATMAKE = $(CUSTOM_GNATMAKE)
HOST_CC = $(CUSTOM_HOST_CC) HOST_CC = $(CUSTOM_HOST_CC)
ADA_CC = $(CUSTOM_ADA_CC)
# #
# Nim toolchain # Nim toolchain