z3-sys - Githubissues

toolCHAINZ / jingle

SMT Modeling for Ghidra's PCODE

MIT License

8 stars 1 forks source link

z3-sys #3

Open chf0x opened 1 month ago

chf0x commented 1 month ago

Hi! Thank you for the nice bindings. Would it be possible to add a static-link-z3 feature to z3-sys, so that users don't need to manually install z3-dev on their systems to access z3.h?

toolCHAINZ commented 1 month ago

Hello! That's a good idea. I'll add a feature flag to use the existing one in z3 when I get a chance. Thanks for the suggestion!