kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/math/z3/Makefile.common

26 lines
628 B
Text
Raw Normal View History

Remove the references to wip
2018-03-13 01:34:02 +01:00
# $NetBSD: Makefile.common,v 1.2 2018/03/13 00:34:02 khorben Exp $
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@
2018-03-13 01:31:16 +01:00
#
Remove the references to wip
2018-03-13 01:34:02 +01:00
# used by math/z3/Makefile
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@
2018-03-13 01:31:16 +01:00
DISTNAME= z3-4.5.0
GITHUB_TAG= ${DISTNAME}
CATEGORIES= math
MASTER_SITES= ${MASTER_SITE_GITHUB:=Z3Prover/}
Remove the references to wip
2018-03-13 01:34:02 +01:00
DISTINFO_FILE= ${.CURDIR}/../../math/z3/distinfo
PATCHDIR?= ${.CURDIR}/../../math/z3/patches
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@
2018-03-13 01:31:16 +01:00
MAINTAINER= dholland@NetBSD.org
HOMEPAGE= https://github.com/Z3Prover/z3/
LICENSE= mit
WRKSRC= ${WRKDIR}/z3-${DISTNAME}
HAS_CONFIGURE= yes
USE_LANGUAGES= c c++
BUILD_DIRS= build
CONFIGURE_ENV+= PYTHON=${PYTHONBIN}
CONFIGURE_ARGS+= --destdir=${DESTDIR}
CONFIGURE_ARGS+= --prefix=${PREFIX}
.include "../../lang/python/tool.mk"
Reference in a new issue Copy permalink