svn commit: r505142 - head/devel/ikos

[Yuri Victorovich]

Author: yuri
Date: Wed Jun 26 07:45:03 2019
New Revision: 505142
URL: https://svnweb.freebsd.org/changeset/ports/505142

Log:
  devel/ikos: Add sqlite3 to RUN_DEPENDS
  
  The ikos.analyzer module requires sqlite3.
  
  PR:		238818
  Submitted by:	Julien Nadeau <vedge at hypertriton.com>

Modified:
  head/devel/ikos/Makefile

Modified: head/devel/ikos/Makefile
==============================================================================
--- head/devel/ikos/Makefile	Wed Jun 26 05:25:08 2019	(r505141)
+++ head/devel/ikos/Makefile	Wed Jun 26 07:45:03 2019	(r505142)
@@ -4,7 +4,7 @@ PORTNAME=	ikos
 DISTVERSIONPREFIX=	v
 DISTVERSION=	2.1-152
 DISTVERSIONSUFFIX=	-gbf4ac4a
-PORTREVISION=	1
+PORTREVISION=	2
 CATEGORIES=	devel
 
 MAINTAINER=	yuri at FreeBSD.org
@@ -19,6 +19,7 @@ LIB_DEPENDS=	libapron.so:math/apron \
 		libmpfr.so:math/mpfr \
 		libgmp.so:math/gmp \
 		libppl.so:devel/ppl
+RUN_DEPENDS=	${PYTHON_PKGNAMEPREFIX}sqlite3>0:databases/py-sqlite3@${PY_FLAVOR}
 
 USES=		cmake ncurses python sqlite
 USE_PYTHON=	py3kplist