Add vcpkg support and corresponding CI.

prove-rs / z3.rs

Rust bindings for the Z3 solver.

347 stars 110 forks source link

Closed TheVeryDarkness closed 1 year ago

TheVeryDarkness commented 1 year ago

Support using vcpkg-rs to manage z3 library.

Added a non-default feature vcpkg.

However, vcpkg-rs does not support wasm32 target currently. I created a pull request there at mcgoo/vcpkg-rs#53.

waywardmonkeys commented 1 year ago

Despite all of the above, I do want to say that I'm very happy to see this and thanks so much for starting us down this path!

TheVeryDarkness commented 1 year ago

Okay, but I'm afraid that I need some time for it. I may be busy for several days as I'm attending a game.

waywardmonkeys commented 1 year ago

I'm going to merge this and then see about further / subsequent changes!

waywardmonkeys commented 1 year ago

Thank you again for working on this!