Cannot build with Z3 4.8.5 about haskell-z3

[ocharles]

Looks like a duplicate of #20 - could we get a new release?

[ocharles]

Git HEAD tests fail though, and somewhat mysteriously at that:

Running 1 test suites...
Test suite spec: RUNNING...
Test suite spec: FAIL
Test suite logged to: dist/test/z3-408.0-spec.log
0 of 1 test suites (0 of 1 test cases) passed.

$ cat haskell-z3-009772a/dist/test/z3-408.0-spec.log
Test suite spec: RUNNING...
Test suite spec: FAIL
Test suite logged to: dist/test/z3-408.0-spec.log

🤷‍♂️

[IagoAbal]

Hi, yes, I can make a release relatively soon (this weekend or the next).

For the record, I just do my best to keep this library alive. The library seems to have a decent number of users but none of them really wants to help maintaining it. Most I can do is to guide those who want to contribute, review and merge pull requests.

[ocharles]

@IagoAbal I'm happy to help maintain, but I don't really know anything about Z3 - I just use this library via SBV. If you want another person to help cut releases though, I'm happy to help there.

[IagoAbal]

Supposedly fixed by b8ce65d, please reopen if that is not the case.

I just use this library via SBV

That cannot be the case, SBV does not use these bindings as far as I can tell. SBV talks to Z3 via its SMT-LIB front-end. Correct me if I'm wrong.

[ocharles]

You are absolutely correct. In that case I have no idea what depends on z3 in our codebase... but something does! 😄