cppZ3Prover/z3 #7684Not a task: not reproduced

OCaml bindings don't install with cmake build system

envgap__Z3Prover__z3-7684

Original GitHub issue ↗Dated source checkout ↗Opened 2025-06-15

01 / FAILURE SIGNATURE

As reported upstream

No identifying execution failure has been captured.

Not a benchmark task.

In a clean container the reported failure did not reproduce, or the known fix did not make the project run.

02 / ENVIRONMENT RECIPE

Base commit: bc4585e0ba5b1041f301b0c16ba652645729e796
Manifest: src/api/ml/CMakeLists.txt
Reproduce: Awaiting issue-specific recipe
Run under trace: Awaiting a meaningful runtime command

03 / ORIGINAL ISSUE TEXT

Z3Prover/z3 #7684 · read the original issue

Hi there,

We recently switched in nixpkgs to the CMake based build system, since we began having downstream dependencies of Z3 that required having CMake files installed: https://github.com/NixOS/nixpkgs/pull/415966 

All the bindings install but the ocaml ones. If we set Z3_BUILD_OCAML_BINDINGS, the output doesn't get installed: see the comment here. https://github.com/NixOS/nixpkgs/pull/415966/files#diff-884ce4cd3f3d3b74237b65e09677782996be7b3f9d6437b71717f7c1ba5de3e7R90

Is this a currently known limitation of the CMake build, or a bug?

Continue on GitHub ↗

04 / LABELS

Labels from the report text only; not yet run

No supported category has been assigned.

Label rules and the text that matched

[]