Method build

misc/python/materialize/mzbuild.py:765–845

(self, build_output: dict[str, Any])

        return prep

    def build(self, build_output: dict[str, Any]) -> None:
        cargo_profile = (
            "release"
            if self.rd.profile == Profile.RELEASE
            else "optimized" if self.rd.profile == Profile.OPTIMIZED else "debug"
        )

        def copy(src: Path, relative_dst: Path) -> None:
            exe_path = self.path / relative_dst
            exe_path.parent.mkdir(parents=True, exist_ok=True)
            shutil.copy(src, exe_path)

            if self.strip:
                # The debug information is large enough that it slows down CI,
                # since we're packaging these binaries up into Docker images and
                # shipping them around.
                spawn.runv(
                    [*self.rd.tool("strip"), "--strip-debug", exe_path],
                    cwd=self.rd.root,
                )
            else:
                # Even if we've been asked not to strip the binary, remove the
                # `.debug_pubnames` and `.debug_pubtypes` sections. These are just
                # indexes that speed up launching a debugger against the binary,
                # and we're happy to have slower debugger start up in exchange for
                # smaller binaries. Plus the sections have been obsoleted by a
                # `.debug_names` section in DWARF 5, and so debugger support for
                # `.debug_pubnames`/`.debug_pubtypes` is minimal anyway.
                # See: https://github.com/rust-lang/rust/issues/46034
                spawn.runv(
                    [
                        *self.rd.tool("objcopy"),
                        "-R",
                        ".debug_pubnames",
                        "-R",
                        ".debug_pubtypes",
                        exe_path,
                    ],
                    cwd=self.rd.root,
                )

        for bin in self.bins:
            src_path = self.rd.cargo_target_dir() / cargo_profile / bin
            copy(src_path, bin)
        for example in self.examples:
            src_path = (
                self.rd.cargo_target_dir() / cargo_profile / Path("examples") / example
            )
            copy(src_path, Path("examples") / example)

        if self.extract:
            cargo_build_json_output = build_output["cargo"]

            target_dir = self.rd.cargo_target_dir()
            for line in cargo_build_json_output.split("\n"):
                if line.strip() == "" or not line.startswith("{"):
                    continue
                message = json.loads(line)