Hello, Unfortunately, klee cannot be built in Rawhide at the moment since it is incompatible with LLVM 15 and it requires the corresponding Clang version during the build. Therefore, the llvm14 and clang14 compatibility packages cannot be used as clang14 only contains libraries. I've ported this package to newer LLVM versions for its last four releases, but proper support for LLVM 15's opaque pointers and new optimization pass manager would require a bigger rewrite of klee's internals. I've been quite occupied for the last few months and I lack the necessary deeper knowledge of LLVM for that to happen and the upstream is also not as active as they used to be. I plan to retire this package in rawhide in a week. If you are interested, let me know. Regards, Lukas _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/devel@xxxxxxxxxxxxxxxxxxxxxxx Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue
