postjevsql.git / tools / check-versions.sh
check-versions.shannotatedcheck-versions.shsource32 lines · 1.7 KB · raw
1#!/usr/bin/env bash

Fail if a version written outside mise.toml differs from the one in it. mise.toml is the one place versions live; these are the few other files that cannot read it and so repeat one.

tools/check-versions.sh

Needs only POSIX tools: it reads mise.toml's key = "value" lines, not a TOML parser.

8set -euo pipefail
9cd "$(dirname "$0")/.."
10fail=0
11bad() { echo "check-versions: $*" >&2; fail=1; }
12tool() { grep -m1 -E "^\"?$1\"? *= *\[?\"" mise.toml | sed -E 's/^[^=]*= *\[?"([^"]*)".*/\1/'; }

Every PostgreSQL major in build/defs.bzl has a server in mise.toml, and no other.

15majors=$(sed -n 's/^PG_MAJORS = \[\(.*\)\].*/\1/p' build/defs.bzl | tr -d '" ' | tr ',' ' ')
16have=$(grep -m1 -E '^"conda:postgresql" *=' mise.toml | grep -oE '"[0-9]+\.[0-9]+"' | tr -d '"' | cut -d. -f1 | sort -n | tr '\n' ' ')
17want=$(echo $majors | tr ' ' '\n' | sort -n | tr '\n' ' ')
18[ "$have" = "$want" ] || bad "build/defs.bzl supports majors [$want] but mise.toml installs servers for [$have]"

cargo-pgrx must be the pgrx the graph resolves.

21pgrx="$(tool 'cargo:cargo-pgrx')"
22grep -qE "^pgrx *= *\{ *version *= *\"=$pgrx\"" third-party/Cargo.toml || bad "third-party/Cargo.toml does not pin pgrx =$pgrx (the cargo-pgrx in mise.toml)"

24hk="$(tool hk)"
25grep -q "hk@$hk#" hk.pkl || bad "hk.pkl does not reference hk $hk (the release mise.toml installs)"

Nothing may pin a tool version in the flake: it only wraps mise.

28if grep -vE '^[[:space:]]*#' flake.nix | grep -nE 'postgresql_[0-9]|pkgs\.(rustc|cargo|clang|python3|reindeer)' >&2; then
29  bad "flake.nix provides a tool the toolchain is mise.toml's to provide"
30fi
31[ "$fail" = 0 ] && echo "check-versions: ok"
32exit "$fail"