squash-me, remove dead code, add generated file header

Author: jiridanek

.github/workflows/build-notebooks.yaml

@@ -1,3 +1,4 @@
+# This file is autogenerated by /home/jdanek/repos/notebooks/gen_gha_matrix_jobs.py DO NOT EDIT BY HAND
 {
     "name": "Build Notebooks",
     "permissions": {

gen_gha_matrix_jobs.py

@@ -1,6 +1,5 @@
 import json
-import math
-import os
+import pathlib
 import re
 import string
 from typing import Iterable, cast
@@ -60,31 +59,6 @@ def extract_target_dependencies(lines: Iterable[str]) -> dict[str, list[str]]:
     return tree
 
 
-def compute_target_distances_from_root(tree: dict[str, list[str]]) -> dict[str, int]:
-    levels = {key: math.inf for key in tree}
-
-    # roots have distance of 0
-    roots = [key for key, value in tree.items() if not value]
-    for root in roots:
-        levels[root] = 0
-
-    # iterate through undetermined targets and try to compute their distance
-    # this is an inefficient quadratic loop, but it does not matter here
-    while math.inf in levels.values():
-        changed = False
-        for key, value in levels.items():
-            if value == math.inf:
-                dist = max(levels[dep] for dep in tree[key])
-                if dist < math.inf:
-                    levels[key] = dist + 1
-                    changed = True
-        if not changed:
-            raise Exception("Iteration did not make any progress")
-
-    # math.inf is a float; at this point we know all inf values were replaced by integral distances
-    return cast(dict[str, int], levels)
-
-
 def print_github_actions_matrix(levels: dict[str, int]) -> list[str]:
     """Outputs GitHub matrix definition Json as per
     """
@@ -103,7 +77,7 @@ def print_github_actions_matrix(levels: dict[str, int]) -> list[str]:
         lines.append(f"level{level}={json.dumps(matrix, separators=(",", ":"))}")
     return lines
 
-def write_github_workflow_file(tree: dict[str, list[str]]) -> None:
+def write_github_workflow_file(tree: dict[str, list[str]], path: pathlib.Path) -> None:
     jobs = {}
 
     # IDs may only contain alphanumeric characters, '_', and '-'. IDs must start with a letter or '_' and must be less than 100 characters.
@@ -143,26 +117,21 @@ def write_github_workflow_file(tree: dict[str, list[str]]) -> None:
         "jobs": jobs,
     }
 
-    with open(".github/workflows/build-notebooks.yaml", "wt") as f:
+    with open(path, "wt") as f:
+        print("# This file is autogenerated by", __file__, "DO NOT EDIT BY HAND", file=f)
         # every json file is a valid yaml file
         json.dump(workflow, f, sort_keys=False, indent=4)
 
 
 def main() -> None:
+    cwd = pathlib.Path(__file__).parent.absolute()
+
     # https://www.gnu.org/software/make/manual/make.html#Reading-Makefiles
     with open("Makefile", "rt") as makefile:
         lines = read_makefile_lines(makefile)
     tree = extract_target_dependencies(lines)
 
-    levels = compute_target_distances_from_root(tree)
-    output = print_github_actions_matrix(levels)
-
-    write_github_workflow_file(tree)
-
-    print(*output, sep="\n")
-    with open(os.environ["GITHUB_OUTPUT"], "at") as f:
-        for line in output:
-            print(line, file=f)
+    write_github_workflow_file(tree, cwd / ".github" / "workflows" / "build-notebooks.yaml")
 
 
 if __name__ == '__main__':