tree 7333361a2bfae2324519c96efd5de3c19bae322b
parent 2480f77251e81afc284d7931bdf078319f1f4f8e
author Nico Huber <nico.h@gmx.de> 1775904426 +0000
committer Nico Huber <nico.h@gmx.de> 1780053847 +0000

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>