https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=235215
--- Comment #5 from Jan Beich <jbe...@freebsd.org> --- (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.
