Skip site navigation (1)Skip section navigation (2)
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>