blob: b539d4bd7435618093b3940d71a26016fd0e194d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
# $NetBSD: Makefile,v 1.6 2022/01/05 15:41:15 wiz Exp $
DISTNAME= z3-solver-4.8.9.0
PKGNAME= ${PYPKGPREFIX}-z3solver-4.8.9.0
PKGREVISION= 2
CATEGORIES= math
MASTER_SITES= ${MASTER_SITE_PYPI:=z/z3-solver/}
MAINTAINER= khorben@defora.org
HOMEPAGE= https://pypi.python.org/pypi/z3-solver/
COMMENT= Theorem prover from Microsoft Research
LICENSE= mit
USE_LANGUAGES= c c++
USE_PKG_RESOURCES= yes
CONFLICTS+= z3-[0-9]*
.include "../../lang/python/egg.mk"
.include "../../mk/bsd.pkg.mk"
|