NagyDonat wrote: @mgorny I was unable to reproduce the failure that you observed -- based on the error message that you posted, you're in a situation where Z3_INCLUDE_DIR is not set by the clang build system _but_ these two tests which are marked with `REQUIRES: z3` are still executed somehow. (Perhaps you have Z3 installed in a standard system include directory?)
Nevertheless, my fix https://github.com/llvm/llvm-project/pull/146042 should work even in this case. 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
