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 [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
