#!/usr/bin/env bash
# A Debian 13 build must never be installed on Debian 12: its GLIBC symbols
# exceed the older host's libc. Debian 12 is restricted to nonproduction.
require_native_platform() {
  local os=$1 version=$2 arch=$3 built_for=$4 nonprod=$5
  if [[ $arch == x86_64 && $os == debian && $built_for == "debian:$version:x86_64" ]]; then
    if [[ $version == 13 || ( $version == 12 && $nonprod == 1 ) ]]; then
      return 0
    fi
  fi
  printf 'native Asterisk package/host mismatch or unsupported production platform: host=%s:%s:%s package=%s nonprod=%s\n' \
    "$os" "$version" "$arch" "$built_for" "$nonprod" >&2
  return 1
}