Mark DenHoed
Mark DenHoed
If we want to get this merged in, we might look at extending the strategy in https://github.com/prove-rs/z3.rs/pull/444. I would advocate for not bumping the min z3 version up to 4.13.2...
Gotcha, thanks! Please let me know if there's any way I can help out; I've loved using this library and wouldn't mind contributing if there was something I could do....
Poking around at this a bit on my Windows 11 machine (apologies if you've already triaged all this): * `cargo build --features bundled` succeeds * `cargo test --features bundled` fails...
Ok, I just tracked down some `cmake` stuff. Bisected `cmake` versions and it seems that `3.15` is the first version breaking the debug tests. Still looking through the changelog for...
Not at all a CMake expert here, but I'm wondering if this is a `cmake-rs` problem This snippet seems to indicate that `cmake-rs` is attempting to communicate `/MT` and `/MD`...
I've made https://github.com/prove-rs/z3.rs/pull/295 which contains a change that fixes debug builds on my machine.
Looks like there's finally a new z3 release! https://github.com/Z3Prover/z3/releases/tag/z3-4.13.2
Hey @waywardmonkeys, no rush, but is there any chance of a push to crates.io? Is there anything left blocking a release?
Nothing for me!
Hey @waywardmonkeys! Gentle bump on this, any chance of a crates.io push in the next couple weeks?