mirror of
https://github.com/Z3Prover/z3
synced 2026-02-20 07:24:40 +00:00
c2efd3dc6d
* fix: add generating META for ocamlfind. * Patch macos. We need to keep the `@rpath` and use environment var to enable the test because we need to leave it to be fixed by package managers. * Trigger CI. * Debug. * Debug. * Debug. * Debug. * Debug. * Debug. * Hacky fix for ocaml building warning. * Fix typo and rename variables.
11 lines
370 B
Text
11 lines
370 B
Text
# META file for the "z3" package:
|
|
version = "@Z3_VERSION_STRING@"
|
|
description = "Z3 Theorem Prover (OCaml API)"
|
|
requires = "zarith threads"
|
|
archive(byte) = "z3ml.cma"
|
|
archive(native) = "z3ml.cmxa"
|
|
archive(byte,plugin) = "z3ml.cma"
|
|
archive(native,plugin) = "z3ml.cmxs"
|
|
archive(byte,toploop) = "z3ml.cma"
|
|
archive(native,toploop) = "z3ml.cmxa"
|
|
linkopts = "-cclib -lstdc++"
|