search

prove-rs / z3.rs

Rust bindings for the Z3 solver.
337 stars 105 forks source link

z3-sys: Use `pkg-config` when using system libs. #277

Closed waywardmonkeys closed 9 months ago

waywardmonkeys commented 9 months ago

This helps find the lib and includes more accurately than not using it.

This builds on previous work by @poscat0x04 and @wtdcode.

waywardmonkeys commented 9 months ago

This will replace the PR #248.