From e84e625483bccd67a76d0177ac5346b51c2ce016 Mon Sep 17 00:00:00 2001 From: Nico Huber Date: Wed, 5 Oct 2016 17:43:56 +0200 Subject: [PATCH] Add option to build Ada debugging code Ada knows a pragma `Debug` that is used to exclude procedure calls from a release build. The new option `DEBUG_ADA_CODE` enables those procedure calls. Change-Id: Id5298e5819606c3d1cf2a2a1cd4f1d5d1227aa4f Signed-off-by: Nico Huber Reviewed-on: https://review.coreboot.org/16943 Tested-by: build bot (Jenkins) Reviewed-by: Martin Roth --- Makefile.inc | 4 ++++ src/Kconfig | 7 +++++++ 2 files changed, 11 insertions(+) diff --git a/Makefile.inc b/Makefile.inc index 8389ba4dc3..db4cdee943 100644 --- a/Makefile.inc +++ b/Makefile.inc @@ -420,6 +420,10 @@ CFLAGS_common += -Os ADAFLAGS_common += -Os endif +ifeq ($(CONFIG_DEBUG_ADA_CODE),y) +ADAFLAGS_common += -gnata +endif + additional-dirs := $(objutil)/cbfstool $(objutil)/romcc $(objutil)/ifdtool \ $(objutil)/ifdfake $(objutil)/options $(obj)/amdfwtool \ $(objutil)/cbootimage $(objutil)/bimgtool diff --git a/src/Kconfig b/src/Kconfig index 91b27ceef5..e337a1a580 100644 --- a/src/Kconfig +++ b/src/Kconfig @@ -1135,6 +1135,13 @@ config DEBUG_PRINT_PAGE_TABLES After the page tables have been built, print them on the debug console. +config DEBUG_ADA_CODE + bool "Compile debug code in Ada sources" + default n + help + Add the compiler switch `-gnata` to compile code guarded by + `pragma Debug`. + endmenu # These probably belong somewhere else, but they are needed somewhere.