core: undefined symbol: Z3_mk_config"

[matthiaskrgr]

repo is @ bf16480

   Compiling core v0.0.0 (/home/matthias/vcs/github/rust/src/libcore)
error: couldn't load codegen backend "/home/matthias/vcs/github/rust/build/x86_64-unknown-linux-gnu/stage1/lib/rustlib/x86_64-unknown-linux-gnu/codegen-backends/librustc_codegen_llvm-llvm.so": "/home/matthias/vcs/github/rust/build/x86_64-unknown-linux-gnu/stage1/lib/rustlib/x86_64-unknown-linux-gnu/codegen-backends/librustc_codegen_llvm-llvm.so: undefined symbol: Z3_mk_config"

error: Could not compile `core`.

To learn more, run the command again with --verbose.
command did not execute successfully: "/home/matthias/vcs/github/rust/build/x86_64-unknown-linux-gnu/stage0/bin/cargo" "build" "--target" "x86_64-unknown-linux-gnu" "-j" "1" "--release" "--features" "panic-unwind backtrace profiler compiler-builtins-c" "--manifest-path" "/home/matthias/vcs/github/rust/src/libstd/Cargo.toml" "--message-format" "json"
expected success, got: exit code: 101
failed to run: /home/matthias/vcs/github/rust/build/bootstrap/debug/bootstrap build -j 1
Build completed unsuccessfully in 0:00:02

edit:
config:

[llvm]
[build]
submodules = true
extended = true
tools = ["cargo", "rls", "clippy", "rustfmt", "analysis", "src"]
sanitizers = true
profiler = true
low-priority = true
[install]
[rust]
[target.x86_64-unknown-linux-gnu]
[dist]

I'm using manjaro and have z3 installed.
cc @nikic

cc #62592

[nikic]

We should probably explicitly set LLVM_ENABLE_Z3_SOLVER=0 during the LLVM build. If Z3 is found it will be linked by default.