Date: Wed, 26 Jun 2019 07:45:04 +0000 (UTC) From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r505142 - head/devel/ikos Message-ID: <201906260745.x5Q7j44S073931@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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@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@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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201906260745.x5Q7j44S073931>