[all-commits] [llvm/llvm-project] d66f9c: Fix build rules for LLVM_WITH_Z3 after D95727

Björn Pettersson via All-commits all-commits at lists.llvm.org
Sat Apr 3 03:26:13 PDT 2021


  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: d66f9c4f1e83e69abf75f97cb5f8fd1dc9422357
      https://github.com/llvm/llvm-project/commit/d66f9c4f1e83e69abf75f97cb5f8fd1dc9422357
  Author: Bjorn Pettersson <bjorn.a.pettersson at ericsson.com>
  Date:   2021-04-03 (Sat, 03 Apr 2021)

  Changed paths:
    M llvm/lib/Support/CMakeLists.txt

  Log Message:
  -----------
  Fix build rules for LLVM_WITH_Z3 after D95727

Started to see build errors like this

../lib/Support/Z3Solver.cpp:19:10: fatal error: 'z3.h' file not found
#include <z3.h>
         ^~~~~~
1 error generated.

after commit 43ceb74eb1a5801662419fb66a6bf0d5414f1ec5.

The -isystem path to the Z3_INCLUDE_DIR wen't missing in the compile
commands. No idea why target_include_directories stopped working with
that commit, but using include_directories seem to work better.




More information about the All-commits mailing list