mgorny wrote: As I've said, my issue is specific to the standalone build. You install LLVM first, then build clang against installed LLVM. Installed LLVM configs indicate whether LLVM was built against Z3, but they don't include internal Z3 lookup variables.
https://github.com/llvm/llvm-project/pull/145731 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
