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

Merged

waywardmonkeys merged 1 commit intomasterfrom pkg-config

Nov 25, 2023

+20-5

Commits on Nov 25, 2023

z3-sys: Use pkg-config when using system libs.
waywardmonkeys
committed