diff options
| author | Nico Huber <nico.huber@secunet.com> | 2016-10-05 17:43:56 +0200 |
|---|---|---|
| committer | Nico Huber <nico.h@gmx.de> | 2016-10-29 01:28:13 +0200 |
| commit | e84e625483bccd67a76d0177ac5346b51c2ce016 (patch) | |
| tree | 214e6f5b44332cba5797d46d4a650f446339267b | |
| parent | 07e206a6466197487f9f877ee6f5e7a7bec751a2 (diff) | |
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@secunet.com>
Reviewed-on: https://review.coreboot.org/16943
Tested-by: build bot (Jenkins)
Reviewed-by: Martin Roth <martinroth@google.com>
| -rw-r--r-- | Makefile.inc | 4 | ||||
| -rw-r--r-- | src/Kconfig | 7 |
2 files changed, 11 insertions, 0 deletions
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. |