8000 OCaml bindings don't install with cmake build system · Issue #7684 · Z3Prover/z3 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
OCaml bindings don't install with cmake build system #7684
New issue
New issue
Open
Open
OCaml bindings don't install with cmake build system#7684
Labels
build/releasebuild and release scripts and process
@numinit

Description

@numinit
numinit
opened on Jun 15, 2025

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: NixOS/nixpkgs#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?

Metadata

Metadata

Assignees

No one assigned

    Labels

    build/releasebuild and release scripts and process

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions
      0