[PATCH] D88198: Hints CMake where to find Z3 with LLVM_Z3_INSTALL_DIR.

[Mikhail Ramalho via Phabricator via llvm-commits]

mikhail.ramalho added a comment.

Hi, sorry for the delay.

I'm having trouble getting it to work on my system, I keep getting:

  $ cmake ../llvm/ -GNinja
  -- Could NOT find Z3 (missing: Z3_DIR)
  CMake Error at CMakeLists.txt:377 (message):
    Z3 >= 4.7.1 has not been found in LLVM_Z3_INSTALL_DIR: /home/mgadelha/z3.
  
  
  -- Configuring incomplete, errors occurred!
  See also "/home/mgadelha/llvm-project/build/CMakeFiles/CMakeOutput.log".
  See also "/home/mgadelha/llvm-project/build/CMakeFiles/CMakeError.log".

Could you please double-check the patch? I'm using Ubuntu 20.04, CMake 3.16.3, Z3 4.8.9.

I can compile clang+Z3 just fine without your patch.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D88198/new/

https://reviews.llvm.org/D88198