[pkgsrc/trunk]: pkgsrc/devel/deepstate deepstate: needs py-smt

[nia <nia%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/f7fbac104071
branches:  trunk
changeset: 456269:f7fbac104071
user:      nia <nia%pkgsrc.org@localhost>
date:      Sat Jul 24 10:44:05 2021 +0000

description:
deepstate: needs py-smt

diffstat:

 devel/deepstate/Makefile |  3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)

diffs (17 lines):

diff -r 70d7b945101e -r f7fbac104071 devel/deepstate/Makefile
--- a/devel/deepstate/Makefile  Sat Jul 24 10:11:13 2021 +0000
+++ b/devel/deepstate/Makefile  Sat Jul 24 10:44:05 2021 +0000
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.3 2020/12/30 12:26:02 nia Exp $
+# $NetBSD: Makefile,v 1.4 2021/07/24 10:44:05 nia Exp $
 
 PKGREVISION=   1
 
@@ -23,6 +23,7 @@
 DEPENDS+=      ${PYPKGPREFIX}-mulpyplexer-[0-9]*:../../devel/py-mulpyplexer
 DEPENDS+=      ${PYPKGPREFIX}-progressbar2-[0-9]*:../../devel/py-progressbar2
 DEPENDS+=      ${PYPKGPREFIX}-rpyc-[0-9]*:../../net/py-rpyc
+DEPENDS+=      ${PYPKGPREFIX}-smt-[0-9]*:../../devel/py-smt
 DEPENDS+=      ${PYPKGPREFIX}-z3solver-[0-9]*:../../math/py-z3solver
 
 PYTHON_VERSIONS_INCOMPATIBLE=  27