ff87f525e7
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@
22 lines
503 B
Makefile
22 lines
503 B
Makefile
# $NetBSD: options.mk,v 1.3 2018/03/13 00:31:16 khorben Exp $
|
|
|
|
PKG_OPTIONS_VAR= PKG_OPTIONS.z3
|
|
PKG_SUPPORTED_OPTIONS= ocaml java
|
|
PKG_SUGGESTED_OPTIONS= ocaml
|
|
|
|
.include "../../mk/bsd.options.mk"
|
|
|
|
PLIST_VARS+= ocaml
|
|
.if !empty(PKG_OPTIONS:Mocaml)
|
|
CONFIGURE_ARGS+= --ml
|
|
.include "../../math/ocaml-num/buildlink3.mk"
|
|
.include "../../lang/ocaml/buildlink3.mk"
|
|
PLIST.ocaml= yes
|
|
.endif
|
|
|
|
.if !empty(PKG_OPTIONS:Mjava)
|
|
# XXX untested
|
|
USE_JAVA= yes
|
|
CONFIGURE_ARGS+= --java
|
|
.include "../../mk/java-vm.mk"
|
|
.endif
|