[all-commits] [llvm/llvm-project] b42c88: [clang] Build the Z3 mock module via CMake (#146284)

[Michał Górny via All-commits]

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

  Changed paths:
    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] Build the Z3 mock module via CMake (#146284)

Build the Z3 mock module via CMake rather than compiling it directly in
tests. This ensures that the toolchain file is exported, and therefore
fixes testing for Gentoo multilib. Also, it ensures that the module is
compiled only once for the two tests using it.

While at it, remove the related Z3 include directory and host compiler
substitutions -- they are not used anymore, and the latter can't be
reliably used in tests.

The code is based on the existing bits for CTTestTidyModule.

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



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