Russell Bryant 04a39cabbd fix(build): add z3 include path for RHEL/Fedora bindgen compatibility (#1388) ...

On RHEL and Fedora, the z3 header is installed to /usr/include/z3/
rather than /usr/include/. The z3-sys crate's bindgen step fails
because pkg-config doesn't find z3 on these distros. Add the extra
include path via BINDGEN_EXTRA_CLANG_ARGS in mise.toml — the -I
flag is silently ignored on systems where the path doesn't exist.

2026-05-18 20:16:27 -07:00

..

config.toml

fix(build): add z3 include path for RHEL/Fedora bindgen compatibility (#1388)

2026-05-18 20:16:27 -07:00