https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=235215
--- Comment #5 from Jan Beich <[email protected]> --- (In reply to Yuri Victorovich from comment #2) > the latest LLVM release is 7.0.1, so this PR is premature. I'm trying to get everyone on board (or off board) by the time devel/llvm80 is updated to the actual release. Some maintainers may need time to evaluate the risk but being on LLVM_DEFAULT train assumes silence after timeout is an agreement. Otherwise, there's a risk of HEAD and 2019Q2 ending up with different LLVM_DEFAULT, complicating maintenance. (In reply to Yuri Victorovich from comment #3) > ikos says that they will fix compatibility once llvm-8 is released. Not quite. According to https://github.com/NASA-SW-VnV/ikos/issues/96#issuecomment-457843971 it doesn't look like ikos upstream plans to keep compatibility with llvm70 much like they haven't with llvm60 or llvm50/llvm40. So, I don't understand why you insist on using LLVM_DEFAULT in the port when it breaks if user specifies non-default value via DEFAULT_VERSIONS+=llvm=NN. -- You are receiving this mail because: You are on the CC list for the bug. _______________________________________________ [email protected] mailing list https://lists.freebsd.org/mailman/listinfo/freebsd-gecko To unsubscribe, send any mail to "[email protected]"
