From 4725369f54cd1f1cbb7dd940b4a3242bddcb53c2 Mon Sep 17 00:00:00 2001 From: fw Date: Thu, 2 Oct 2025 12:31:03 -0400 Subject: [PATCH 1/2] ci: add libz3-dev dependency to ubuntu --- .github/workflows/ci.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index ffd5c36228..3bae3d68fd 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -77,6 +77,7 @@ jobs: librtmp-dev libssl-dev libtool + libz3-dev llvm llvm-dev luarocks From b2cd4ebad8aff2d1b1e0729bb221f7ea1bc4de76 Mon Sep 17 00:00:00 2001 From: fw Date: Thu, 2 Oct 2025 12:36:02 -0400 Subject: [PATCH 2/2] ci: on macOS, point rust at homebrew library directory for z3 --- .github/workflows/ci.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 3bae3d68fd..5b37b2adc7 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -106,6 +106,8 @@ jobs: - name: cargo test --release --workspace run: | export RUSTFLAGS="-D warnings" + # add homebrew library path for z3 + export RUSTFLAGS="$RUSTFLAGS -Clink-arg=-L/opt/homebrew/lib -Clink-arg=-Wl,-rpath,/opt/homebrew/lib" export RUSTDOCFLAGS="-D warnings" cargo test --release --workspace - name: Test translator