build.sh

1#!/bin/sh2# Builds one Koh release binary into build/releases/koh-<target>.3#4#   KOH_TARGET=linux-x86_64 sh build.sh5#6# `koh build` sets KOH_TARGET for each platform in koh.build; run by hand, the7# target defaults to the machine running the script. Runs on macOS and Linux.8#9# macOS targets need macOS: they link against the Apple SDK and are ad-hoc10# signed with codesign. Linux targets are static musl binaries built with11# `zig cc`. Every target needs its own OS and CPU: the pinned V disables12# garbage collection when cross-compiling. Linux VMs work from a Mac.13set -eu1415die() {16  echo "build.sh: $*" >&217  exit 118}1920# Paths below are relative to the repository, wherever the script is run from.21cd "$(dirname "$0")"2223# The pin is the only compiler Koh is verified against; see AGENTS.md.24command -v v >/dev/null 2>&1 || die 'V is not on PATH; install V 0.5.2 b9a2d87 (see AGENTS.md)'25[ "$(v version)" = 'V 0.5.2 b9a2d87' ] || die "Koh requires V 0.5.2 b9a2d87, found: $(v version)"2627host_target() {28  case "$(uname -s)" in29    Darwin) os=macos ;;30    Linux) os=linux ;;31    *) die "unsupported host OS: $(uname -s)" ;;32  esac33  case "$(uname -m)" in34    arm64|aarch64) cpu=aarch64 ;;35    x86_64|amd64) cpu=x86_64 ;;36    *) die "unsupported host CPU: $(uname -m)" ;;37  esac38  echo "$os-$cpu"39}4041native=$(host_target)42target=${KOH_TARGET:-$native}43case "$target" in44  macos-aarch64|linux-aarch64|linux-x86_64) ;;45  *) die "unsupported release target: $target (want macos-aarch64, linux-x86_64 or linux-aarch64)" ;;46esac47[ "$target" = "$native" ] || die "$target requires a native $target host or VM to retain garbage collection (this host is $native)"48out="build/releases/koh-$target"49mkdir -p build/releases5051case "$target" in52  macos-aarch64)53    v -prod -gc boehm -d use_bundled_libgc -arch arm64 \54      -cflags '-arch arm64 -mmacosx-version-min=11.0' -o "$out" src/koh.v55    # Apple Silicon refuses to run an unsigned binary.56    codesign -f -s - "$out"57    ;;58  linux-aarch64|linux-x86_64)59    command -v zig >/dev/null 2>&1 || die 'Linux builds need Zig on PATH (zig cc provides the musl toolchain)'60    case "$target" in61      linux-aarch64) arch=arm64; triple=aarch64-linux-musl ;;62      *) arch=x64; triple=x86_64-linux-musl ;;63    esac64    # V's -cc takes a single program, not `zig cc -target …`, so wrap it.65    # musl has neither getcontext nor ARM64's expected __data_start symbol.66    # libgc can scan the stack and discover the data segment without them.67    compiler="$PWD/build/cc-$target"68    printf '#!/bin/sh\nexec zig cc -target %s "$@"\n' "$triple" > "$compiler"69    chmod 755 "$compiler"70    v -prod -gc boehm -d use_bundled_libgc -os linux -arch "$arch" \71      -musl -cc "$compiler" -cflags "-DNO_GETCONTEXT -DSEARCH_FOR_DATA_START" \72      -ldflags "-s" -o "$out" src/koh.v73    ;;74esac7576echo "built $out"