igneum-network/igneum
1
0
Fork 0
Code Issues Pull requests Releases Activity

build-dmg: a DMG never ships without the prover pair (the warning branch built a 0.3.17 DMG 18 MB short)

Browse source 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
igneum-labs 2026-10-07 00:25:32 +00:00
parent 85d3ebc7fb
commit 95aa5f5dac
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
packaging/mac/build-dmg.sh
View file

@ -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/"*