15 lines
401 B
Shell
15 lines
401 B
Shell
|
#!/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
|