git: 31099425c9cf - main - devel/ikos: update 3.1 → 3.2

Go to: [ bottom of page ] [ top of archives ] [ this month ]
From: Yuri Victorovich <yuri_at_FreeBSD.org>
Date: Fri, 29 Dec 2023 21:19:49 UTC
The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=31099425c9cf75e370bbc4ef599660e6d5158983

commit 31099425c9cf75e370bbc4ef599660e6d5158983
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2023-12-29 19:35:14 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2023-12-29 21:19:45 +0000

    devel/ikos: update 3.1 → 3.2
    
    Reported by:    portscout
---
 devel/ikos/Makefile                                |  6 ++--
 devel/ikos/distinfo                                |  6 ++--
 ...ch-ar_include_ikos_ar_semantic_data__layout.hpp | 10 ------
 ...ch-ar_src_pass_add__partitioning__variables.cpp | 10 ------
 devel/ikos/pkg-plist                               | 38 ----------------------
 5 files changed, 5 insertions(+), 65 deletions(-)

diff --git a/devel/ikos/Makefile b/devel/ikos/Makefile
index 84304cd1d99e..b7f02d802b08 100644
--- a/devel/ikos/Makefile
+++ b/devel/ikos/Makefile
@@ -1,7 +1,6 @@
 PORTNAME=	ikos
 DISTVERSIONPREFIX=	v
-DISTVERSION=	3.1
-PORTREVISION=	7
+DISTVERSION=	3.2
 CATEGORIES=	devel
 
 MAINTAINER=	yuri@FreeBSD.org
@@ -18,8 +17,7 @@ LIB_DEPENDS=	libapron.so:math/apron \
 		libgmp.so:math/gmp \
 		libppl.so:devel/ppl \
 		libtbb.so:devel/onetbb
-RUN_DEPENDS=	${PYTHON_PKGNAMEPREFIX}sqlite3>0:databases/py-sqlite3@${PY_FLAVOR} \
-		llvm${LLVM_VERSION}>0:devel/llvm${LLVM_VERSION}
+RUN_DEPENDS=	llvm${LLVM_VERSION}>0:devel/llvm${LLVM_VERSION}
 
 USES=		cmake ncurses python sqlite
 USE_GITHUB=	yes
diff --git a/devel/ikos/distinfo b/devel/ikos/distinfo
index 997c01d5dbaa..38a6b6e44ddd 100644
--- a/devel/ikos/distinfo
+++ b/devel/ikos/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1670308888
-SHA256 (NASA-SW-VnV-ikos-v3.1_GH0.tar.gz) = e2a9ff32d02aeff92abbb8f69f1a6730ad96b6f59a10e18c30522d033f950844
-SIZE (NASA-SW-VnV-ikos-v3.1_GH0.tar.gz) = 1385982
+TIMESTAMP = 1703825428
+SHA256 (NASA-SW-VnV-ikos-v3.2_GH0.tar.gz) = 11ab520043523a048f8756d68bd3f6a761870d4ec1a9f240eda8f3b1a11f7aa1
+SIZE (NASA-SW-VnV-ikos-v3.2_GH0.tar.gz) = 1381841
diff --git a/devel/ikos/files/patch-ar_include_ikos_ar_semantic_data__layout.hpp b/devel/ikos/files/patch-ar_include_ikos_ar_semantic_data__layout.hpp
deleted file mode 100644
index 6dd78e799c59..000000000000
--- a/devel/ikos/files/patch-ar_include_ikos_ar_semantic_data__layout.hpp
+++ /dev/null
@@ -1,10 +0,0 @@
---- ar/include/ikos/ar/semantic/data_layout.hpp.orig	2022-12-05 06:21:57 UTC
-+++ ar/include/ikos/ar/semantic/data_layout.hpp
-@@ -46,6 +46,7 @@
- #pragma once
- 
- #include <memory>
-+#include <vector>
- 
- #include <ikos/ar/support/assert.hpp>
- #include <ikos/ar/support/number.hpp>
diff --git a/devel/ikos/files/patch-ar_src_pass_add__partitioning__variables.cpp b/devel/ikos/files/patch-ar_src_pass_add__partitioning__variables.cpp
deleted file mode 100644
index 88c89a5c1814..000000000000
--- a/devel/ikos/files/patch-ar_src_pass_add__partitioning__variables.cpp
+++ /dev/null
@@ -1,10 +0,0 @@
---- ar/src/pass/add_partitioning_variables.cpp.orig	2022-12-05 06:21:57 UTC
-+++ ar/src/pass/add_partitioning_variables.cpp
-@@ -45,6 +45,7 @@
-  *
-  ******************************************************************************/
- 
-+#include <array>
- #include <unordered_set>
- 
- #include <ikos/ar/pass/add_partitioning_variables.hpp>
diff --git a/devel/ikos/pkg-plist b/devel/ikos/pkg-plist
index fb037e1fa2e2..735129ebe113 100644
--- a/devel/ikos/pkg-plist
+++ b/devel/ikos/pkg-plist
@@ -165,44 +165,6 @@ include/ikos/frontend/llvm/pass.hpp
 lib/libikos-ar.so
 lib/libikos-llvm-to-ar.so
 lib/libikos-pp.so
