Date: Wed, 10 Apr 2019 16:20:55 +0000 (UTC) From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r498580 - head/devel/ikos Message-ID: <201904101620.x3AGKtea016806@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: yuri Date: Wed Apr 10 16:20:54 2019 New Revision: 498580 URL: https://svnweb.freebsd.org/changeset/ports/498580 Log: devel/ikos: Update comment about supported llvm versions and LLVM_DEFAULT Requested by: jbeich Modified: head/devel/ikos/Makefile Modified: head/devel/ikos/Makefile ============================================================================== --- head/devel/ikos/Makefile Wed Apr 10 16:02:06 2019 (r498579) +++ head/devel/ikos/Makefile Wed Apr 10 16:20:54 2019 (r498580) @@ -25,7 +25,7 @@ USE_GITHUB= yes GH_ACCOUNT= NASA-SW-VnV USE_LDCONFIG= yes -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 +LLVM_VERSION= 80 # ${LLVM_DEFAULT} isn't desirable here since ikos only supports llvm>=70, but LLVM_DEFAULT implies that many/any llvm versions are supported CXXFLAGS+= -DNDEBUG # https://github.com/NASA-SW-VnV/ikos/issues/36, it also breaks with assert without NDEBUG
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201904101620.x3AGKtea016806>