According to https://github.com/klee/klee/issues/939 the latest release doesn't even support 3.8. Github page has pull request that adds 6.0 support, but it isn't merged yet. KLEE always tried to support as many LLVM versions as possible, so it was always slacking behind current LLVM releases. My plan was to fork the project and merge support for 6.0 myself (as well as some other FreeBSD fixes I already done), but yuri took the initiative. If the forking plan sounds OK, I'll try to resolve this in near future.
It looks like llvm 6.0 support was merged a couple weeks ago so the next release should support it https://github.com/klee/klee/pull/894.
The new klee release now support llvm 6.0. It would be nice if they had jumped to 8.0, but at least we can get 3.8 out of the tree soon.
Created attachment 203015 [details] Upgrade to latest and switch to llvm60 The attached patch upgrades to the Klee 2.0 release and switches to llvm60. It compiles for me, but is otherwise untested.
The port does seem to work (modulo pkg-plist adjustements). However, according to release notes, KLEE 2.0 supports LLVM 7 and 8 too. Should I bump the dependency directly to 8?
(In reply to Gleb Popov from comment #5) I missed that there was support for 7.0 and 8.0. In that case, I might suggest bumping to LLVM_DEFAULT (if can be downgraded to 8.0 if that's required when 9.0 becomes the default). I'd like to get most ports moved to LLVM_DEFAULT so a single round of exp-runs covers most version bumps.
Created attachment 203133 [details] Updated patch Patch with fixed pkg-plist and LLVM_VERSION switched to LLVM_DEFAULT.
@arrowd looks good to me.
A commit references this bug: Author: arrowd Date: Tue Mar 26 04:38:53 UTC 2019 New revision: 496875 URL: https://svnweb.freebsd.org/changeset/ports/496875 Log: security/klee: Update to 2.0 and switch to LLVM 8. PR: 230516 Submitted by: brooks Approved by: tcberner (mentor) Changes: head/security/klee/Makefile head/security/klee/distinfo head/security/klee/pkg-plist