def generate(output, *input_paths): """
This file generates a ThirdPartyPaths.cpp file from the ThirdPartyPaths.txt
file in /tools/rewriting, which is used by the Clang Plugin to help identify
sources which should be ignored. """
tpp_list = []
lines = set()
for path in input_paths: with open(path) as f:
lines.update(f.readlines())
for line in lines:
line = line.strip() if line.endswith("/"):
line = line[:-1]
tpp_list.append(line)
tpp_strings = ",\n ".join([json.dumps(tpp) for tpp in sorted(tpp_list)])
output.write( """\
/* THIS FILE IS GENERATED BY ThirdPartyPaths.py - DO NOT EDIT */
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.