tree e80c1c581fffd94e674871c4829d8da107b297ef
parent f43881fa25c2953efd1b529a5299a4813eaee29f
author Nico Huber <nico.h@gmx.de> 1488718309 +0100
committer Stefan Reinauer <stefan.reinauer@coreboot.org> 1496764985 +0200

Makefile: Compile binder's output w/o gnat config

The code generated by the binder (gnatbind) isn't always compilable
with the restrictions in our gnat configuration file `gnat.adc`. This
is in accordance with how `gnatlink` would do the job.

Change-Id: I59ea4a68749cabfb6cccdda1db4c23c6c0d5be60
Signed-off-by: Nico Huber <nico.h@gmx.de>
Reviewed-on: https://review.coreboot.org/18782
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>