Makefile.proof: Add full paths and config to diagnostic output
GCC and GNATprove only print the file name in diagnostic messages, not
its full path. We'll replace the file name for all known files in the
configuration built for. For the `proof-allconfigs` target, we also
prefix the line with the current configuration (e.g. `linux::`).
Change-Id: Ia71ee4b780d61ad6c583515d74e8669d1a259675
Signed-off-by: Nico Huber <nico.h@gmx.de>
Reviewed-on: https://review.sourcearcade.org/c/libhwbase/+/472
Tested-by: Ada SPARK <gnatbot@sourcearcade.org>
Reviewed-by: Angel Pons <th3fanbus@gmail.com>
1 file changed