devel/ikos: update 3.1 → 3.2

Reported by:	portscout

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

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

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