diff options
| author | khorben <khorben@pkgsrc.org> | 2018-03-13 00:31:16 +0000 |
|---|---|---|
| committer | khorben <khorben@pkgsrc.org> | 2018-03-13 00:31:16 +0000 |
| commit | 699cc6526eb6d2ff217e1135eb2d298bc901d637 (patch) | |
| tree | ff582a8033ff466e0fb387f342143d33eff72162 /math/z3/Makefile | |
| parent | cd0ee844db7487ce7824b6dd20cd8962787c7150 (diff) | |
| download | pkgsrc-699cc6526eb6d2ff217e1135eb2d298bc901d637.tar.gz | |
Update math/z3 to version 4.5.0
From the release notes:
New features:
- New theories of strings and sequences.
- Incremental consequence finder for finite domains.
- CMake build system (thanks @delcypher).
- Updated and improved OCaml API (thanks @martin-neuhaeusser).
- Updated and improved Java API (thanks @cheshire).
- New resource limit facilities to avoid non-deterministic timeout behaviour.
- New bit-vector simplification and ackermannization tactics (thanks @MikolasJanota, @nunoplopes).
- QSAT: a new solver for quantified arithmetic problems. See:
Bjorner, Janota: Playing with Quantified Satisfaction, LPAR 2016.
A multitude of bugs has been fixed.
I am about to commit a separate package for the Python bindings.
Coordinated with dholland@
Diffstat (limited to 'math/z3/Makefile')
| -rw-r--r-- | math/z3/Makefile | 27 |
1 files changed, 2 insertions, 25 deletions
diff --git a/math/z3/Makefile b/math/z3/Makefile index 7aad1438af4..afe8928e34e 100644 --- a/math/z3/Makefile +++ b/math/z3/Makefile @@ -1,32 +1,9 @@ -# $NetBSD: Makefile,v 1.7 2018/02/27 08:34:16 wiz Exp $ +# $NetBSD: Makefile,v 1.8 2018/03/13 00:31:16 khorben Exp $ -DISTNAME= z3-4.4.1 -GITHUB_TAG= ${DISTNAME} -PKGREVISION= 5 -CATEGORIES= math -MASTER_SITES= ${MASTER_SITE_GITHUB:=Z3Prover/} -PATCHFILES+= z3-jumbo-patch-20151123.gz -SITES.z3-jumbo-patch-20151123.gz=\ - http://www.NetBSD.org/~dholland/patchkits/z3/ -PATCH_DIST_STRIP= -p1 +.include "Makefile.common" -MAINTAINER= dholland@NetBSD.org -HOMEPAGE= https://github.com/Z3Prover/z3/ COMMENT= The Z3 theorem prover / SMT solver -LICENSE= mit - -WRKSRC= ${WRKDIR}/z3-${DISTNAME} -HAS_CONFIGURE= yes -USE_LANGUAGES= c c++ -BUILD_DIRS= build -PY_PATCHPLIST= yes - -PYTHON_VERSIONS_ACCEPTED= 27 - -CONFIGURE_ENV+= PYTHON=${PYTHONBIN} -CONFIGURE_ARGS+= --destdir=${DESTDIR} --prefix=${PREFIX} .include "options.mk" -.include "../../lang/python/extension.mk" .include "../../mk/bsd.pkg.mk" |