diff --git a/CMakeLists.txt b/CMakeLists.txt
index a7da425d6..15aae7b19 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -5,4 +5,7 @@ INCLUDE(CTest)
find_package(Python3 REQUIRED)
add_test(NAME Gitlab
- COMMAND ${CMAKE_COMMAND} -E $ENV{EXIT_CODE})
+ COMMAND bash -c "./bin/benchpark analyze --workspace-dir wkp/dane/kripke/workspace --ctest-emit &&
+ exec ${CMAKE_COMMAND} -E \"$EXIT_CODE\""
+)
+
diff --git a/lib/benchpark/cmd/analyze.py b/lib/benchpark/cmd/analyze.py
index 25d09ac88..6d0b6c410 100644
--- a/lib/benchpark/cmd/analyze.py
+++ b/lib/benchpark/cmd/analyze.py
@@ -340,6 +340,10 @@ def make_chart(**kwargs):
"Note: ordering of regions in the figure are in reverse order of the tree."
)
+ # CTest measurement file emission
+ if kwargs.get("ctest_emit"):
+ print(f"{filename}.png")
+
# ----------------
# Data Preparation
@@ -769,6 +773,12 @@ def setup_parser(root_parser):
help="With 'archive', path for the .tar.gz (defaults to CWD/-.tar.gz)",
)
+ # CTest flags
+ root_parser.add_argument(
+ "--ctest-emit",
+ action="store_true",
+ help="Emit CTest measurement markup."
+ )
def command(args):
"""