Read-only mirrors. Development, issues and pull requests are on GitHub.

summaryrefslogtreecommitdiffhomepage
path: root/tools/scripts/generateAmalgamatedFiles.py
diff options
context:
space:
mode:
authorLeitwolf2026-10-24 20:29:24 +0300
committerGitHub2026-10-24 20:29:24 +0300
commit13f81a480a93807c14dddb5abdb97355ced4d4c5 (patch)
treecd2055cb2eeb0bdef1d5bed1d39d9569df6f5b97 /tools/scripts/generateAmalgamatedFiles.py
parent4f1c759cffcb14bd6511e1d7c5fbace682e24f2d (diff)
parenta2edf60b9f410d26485ac7c0492870a0905f9545 (diff)
downloadcatch3-13f81a480a93807c14dddb5abdb97355ced4d4c5.tar.gz
Merge pull request #16 from Progmasoft/chore/remove-upstream-leftovers
Remove what Catch2's maintainers left that is not ours
Diffstat (limited to 'tools/scripts/generateAmalgamatedFiles.py')
-rwxr-xr-xtools/scripts/generateAmalgamatedFiles.py11
1 files changed, 10 insertions, 1 deletions
diff --git a/tools/scripts/generateAmalgamatedFiles.py b/tools/scripts/generateAmalgamatedFiles.py
index 5fed3358..2d40bcb4 100755
--- a/tools/scripts/generateAmalgamatedFiles.py
+++ b/tools/scripts/generateAmalgamatedFiles.py
@@ -39,7 +39,7 @@ file_header = '''\
// SPDX-License-Identifier: BSL-1.0
-// Catch v{version_string}
+// Catch3 v{catch3_version}, on the Catch2 v{version_string} engine
// Generated: {generation_time}
// ----------------------------------------------------------
// This file is an amalgamation of multiple different files.
@@ -54,8 +54,17 @@ file_header = '''\
# REUSE-IgnoreEnd
# Returns file header with proper version string and generation time
+def catch3_version():
+ version_file = os.path.join(root_path, 'Progmasoft', 'Catch3', 'Version.hpp')
+ with open(version_file, mode='r', encoding='utf-8') as input:
+ match = re.search(r'kVersion = "([^"]+)"', input.read())
+ if not match:
+ raise RuntimeError('no kVersion in ' + version_file)
+ return match.group(1)
+
def formatted_file_header(version):
return file_header.format(version_string=version.getVersionString(),
+ catch3_version=catch3_version(),
generation_time=datetime.datetime.now())
# Which headers were already concatenated (and thus should not be