-%%PYTHON_SITELIBDIR%%/ikos-%%PORTVERSION%%-py%%PYTHON_VER%%.egg-info/PKG-INFO
-%%PYTHON_SITELIBDIR%%/ikos-%%PORTVERSION%%-py%%PYTHON_VER%%.egg-info/SOURCES.txt
-%%PYTHON_SITELIBDIR%%/ikos-%%PORTVERSION%%-py%%PYTHON_VER%%.egg-info/dependency_links.txt
-%%PYTHON_SITELIBDIR%%/ikos-%%PORTVERSION%%-py%%PYTHON_VER%%.egg-info/top_level.txt
-%%PYTHON_SITELIBDIR%%/ikos/__init__.py
-%%PYTHON_SITELIBDIR%%/ikos/__pycache__/__init__.cpython-%%PYTHON_SUFFIX%%.pyc
-%%PYTHON_SITELIBDIR%%/ikos/__pycache__/abs_int.cpython-%%PYTHON_SUFFIX%%.pyc
-%%PYTHON_SITELIBDIR%%/ikos/__pycache__/analyzer.cpython-%%PYTHON_SUFFIX%%.pyc
-%%PYTHON_SITELIBDIR%%/ikos/__pycache__/args.cpython-%%PYTHON_SUFFIX%%.pyc
-%%PYTHON_SITELIBDIR%%/ikos/__pycache__/colors.cpython-%%PYTHON_SUFFIX%%.pyc
-%%PYTHON_SITELIBDIR%%/ikos/__pycache__/enums.cpython-%%PYTHON_SUFFIX%%.pyc
-%%PYTHON_SITELIBDIR%%/ikos/__pycache__/filetype.cpython-%%PYTHON_SUFFIX%%.pyc
-%%PYTHON_SITELIBDIR%%/ikos/__pycache__/highlight.cpython-%%PYTHON_SUFFIX%%.pyc
-%%PYTHON_SITELIBDIR%%/ikos/__pycache__/html.cpython-%%PYTHON_SUFFIX%%.pyc
-%%PYTHON_SITELIBDIR%%/ikos/__pycache__/http.cpython-%%PYTHON_SUFFIX%%.pyc
-%%PYTHON_SITELIBDIR%%/ikos/__pycache__/log.cpython-%%PYTHON_SUFFIX%%.pyc
-%%PYTHON_SITELIBDIR%%/ikos/__pycache__/output_db.cpython-%%PYTHON_SUFFIX%%.pyc
-%%PYTHON_SITELIBDIR%%/ikos/__pycache__/report.cpython-%%PYTHON_SUFFIX%%.pyc
-%%PYTHON_SITELIBDIR%%/ikos/__pycache__/scan.cpython-%%PYTHON_SUFFIX%%.pyc
-%%PYTHON_SITELIBDIR%%/ikos/__pycache__/stats.cpython-%%PYTHON_SUFFIX%%.pyc
-%%PYTHON_SITELIBDIR%%/ikos/__pycache__/view.cpython-%%PYTHON_SUFFIX%%.pyc
-%%PYTHON_SITELIBDIR%%/ikos/abs_int.py
-%%PYTHON_SITELIBDIR%%/ikos/analyzer.py
-%%PYTHON_SITELIBDIR%%/ikos/args.py
-%%PYTHON_SITELIBDIR%%/ikos/colors.py
-%%PYTHON_SITELIBDIR%%/ikos/enums.py
-%%PYTHON_SITELIBDIR%%/ikos/filetype.py
-%%PYTHON_SITELIBDIR%%/ikos/highlight.py
-%%PYTHON_SITELIBDIR%%/ikos/html.py
-%%PYTHON_SITELIBDIR%%/ikos/http.py
-%%PYTHON_SITELIBDIR%%/ikos/log.py
-%%PYTHON_SITELIBDIR%%/ikos/output_db.py
-%%PYTHON_SITELIBDIR%%/ikos/report.py
-%%PYTHON_SITELIBDIR%%/ikos/scan.py
-%%PYTHON_SITELIBDIR%%/ikos/settings/__init__.py
-%%PYTHON_SITELIBDIR%%/ikos/settings/__pycache__/__init__.cpython-%%PYTHON_SUFFIX%%.pyc
-%%PYTHON_SITELIBDIR%%/ikos/stats.py
-%%PYTHON_SITELIBDIR%%/ikos/view.py
 %%DATADIR%%/view/static/css/ikos_theme.css
 %%DATADIR%%/view/static/js/ikos_homepage.js
 %%DATADIR%%/view/static/js/ikos_report.js