svn commit: r498580 - head/devel/ikos

[Yuri Victorovich]

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