Files
horizon-airdef/tools/ci/runner-env.sh
T
Ludovic Marie a4839d322b CI: Linux runner on Ubuntu (playhorizon), tokens without gh, CPU and memory knobs
linux-runner.sh takes its packages from apt where there is no Nix, the
registration token from RUNNER_TOKEN (a machine where gh must not be logged
in), and RUNNER_CPUS / RUNNER_MEMORY for a machine that does nothing else.
playhorizon, a partner's 8-thread server, joins parity_hosts.json.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-26 15:28:21 +01:00

48 lines
2.5 KiB
Bash
Executable File

#!/usr/bin/env bash
# The tools the vanilla harnesses need, on a self-hosted runner (label horizon-game): the Mac mini's, whose service
# starts with a bare PATH, and the Linux ones (tools/ci/linux-runner.sh: NixOS, Ubuntu). Python 3.13 and the JDK pinned by
# research-lock.json come from the machine, never from a download. Writes them to $GITHUB_PATH and $GITHUB_ENV for
# the next steps.
set -euo pipefail
java_major=$(sed -n 's/.*"java_major": *\([0-9]*\).*/\1/p' research-lock.json | head -1)
bin="$RUNNER_TEMP/horizon-bin"
mkdir -p "$bin"
if [ "$(uname)" = Darwin ]; then
ln -sfn /opt/homebrew/bin/python3.13 "$bin/python3"
ln -sfn /opt/homebrew/bin/python3.13 "$bin/python"
java_home=$(/usr/libexec/java_home -v "$java_major")
{ echo "$bin"; echo "$java_home/bin"; echo /opt/homebrew/bin; } >> "$GITHUB_PATH"
echo "JAVA_HOME=$java_home" >> "$GITHUB_ENV"
# Builds go through the machine's sccache (shared with ~/fleet/rbuild), so the build folders runner-gc.sh
# removes come back from the cache instead of compiling cold.
if [ -x /opt/homebrew/bin/sccache ]; then
{ echo "RUSTC_WRAPPER=/opt/homebrew/bin/sccache"; echo "CARGO_INCREMENTAL=0"; } >> "$GITHUB_ENV"
fi
else
python=$(command -v python3.13 || true)
[ -n "$python" ] || { echo "::error::no python3.13 on this runner"; exit 1; }
ln -sfn "$python" "$bin/python3"
ln -sfn "$python" "$bin/python"
# The JDK: the runner's JAVA_HOME (linux-runner.sh pins one), else the java on PATH, else nixpkgs' jdk<major>.
major_of() { "$1/bin/java" -version 2>&1 | sed -n 's/.*version "\([0-9]*\).*/\1/p' | head -1; }
java_home=${JAVA_HOME:-}
if [ -z "$java_home" ] || [ "$(major_of "$java_home")" != "$java_major" ]; then
java_home=""
if command -v java > /dev/null; then
candidate=$(dirname "$(dirname "$(readlink -f "$(command -v java)")")")
[ "$(major_of "$candidate")" = "$java_major" ] && java_home=$candidate
fi
fi
if [ -z "$java_home" ] && command -v nix-build > /dev/null; then
out=$(nix-build '<nixpkgs>' --no-out-link -A "jdk${java_major}_headless" 2>/dev/null || true)
[ -n "$out" ] && java_home=$out/lib/openjdk
fi
[ -n "$java_home" ] || { echo "::error::no JDK $java_major on this runner"; exit 1; }
{ echo "$bin"; echo "$java_home/bin"; } >> "$GITHUB_PATH"
echo "JAVA_HOME=$java_home" >> "$GITHUB_ENV"
if sccache=$(command -v sccache); then
{ echo "RUSTC_WRAPPER=$sccache"; echo "CARGO_INCREMENTAL=0"; } >> "$GITHUB_ENV"
fi
fi
echo "HORIZON_NO_AUDIO=1" >> "$GITHUB_ENV"