b22a714840
The JIT that runs makepad apps from source: lexer, front end, type checker, lazy borrow checker (Gandalf; `--check-first` opts in), codegen, session and warm/cold caches keyed by compiler stamp, provided crates bound late, startup images, live patching. User-facing name is `makepad run` (binary `makepad`, MAKEPAD_RUN_* env, ~/.makepad-run); libs/relax stays the internal library name. `makepad check` reports rustc-style diagnostics with rustc error codes and checks a whole workspace (`--workspace`). Runs on macOS, Linux, Windows and Android. makepad-remote: one tool schema for apps and the WM (app/1): grabs, captures, traces, frame profiles and tweaks. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
23 lines
1.1 KiB
Bash
23 lines
1.1 KiB
Bash
#!/bin/bash
|
|
# Same source, fresh processes for the compile-time fuel/tier switches.
|
|
set -eu
|
|
D=$(cd "$(dirname "$0")" && pwd)
|
|
for CONFIG in '1 1 1' '0 1 1' '0 0 1' '0 1 0' '0 0 0'; do
|
|
read -r TRUSTED FUEL TIER <<< "$CONFIG"
|
|
LOG=$(mktemp)
|
|
TRACE=$(mktemp)
|
|
if MAKEPAD_RUN_WATCHDOG_MS=180000 MAKEPAD_RUN_MODULES_TRUSTED=$TRUSTED MAKEPAD_RUN_SANDBOX_FUEL=$FUEL MAKEPAD_RUN_O3=$TIER MAKEPAD_RUN_O3_CALLS=2000 MAKEPAD_RUN_O3_TRACE=1 "$1" test "$D/milk.rs" >"$LOG" 2>"$TRACE"; then
|
|
echo "modules milk (trusted=$TRUSTED fuel=$FUEL tier1=$TIER):"
|
|
grep '^milk\|^out milk' "$LOG"
|
|
grep -q '^out milk: true$' "$LOG" || { cat "$LOG" "$TRACE"; rm "$LOG" "$TRACE"; exit 1; }
|
|
if [ "$TRUSTED" = 0 ] && [ "$TIER" = 1 ]; then
|
|
# A functional assertion: timings alone cannot detect a twin left at O1.
|
|
grep -q '^tier1: sandbox:milk_mod::kernel installed' "$TRACE" || { cat "$LOG" "$TRACE"; rm "$LOG" "$TRACE"; exit 1; }
|
|
fi
|
|
else
|
|
cat "$LOG" "$TRACE"
|
|
rm "$LOG" "$TRACE"
|
|
exit 1
|
|
fi
|
|
rm "$LOG" "$TRACE"
|
|
done
|