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?