Expand description
Resolving, caching, and downloading pite-player binaries for export.
When exporting a project, the engine looks for a player binary matching the
target platform next to the engine binary. If one is not present (for example,
when running from a bare cargo install or when cross-exporting without having
pre-downloaded other platform bundles), the fallback downloads the platform’s
player release archive from GitHub releases and unpacks it into the toolchain
cache (~/.cache/pite/toolchains/players/ or PITE_PLAYER_DIR).
Functions§
- candidate_
player_ names - Candidate player binary names for
platform. - download_
and_ extract_ player - Download the player archive and unpack it into the cache directory.
- ensure_
executable - Ensure that
pathhas executable permissions on Unix systems. - ensure_
player_ binary - Ensure a player binary is available for
platform, checking cache first and downloading if absent. - find_
cached_ player - Look for an already cached player binary for
platform. - player_
archive_ name - Release archive filename for
platformattag. - player_
bin_ name - Player binary file name on its own platform, always carrying the platform name.
- player_
cache_ dir - Where player binaries live in cache. Never inside the project or repo.
- player_
dir - Subdirectory in cache for a specific version and platform.
- player_
download_ url - Download URL for the player archive for
platformattag.