[LLVM] Build error when linking static Z3 library

[Tomahawkd]

When I build LLVM 15.0.7 on centos 7.9 using following commands (static library with static z3)

cmake -DCMAKE_BUILD_TYPE=Release -DLLVM_ENABLE_PROJECTS="clang;clang-tools-extra" -DCMAKE_C_COMPILER=clang -DCMAKE_CXX_COMPILER="clang++" -DCMAKE_ASM_COMPILER=clang -DLLVM_APPEND_VC_REV=OFF -G Ninja -DLIBCLANG_BUILD_STATIC=ON -DLLVM_STATIC_LINK_CXX_STDLIB=ON -DLLVM_USE_STATIC_ZSTD=ON -DLLVM_ENABLE_TERMINFO=OFF -DBUILD_SHARED_LIBS=OFF -DZLIB_USE_STATIC_LIBS=ON -DLLVM_ENABLE_Z3_SOLVER=ON -DCMAKE_INSTALL_PREFIX=./output -S ./llvm  -B ./build

cmake --build ./build

The linker complains about undefined symbol:

/usr/local/lib64/libz3.a(scoped_timer.cpp.o): In function `scoped_timer::initialize()':
scoped_timer.cpp:(.text+0x560): undefined reference to `pthread_atfork'

The compile command is as follows:

/usr/local/bin/clang++ <build options> <lots of llvm static library>  -lrt  -ldl  -lpthread  -lm  /usr/local/lib64/libz3.a  lib/libLLVMDemangle.a

The question is the libz3.a is located after pthread.

The relevant CMake code is:

1. linking pthread: https://github.com/llvm/llvm-project/blob/main/llvm/lib/Support/CMakeLists.txt#L61
2. linking z3: https://github.com/llvm/llvm-project/blob/main/llvm/lib/Support/CMakeLists.txt#L96

I think this maybe a bug in CMake script, and I have successfully built after I fix it locally. Could you check it out for other platform? Many thanks.

[frederick-vs-ja]

Is this still reproducible with LLVM 22 or later?