#!/usr/bin/env bash
set -euo pipefail

ROOT="$(cd "$(dirname "${BASH_SOURCE[0]}")/../.." && pwd)"
cd "$ROOT"

cabal build \
  --offline \
  --build-log="${TMPDIR:-/tmp}/nuthatch-model-evidence-cabal.log" \
  exe:nuthatch-model-evidence
export NUTHATCH_MODEL_EVIDENCE
NUTHATCH_MODEL_EVIDENCE="$(
  cabal list-bin --offline exe:nuthatch-model-evidence
)"
exec node tests/model-correspondence/verify.mjs