[all-commits] [llvm/llvm-project] e34e02: [clang] Fix tests requiring Z3 headers in standalo...

[Michał Górny via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: e34e02128ec5eb89e36a8f0f7307dcbcfecabbee
      https://github.com/llvm/llvm-project/commit/e34e02128ec5eb89e36a8f0f7307dcbcfecabbee
  Author: Michał Górny <mgorny at gentoo.org>
  Date:   2025-06-28 (Sat, 28 Jun 2025)

  Changed paths:
    M clang/CMakeLists.txt
    M clang/test/Analysis/z3-crosscheck-max-attempts.cpp
    M clang/test/Analysis/z3/D83660.c
    M clang/test/CMakeLists.txt
    M clang/test/lit.cfg.py
    M clang/test/lit.site.cfg.py.in

  Log Message:
  -----------
  [clang] Fix tests requiring Z3 headers in standalone builds (#146200)

Fix running tests that require Z3 headers in standalone build. They were
wrongly relying on `Z3_INCLUDE_DIR` being passed through from LLVM,
which is not the case for a standalone build. Instead, perform
`find_package(Z3)` again to find Z3 development files and set
`Z3_INCLUDE_DIR`. While at it, handle the possibility that Z3
development package is no longer installed -- run the tests only if both
LLVM has been built against Z3, and the headers are still available.

https://github.com/llvm/llvm-project/pull/145731#issuecomment-3009487525

Signed-off-by: Michał Górny <mgorny at gentoo.org>



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications