[coreboot-gerrit] Patch set updated for coreboot: Add option to build Ada debugging code

[Nico Huber (nico.h@gmx.de)]

Nico Huber (nico.h at gmx.de) just uploaded a new patch set to gerrit, which you can find at https://review.coreboot.org/16943

-gerrit

commit f7d0bc77662766f0b617d58bdf031968fc622529
Author: Nico Huber <nico.huber at secunet.com>
Date:   Wed Oct 5 17:43:56 2016 +0200

    Add option to build Ada debugging code
    
    Change-Id: Id5298e5819606c3d1cf2a2a1cd4f1d5d1227aa4f
    Signed-off-by: Nico Huber <nico.huber at secunet.com>
---
 Makefile.inc | 4 ++++
 src/Kconfig  | 7 +++++++
 2 files changed, 11 insertions(+)

diff --git a/Makefile.inc b/Makefile.inc
index dcb1164..bb50315 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 $(objutil)/amdfwtool \
 		   $(objutil)/cbootimage $(objutil)/bimgtool
diff --git a/src/Kconfig b/src/Kconfig
index 91b27ce..e337a1a 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.