tree e0a05427f6080b3027587458292aff09a633b152
parent 4a1048266656f98415cbc294303a149803fd2717
author Nico Huber <nico.h@gmx.de> 1499897301 +0200
committer Nico Huber <nico.h@gmx.de> 1503263780 +0000

Add `debug.adc` and option DEBUG

The GNAT configuration file `debug.adc` has Assertion_Policy Debug
enabled to compile `pragma Debug` code. If `DEBUG` is set to `1`
during build, `debug.adc` is used instead of the default `gnat.adc`.

Change-Id: If5b52f5251cae7deed7aca2765f9b5db1c148fb7
Signed-off-by: Nico Huber <nico.h@gmx.de>
Reviewed-on: https://review.coreboot.org/20558
Reviewed-by: Arthur Heymans <arthur@aheymans.xyz>