From e84e625483bccd67a76d0177ac5346b51c2ce016 Mon Sep 17 00:00:00 2001 From: Nico Huber Date: Wed, 5 Oct 2016 17:43:56 +0200 Subject: 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 --- src/Kconfig | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'src/Kconfig') 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. -- cgit v1.2.3