build_sdk: add contents LICENSES directory to SDK

Signed-off-by: Ivan Velickovic <[email protected]>
seL4 · Sep 13, 2023 · 36bf39b · 36bf39b
1 parent f4d8059
commit 36bf39b
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/build_sdk.py b/build_sdk.py
@@ -360,6 +360,17 @@ def main() -> None:
         dr.mkdir(exist_ok=True, parents=True)
 
     copy(Path("LICENSE.md"), root_dir)
+    licenses_dir = Path("LICENSES")
+    licenses_dest_dir = root_dir / "LICENSES"
+    for p in licenses_dir.rglob("*"):
+        if not p.is_file():
+            continue
+        rel = p.relative_to(licenses_dir)
+        dest = licenses_dest_dir / rel
+        dest.parent.mkdir(exist_ok=True, parents=True)
+        dest.unlink(missing_ok=True)
+        copy(p, dest)
+        dest.chmod(0o444)
 
     tool_target = root_dir / "bin" / "microkit"