[pkgsrc/trunk]: pkgsrc/devel/deepstate deepstate: no longer download files du...

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

details:   https://anonhg.NetBSD.org/pkgsrc/rev/6970d8805b03
branches:  trunk
changeset: 391428:6970d8805b03
user:      khorben <khorben%pkgsrc.org@localhost>
date:      Mon Jan 09 06:52:52 2023 +0000

description:
deepstate: no longer download files during the build

With the update of math/py-smt to version 0.9.5, this package should no
longer download components past the "fetch" phase.

Bump PKGREVISION in the process.

Fixes pkg/56374.

diffstat:

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

diffs (28 lines):

diff -r e054c6aec9c6 -r 6970d8805b03 devel/deepstate/Makefile
--- a/devel/deepstate/Makefile  Mon Jan 09 06:49:23 2023 +0000
+++ b/devel/deepstate/Makefile  Mon Jan 09 06:52:52 2023 +0000
@@ -1,13 +1,11 @@
-# $NetBSD: Makefile,v 1.9 2022/11/14 14:34:48 wiz Exp $
+# $NetBSD: Makefile,v 1.10 2023/01/09 06:52:52 khorben Exp $
 
-PKGREVISION=   3
+PKGREVISION=   4
 
 USE_LANGUAGES= c99 c++
 USE_CMAKE=     yes
 AUTO_MKDIRS=   yes
 
-BROKEN+=       "Attempts to download files during install, PR pkg/56374"
-
 DEPENDS+=      ${PYPKGPREFIX}-angr-[0-9]*:../../devel/py-angr
 DEPENDS+=      ${PYPKGPREFIX}-cachetools-[0-9]*:../../devel/py-cachetools
 DEPENDS+=      ${PYPKGPREFIX}-cparser-[0-9]*:../../devel/py-cparser
@@ -25,7 +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]*:../../math/py-smt
+DEPENDS+=      ${PYPKGPREFIX}-smt>=0.9.5:../../math/py-smt
 DEPENDS+=      ${PYPKGPREFIX}-toolz>=0.9.1:../../devel/py-toolz
 DEPENDS+=      ${PYPKGPREFIX}-z3solver-[0-9]*:../../math/py-z3solver