blob: 0b26aaec93654ad359b8a22e98f5a31f1700b5fc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
@comment $NetBSD: PLIST,v 1.4 2022/05/13 10:41:38 jperkin 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_macros.h
include/z3_optimization.h
include/z3_polynomial.h
include/z3_rcf.h
include/z3_spacer.h
include/z3_v1.h
include/z3_version.h
${PLIST.java}lib/com.microsoft.z3.jar
lib/libz3.so
${PLIST.java}lib/libz3java.so
${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
|
