cpet/freebsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

devel/ikos: Update comment about supported llvm versions and LLVM_DEFAULT

Browse Source 
Requested by:	jbeich
This commit is contained in:
Yuri Victorovich 2019-04-10 16:20:54 +00:00
parent 59db368782
commit 4605b48c14
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=498580
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
devel/ikos/Makefile
View File

@ -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