Andrew V. Teylu

Just so you know: your issue here is totally legitimate; I'm just trying to understand it so we know how to fix it correctly. > No, it's all absolute: >...

You seem to be hesitant for STP to adopt `GNUInstallDirs`; what's the disadvantage (if you know)?

Another question: could we just "emulate" `GNUInstallDirs` by joining `CMAKE_INSTALL_PREFIX` with `CMAKE_INSTALL_LIBDIR`?

Would you be happy to make a PR that uses `GNUInstallDirs` only on Linux?

Here's how I build on Windows: ``` -DZLIB_INCLUDE_DIR="../../../${INSTALL_DIR}/include" -DZLIB_LIBRARY="../../../${INSTALL_DIR}/lib/libzlibstatic.a" ``` After building Zlib: ``` function build_zlib() { cd "${ROOT}"/src git clone https://github.com/madler/zlib cd zlib git checkout v1.2.8 rm -rf build...

At the very least (and I'm not saying that this is a reason *not* to remove Minisat, but just a data-point), but it seems that KLEE's documentation *only* talks about...

Currently we require MiniSat and CMS is optional -- are we considering swapping this? Basically, are we going to default to MiniSat being off? I'd vote for this option, because...

> can't be built without a modern solver (e.g. Cryptominisat). Do you mean "e.g." there or "i.e."? Basically, if you mean "e.g.", then are you suggesting STP could be built...

> This isn't something I'd personally use, but if your or someone else wants to do it, I can imagine it being helpful. I also wouldn’t use this, but it...

I should add: it might seem I’m really keen to keep MiniSat — I’m totally down to remove it totally, but I also understand that some of our users (e.g.,...