diff options
Diffstat (limited to 'math/z3/PLIST')
| -rw-r--r-- | math/z3/PLIST | 42 |
1 files changed, 20 insertions, 22 deletions
diff --git a/math/z3/PLIST b/math/z3/PLIST index 866184fe592..3074ed3dcd5 100644 --- a/math/z3/PLIST +++ b/math/z3/PLIST @@ -1,34 +1,32 @@ -@comment $NetBSD: PLIST,v 1.1 2015/11/24 05:45:58 dholland Exp $ +@comment $NetBSD: PLIST,v 1.2 2018/03/13 00:31:16 khorben Exp $ bin/z3 include/z3++.h include/z3.h include/z3_algebraic.h include/z3_api.h +include/z3_ast_containers.h +include/z3_fixedpoint.h include/z3_fpa.h include/z3_interp.h include/z3_macros.h +include/z3_optimization.h include/z3_polynomial.h include/z3_rcf.h include/z3_v1.h lib/libz3.so -${PYSITELIB}/libz3.so -${PYSITELIB}/z3.py -${PYSITELIB}/z3.pyc -${PYSITELIB}/z3consts.py -${PYSITELIB}/z3consts.pyc -${PYSITELIB}/z3core.py -${PYSITELIB}/z3core.pyc -${PYSITELIB}/z3num.py -${PYSITELIB}/z3num.pyc -${PYSITELIB}/z3poly.py -${PYSITELIB}/z3poly.pyc -${PYSITELIB}/z3printer.py -${PYSITELIB}/z3printer.pyc -${PYSITELIB}/z3rcf.py -${PYSITELIB}/z3rcf.pyc -${PYSITELIB}/z3test.py -${PYSITELIB}/z3test.pyc -${PYSITELIB}/z3types.py -${PYSITELIB}/z3types.pyc -${PYSITELIB}/z3util.py -${PYSITELIB}/z3util.pyc +${PLIST.ocaml}lib/ocaml/site-lib/Z3/META +${PLIST.ocaml}lib/ocaml/site-lib/Z3/dllz3ml.so +${PLIST.ocaml}lib/ocaml/site-lib/Z3/libz3ml.a +${PLIST.ocaml}lib/ocaml/site-lib/Z3/z3.cmi +${PLIST.ocaml}lib/ocaml/site-lib/Z3/z3.cmx +${PLIST.ocaml}lib/ocaml/site-lib/Z3/z3.mli +${PLIST.ocaml}lib/ocaml/site-lib/Z3/z3enums.cmi +${PLIST.ocaml}lib/ocaml/site-lib/Z3/z3enums.cmx +${PLIST.ocaml}lib/ocaml/site-lib/Z3/z3enums.mli +${PLIST.ocaml}lib/ocaml/site-lib/Z3/z3ml.a +${PLIST.ocaml}lib/ocaml/site-lib/Z3/z3ml.cma +${PLIST.ocaml}lib/ocaml/site-lib/Z3/z3ml.cmxa +${PLIST.ocaml}lib/ocaml/site-lib/Z3/z3ml.cmxs +${PLIST.ocaml}lib/ocaml/site-lib/Z3/z3native.cmi +${PLIST.ocaml}lib/ocaml/site-lib/Z3/z3native.cmx +${PLIST.ocaml}lib/ocaml/site-lib/Z3/z3native.mli |