svn commit: r498542 - head/devel/ikos
Yuri Victorovich
yuri at FreeBSD.org
Wed Apr 10 08:13:00 UTC 2019
Author: yuri
Date: Wed Apr 10 08:12:58 2019
New Revision: 498542
URL: https://svnweb.freebsd.org/changeset/ports/498542
Log:
devel/ikos: Update 2.1-104 -> 2.1-129
ikos now supports llvm80.
Modified:
head/devel/ikos/Makefile
head/devel/ikos/distinfo
head/devel/ikos/pkg-plist
Modified: head/devel/ikos/Makefile
==============================================================================
--- head/devel/ikos/Makefile Wed Apr 10 08:07:27 2019 (r498541)
+++ head/devel/ikos/Makefile Wed Apr 10 08:12:58 2019 (r498542)
@@ -2,9 +2,8 @@
PORTNAME= ikos
DISTVERSIONPREFIX= v
-DISTVERSION= 2.1-104
-PORTREVISION= 1
-DISTVERSIONSUFFIX= -g5244fd8
+DISTVERSION= 2.1-129
+DISTVERSIONSUFFIX= -gf431373
CATEGORIES= devel
MAINTAINER= yuri at FreeBSD.org
@@ -26,7 +25,7 @@ USE_GITHUB= yes
GH_ACCOUNT= NASA-SW-VnV
USE_LDCONFIG= yes
-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
CXXFLAGS+= -DNDEBUG # https://github.com/NASA-SW-VnV/ikos/issues/36, it also breaks with assert without NDEBUG
Modified: head/devel/ikos/distinfo
==============================================================================
--- head/devel/ikos/distinfo Wed Apr 10 08:07:27 2019 (r498541)
+++ head/devel/ikos/distinfo Wed Apr 10 08:12:58 2019 (r498542)
@@ -1,3 +1,3 @@
-TIMESTAMP = 1551059458
-SHA256 (NASA-SW-VnV-ikos-v2.1-104-g5244fd8_GH0.tar.gz) = aba561ba808f3c2e9b0dd94c365f43eb11e993f0c4b107d228e5dc60d01b5263
-SIZE (NASA-SW-VnV-ikos-v2.1-104-g5244fd8_GH0.tar.gz) = 1272263
+TIMESTAMP = 1554869173
+SHA256 (NASA-SW-VnV-ikos-v2.1-129-gf431373_GH0.tar.gz) = c402db7f450d9281006d8d8e90f8e6c5216b945f46433b29ee7fe85818c0ea77
+SIZE (NASA-SW-VnV-ikos-v2.1-129-gf431373_GH0.tar.gz) = 1289728
Modified: head/devel/ikos/pkg-plist
==============================================================================
--- head/devel/ikos/pkg-plist Wed Apr 10 08:07:27 2019 (r498541)
+++ head/devel/ikos/pkg-plist Wed Apr 10 08:12:58 2019 (r498542)
@@ -7,6 +7,7 @@ bin/ikos-report
bin/ikos-scan
bin/ikos-scan-c++
bin/ikos-scan-cc
+bin/ikos-scan-extract
bin/ikos-view
include/ikos/analyzer/intrinsic.h
include/ikos/ar/format/dot.hpp
More information about the svn-ports-head
mailing list