Carlo Cabrera

``` -- SYSTEM_LIBS ICONV_LIBRARIES-NOTFOUND ``` This seems to be part of the problem. For some reason, `cmake` can't find `libiconv`. This may have something to do with built-in libraries no...

One thing I would've appreciated (and would've made packaging KLEE for Homebrew a lot simpler for me) is documentation on what your build scripts for installing `libc++` is doing exactly....

You don't need it to build KLEE, but, as far as I can tell, it's the only documented way to enable C++ support: http://klee.github.io/build-llvm9/

Sure, no problem. Thanks for having a look!

Sure, I don't mind waiting. I guess waiting till after the release of 3.2 makes sense too, which, from what I understand, is planned in the next few months.

@sab24, is the fix still working for you?

I see. Do let me know if you get the chance. Thank you.

> Would linking to Zig 0.8.x solve the above issue? I have no problem pinning my code to this version. We only ship the latest version of Zig, so that's...

Linking with `curl` worked fine though (IIRC); it's linking with `pcre` that's the issue. So I'm not sure this issue justified removing `curl` (but it seems like you had other...

> All that remains to be done is to upload this to BuildPulse. I might be understating the work left to be done a little here. There is a `brew-test-bot.xml`...