Refactor collection of debug and trace tags (#5996)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Mon, 1 Mar 2021 21:17:54 +0000 (22:17 +0100)
committerGitHub <noreply@github.com>
Mon, 1 Mar 2021 21:17:54 +0000 (22:17 +0100)
commit752fce1e326f16723ebb78812a3b2dc41a595b36
tree55929a49800250bdae9375187b71ebef5fd68539
parent7029d2c168cb49d3b9552f505a00cc7f538bc100
Refactor collection of debug and trace tags (#5996)

We have a mechanism to collect all debug and trace tags used throughout the code base to allow checking for valid tags.
This mechanism relies on a collection of more or less readable shell scripts.
#5921 hinted to a problem with the current setup, as it passes all source files via command line.
This PR refactors this setup so that the scripts collect the files internally, and only the base directory is passed on the command line.
As I was touching this code anyway, I ported everything to python and combined it into a single script, in the hope to make it more maintainable.
Fixes #5921.
src/base/CMakeLists.txt
src/base/collect_tags.py [new file with mode: 0644]
src/base/genheader.sh [deleted file]
src/base/gentags.sh [deleted file]
src/base/gentmptags.sh [deleted file]
src/base/mktagheaders [deleted file]
src/base/mktags [deleted file]