[PATCH] D54978: Move the SMT API to LLVM

[Mikhail Ramalho via Phabricator via cfe-commits]

mikhail.ramalho added a comment.

@brzycki, I can't reproduce your error. Maybe you're missing `-DLLVM_ENABLE_Z3_SOLVER=OFF`?

  $ cmake -GNinja ../llvm -DLLVM_ENABLE_PROJECTS=clang -DBUILD_SHARED_LIBS=ON -DCMAKE_INSTALL_PREFIX=/home/mgadelha/myclang -DCMAKE_LINKER=/usr/bin/ld.gold -DLLVM_ENABLE_BACKTRACES=OFF -DLLVM_TARGETS_TO_BUILD=host -DLLVM_ENABLE_Z3_SOLVER=ON -DCMAKE_BUILD_TYPE=RelWithDebInfo
  -- clang project is enabled
  -- compiler-rt project is disabled
  -- debuginfo-tests project is disabled
  -- libclc project is disabled
  -- libcxx project is disabled
  -- libcxxabi project is disabled
  -- libunwind project is disabled
  -- lld project is disabled
  -- lldb project is disabled
  -- llgo project is disabled
  -- llvm project is disabled
  -- openmp project is disabled
  -- parallel-libs project is disabled
  -- polly project is disabled
  -- pstl project is disabled
  -- Could NOT find Z3: Found unsuitable version "4.4.1", but required is at least "4.7.1" (found /usr/lib/x86_64-linux-gnu/libz3.so)
  CMake Error at CMakeLists.txt:406 (message):
    LLVM_ENABLE_Z3_SOLVER cannot be enabled when Z3 is not available.
  
  
  -- Configuring incomplete, errors occurred!
  See also "/home/mgadelha/llvm/build/CMakeFiles/CMakeOutput.log".


Repository:
  rC Clang

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

https://reviews.llvm.org/D54978