CVS commit: pkgsrc/devel/deepstate

["Pierre Pronchery" <khorben%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   khorben
Date:           Mon Jan  9 06:52:52 UTC 2023

Modified Files:
        pkgsrc/devel/deepstate: Makefile

Log Message:
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.


To generate a diff of this commit:
cvs rdiff -u -r1.9 -r1.10 pkgsrc/devel/deepstate/Makefile

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: pkgsrc/devel/deepstate/Makefile
diff -u pkgsrc/devel/deepstate/Makefile:1.9 pkgsrc/devel/deepstate/Makefile:1.10
--- pkgsrc/devel/deepstate/Makefile:1.9 Mon Nov 14 14:34:48 2022
+++ pkgsrc/devel/deepstate/Makefile     Mon Jan  9 06:52:52 2023
@@ -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}-dpkt-[0-9]*:../
 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