[Bug 235215] Bump LLVM_DEFAULT to 80

bugzilla-noreply at freebsd.org bugzilla-noreply at freebsd.org
Sat Jan 26 21:37:15 GMT 2019


https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=235215

--- Comment #5 from Jan Beich <jbeich at 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.


More information about the kde-freebsd mailing list