ci(bolt): install MLIR dependencies for modular checks

Author: markosg04

.github/workflows/rust.yml

@@ -47,6 +47,16 @@ jobs:
       - uses: actions-rust-lang/setup-rust-toolchain@v1
         with:
           components: clippy
+      - name: Install LLVM
+        run: |
+          wget -qO /tmp/llvm.sh https://apt.llvm.org/llvm.sh
+          chmod +x /tmp/llvm.sh
+          sudo /tmp/llvm.sh 22 all
+          sudo apt-get install -y libmlir-22-dev mlir-22-tools
+      - name: Configure LLVM
+        run: |
+          echo "MLIR_SYS_220_PREFIX=/usr/lib/llvm-22" >> "$GITHUB_ENV"
+          echo "/usr/lib/llvm-22/bin" >> "$GITHUB_PATH"
       - name: cargo clippy --features allocative,host
         run: cargo clippy --all --all-targets --features allocative,host
       - name: cargo clippy --features allocative,host,zk
@@ -222,6 +232,18 @@ jobs:
     steps:
       - uses: actions/checkout@v6
       - uses: actions-rust-lang/setup-rust-toolchain@v1
+      - name: Install LLVM
+        run: |
+          wget -qO /tmp/llvm.sh https://apt.llvm.org/llvm.sh
+          chmod +x /tmp/llvm.sh
+          sudo /tmp/llvm.sh 22 all
+          sudo apt-get install -y libmlir-22-dev mlir-22-tools
+      - name: Configure LLVM
+        run: |
+          echo "MLIR_SYS_220_PREFIX=/usr/lib/llvm-22" >> "$GITHUB_ENV"
+          echo "/usr/lib/llvm-22/bin" >> "$GITHUB_PATH"
+      - name: Build and install jolt CLI
+        run: cargo install --path . --locked --force
       - name: Install nextest
         uses: taiki-e/install-action@nextest
       - name: Discover modular crates

.gitignore

@@ -10,6 +10,7 @@
 
 *.txt
 .DS_Store
+.bolt-dev-env
 
 pprof/
 # pprof files

CLAUDE.md

@@ -42,6 +42,20 @@ cargo build -p jolt-core -q
 cargo install --path . --locked
 ```
 
+### Local Bolt/MLIR Environment
+
+Before running Bolt MLIR/codegen checks locally, generate and source the Bolt
+dev environment:
+
+```bash
+scripts/setup-bolt-dev.sh
+source .bolt-dev-env
+```
+
+Agents should source `.bolt-dev-env` before any Bolt, generated-role, or
+Jolt-on-Bolt equivalence command so `llvm-config`, `MLIR_SYS_220_PREFIX`, and
+the local `jolt` CLI all resolve consistently.
+
 ### Profiling
 
 ```bash

crates/bolt/TESTING.md

@@ -8,6 +8,13 @@ gate suite while semantic construction lives in Bolt, generated crates,
 
 ## Fast Local Gates
 
+Set up and source the Bolt dev environment first:
+
+```bash
+scripts/setup-bolt-dev.sh
+source .bolt-dev-env
+```
+
 Run:
 
 ```bash

scripts/setup-bolt-dev.sh

@@ -0,0 +1,102 @@
+#!/usr/bin/env bash
+set -euo pipefail
+
+repo_root="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)"
+env_file="${repo_root}/.bolt-dev-env"
+
+usage() {
+  cat <<'USAGE'
+Usage: scripts/setup-bolt-dev.sh
+
+Installs/configures the local dependencies needed by Bolt MLIR/codegen checks
+on macOS:
+
+  - Homebrew llvm
+  - rustup components: rust-src, rustfmt, clippy
+  - cargo-nextest
+  - jolt CLI installed from this checkout
+  - .bolt-dev-env with MLIR_SYS_220_PREFIX, PATH, SDKROOT, and bindgen flags
+
+After it finishes, run:
+
+  source .bolt-dev-env
+USAGE
+}
+
+if [[ "${1:-}" == "-h" || "${1:-}" == "--help" ]]; then
+  usage
+  exit 0
+fi
+
+if [[ "$(uname -s)" != "Darwin" ]]; then
+  cat >&2 <<'EOF'
+scripts/setup-bolt-dev.sh currently supports macOS/Homebrew.
+
+Bolt's MLIR path needs LLVM/MLIR 22 visible through llvm-config. On non-macOS
+hosts, install an LLVM 22 toolchain and export:
+
+  MLIR_SYS_220_PREFIX=<llvm-prefix>
+  PATH=<llvm-prefix>/bin:$PATH
+
+EOF
+  exit 1
+fi
+
+if ! command -v brew >/dev/null 2>&1; then
+  cat >&2 <<'EOF'
+Homebrew is required to install the LLVM toolchain for this helper.
+Install Homebrew first: https://brew.sh
+EOF
+  exit 1
+fi
+
+if ! command -v xcrun >/dev/null 2>&1; then
+  cat >&2 <<'EOF'
+xcrun is missing. Install the Xcode command line tools first:
+
+  xcode-select --install
+EOF
+  exit 1
+fi
+
+if ! brew list llvm >/dev/null 2>&1; then
+  brew install llvm
+fi
+
+if command -v rustup >/dev/null 2>&1; then
+  rustup component add rust-src rustfmt clippy
+else
+  cat >&2 <<'EOF'
+rustup is not installed. Install Rust from https://rustup.rs, then rerun this
+script so it can add rust-src, rustfmt, and clippy.
+EOF
+  exit 1
+fi
+
+if ! cargo nextest --version >/dev/null 2>&1; then
+  cargo install cargo-nextest --locked
+fi
+
+cargo install --path "${repo_root}" --locked --force
+
+llvm_prefix="$(brew --prefix llvm)"
+sdkroot="$(xcrun --show-sdk-path)"
+
+cat >"${env_file}" <<EOF
+# Generated by scripts/setup-bolt-dev.sh. Source this before Bolt MLIR checks.
+export MLIR_SYS_220_PREFIX="${llvm_prefix}"
+export PATH="${llvm_prefix}/bin:\${PATH}"
+export SDKROOT="${sdkroot}"
+export BINDGEN_EXTRA_CLANG_ARGS="-isysroot${sdkroot}"
+EOF
+
+"${llvm_prefix}/bin/llvm-config" --version >/dev/null
+
+cat <<EOF
+Wrote ${env_file}
+
+Run:
+  source .bolt-dev-env
+
+Then Bolt checks can find llvm-config and MLIR_SYS_220_PREFIX.
+EOF