From 95aa5f5dac5256a4a3d82c112ae0af3cc20862d6 Mon Sep 17 00:00:00 2001 From: igneum-labs <337424239+igneum-labs@users.noreply.github.com> Date: Wed, 7 Oct 2026 00:25:32 +0000 Subject: [PATCH] build-dmg: a DMG never ships without the prover pair (the warning branch built a 0.3.17 DMG 18 MB short) Co-Authored-By: Claude Fable 5.1 --- packaging/mac/build-dmg.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packaging/mac/build-dmg.sh b/packaging/mac/build-dmg.sh index fd96be272..656dab1e5 100755 --- a/packaging/mac/build-dmg.sh +++ b/packaging/mac/build-dmg.sh @@ -107,7 +107,7 @@ if [ -f "$PROVE_HOST" ] && [ -f "$PROVE_EXPORT" ]; then cp "$PROVE_EXPORT" "$APP/Contents/Resources/bin/igneum-prove-export" echo "prover: igneum-prove-host and igneum-prove-export from $(dirname "$PROVE_HOST")" "$PROVE_HOST" --mode id || { echo "the prover host's pinned guests do not pass their manifest check"; exit 1; } -else echo "warning: no $PROVE_HOST / $PROVE_EXPORT (cd proving/igneum-prove && cargo build --release -p igneum-prove-host -p igneum-prove-export); the Proving tile will say the prover is missing"; fi +else echo "no $PROVE_HOST / $PROVE_EXPORT: the DMG never ships without the prover pair (7 October 2026: a 0.3.17 DMG built 18 MB short with a warning only; cd proving/igneum-prove && cargo build --release -p igneum-prove-host -p igneum-prove-export, the vendor/igneum-node-exec worktree in place)" >&2; exit 1; fi write_packaged_config "$APP/Contents/Resources/igneum-app.json" chmod 755 "$APP/Contents/MacOS/"* "$APP/Contents/Resources/bin/"*