Date: Wed, 10 Apr 2019 13:59:09 +0200 From: Jan Beich <jbeich@FreeBSD.org> To: Yuri Victorovich <yuri@FreeBSD.org> Cc: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: Re: svn commit: r498542 - head/devel/ikos Message-ID: <ftqq-xe9e-wny@FreeBSD.org> In-Reply-To: <201904100812.x3A8Cw2B060047@repo.freebsd.org> (Yuri Victorovich's message of "Wed, 10 Apr 2019 08:12:58 %2B0000 (UTC)") References: <201904100812.x3A8Cw2B060047@repo.freebsd.org>
next in thread | previous in thread | raw e-mail | index | archive | help
Yuri Victorovich <yuri@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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?ftqq-xe9e-wny>