[coreboot-gerrit] Patch set updated for coreboot: Add option to build Ada debugging code
Nico Huber (nico.h@gmx.de)
gerrit at coreboot.org
Mon Oct 10 16:01:37 CEST 2016
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 43084ae314ee58dad62f963ce903935c8ebc921b
Author: Nico Huber <nico.huber at secunet.com>
Date: Wed Oct 5 17:43:56 2016 +0200
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 <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.
More information about the coreboot-gerrit
mailing list