mirror of
https://github.com/wpilibsuite/allwpilib
synced 2026-06-28 02:11:43 +00:00
[upstream_utils] Rework upstream_utils scripts (#6829)
This commit is contained in:
47
upstream_utils/expected.py
Executable file
47
upstream_utils/expected.py
Executable file
@@ -0,0 +1,47 @@
|
||||
#!/usr/bin/env python3
|
||||
|
||||
import os
|
||||
import re
|
||||
import shutil
|
||||
|
||||
from upstream_utils import (
|
||||
get_repo_root,
|
||||
clone_repo,
|
||||
comment_out_invalid_includes,
|
||||
walk_cwd_and_copy_if,
|
||||
git_am,
|
||||
Lib,
|
||||
)
|
||||
|
||||
|
||||
def copy_upstream_src(wpilib_root):
|
||||
wpiutil = os.path.join(wpilib_root, "wpiutil")
|
||||
|
||||
# Copy expected header into allwpilib
|
||||
dest_filename = os.path.join(
|
||||
wpiutil, "src/main/native/thirdparty/expected/include/wpi/expected"
|
||||
)
|
||||
shutil.copyfile("include/tl/expected.hpp", dest_filename)
|
||||
|
||||
# Rename namespace from tl to wpi
|
||||
with open(dest_filename) as f:
|
||||
content = f.read()
|
||||
content = content.replace("namespace tl", "namespace wpi")
|
||||
content = content.replace("tl::", "wpi::")
|
||||
content = content.replace("TL_", "WPI_")
|
||||
with open(dest_filename, "w") as f:
|
||||
f.write(content)
|
||||
|
||||
|
||||
def main():
|
||||
name = "expected"
|
||||
url = "https://github.com/TartanLlama/expected"
|
||||
# master on 2024-01-25
|
||||
tag = "3f0ca7b19253129700a073abfa6d8638d9f7c80c"
|
||||
|
||||
expected = Lib(name, url, tag, [], copy_upstream_src)
|
||||
expected.main()
|
||||
|
||||
|
||||
if __name__ == "__main__":
|
||||
main()
|
||||
Reference in New Issue
Block a user