#!/usr/bin/env python3 import shutil from pathlib import Path from upstream_utils import Lib, has_prefix, walk_cwd_and_copy_if def copy_upstream_src(wpilib_root: Path): wpiutil = wpilib_root / "wpiutil" # Delete old install for d in [ "src/main/native/thirdparty/debugging/src", "src/main/native/thirdparty/debugging/include", ]: shutil.rmtree(wpiutil / d, ignore_errors=True) # Copy debugging files into allwpilib filenames = walk_cwd_and_copy_if( lambda dp, f: has_prefix(dp, Path("src")) or has_prefix(dp, Path("include")), wpiutil / "src/main/native/thirdparty/debugging", ) for filename in filenames: with open(filename) as f: content = f.read() # Rename namespace from stdx to wpi content = content.replace("namespace stdx", "namespace wpi::util") with open(filename, "w") as f: f.write(content) def main(): name = "debugging" url = "https://github.com/grafikrobot/debugging" # master on 2024-11-21 tag = "c510133c44894b93afbb5be55275bfb88163a2cb" expected = Lib(name, url, tag, copy_upstream_src) expected.main() if __name__ == "__main__": main()