#!/usr/bin/env bash
#
# Runs INSIDE the .build/prod container. Clones, patches, builds the binary,
# smoke-tests it, and drops it in .build/prod/out/ for the release step.
#
set -euo pipefail
cd /source

# The repo is bind-mounted from the host (different uid), so mark it safe:
git config --global --add safe.directory '*'

OUT_DIR="/source/.build/prod/out"
mkdir -p "$OUT_DIR"

bash scripts/build.sh
bash scripts/smoke.sh dist/httptoolkit

cp -v dist/httptoolkit "$OUT_DIR/httptoolkit"
echo "==> Artifacts:"
ls -lh "$OUT_DIR"