35 lines
1.1 KiB
Text
35 lines
1.1 KiB
Text
@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
|