cpet/openbsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add conflict marker for devel/angr/py-z3-solver

Browse Source 
py3-z3-solver already has "@conflict z3-*".

OK jca
This commit is contained in:
kn 2020-03-22 16:01:43 +00:00
parent 438e0f3f52
commit ae914c292c
2 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
math/z3/Makefile
View File

@ -1,4 +1,4 @@
# $OpenBSD: Makefile,v 1.18 2019/10/19 09:42:20 rsadowski Exp $
# $OpenBSD: Makefile,v 1.19 2020/03/22 16:01:43 kn Exp $
COMMENT = Z3 theorem prover
@ -10,6 +10,7 @@ GH_TAGNAME = ${GH_PROJECT}-${VERSION}
DISTNAME = ${GH_TAGNAME}
PKGNAME = ${DISTNAME:L}
REVISION = 0
SHARED_LIBS = z3 2.0 # 4.8

3
math/z3/pkg/PLIST
View File

@ -1,4 +1,5 @@
@comment $OpenBSD: PLIST,v 1.6 2019/10/19 09:42:20 rsadowski Exp $
@comment $OpenBSD: PLIST,v 1.7 2020/03/22 16:01:43 kn Exp $
@conflict py3-z3-solver-*
@bin bin/z3
include/z3++.h
include/z3.h