svn commit: r498542 - head/devel/ikos

[Jan Beich]

Yuri Victorovich <yuri at FreeBSD.org> writes:

> -LLVM_VERSION=	70 # ${LLVM_DEFAULT} isn't desirable here since ikos doesn't support llvm < 70, but LLVM_DEFAULT implies that many llvm versions are supported
> +LLVM_VERSION=	80 # ${LLVM_DEFAULT} isn't desirable here since ikos doesn't support llvm < 70, but LLVM_DEFAULT implies that many llvm versions are supported

Can you update comment as well i.e., "llvm < 70" part? For example,

  LLVM_VERSION=	80 # not ${LLVM_DEFAULT} as only one version is supported at a time