Gregg Reynolds

Some tools need only a `.cmt/.cmti` file. In such cases there is no need for full compilation.

`vm_runtime` is a label attr of ocaml_library defaulting to "@rules_ocaml//cfg/runtime:dynamic", but it's actual function is to setting a linking policy for cc deps. On linux, `cc_library` may produce both a...

The fact that profiles are implemented as toolchains is an implementation detail, so remove "toolchain" from the relevant names. E.g. rename `@opam.ocamlsdk//toolchain/profiles` to something like `@opam.ocamlsdk//profile/selectors` so we get ```...

* Distinguish between compilation and linkage options. * fix precedence: * cmdline opts, e.g. `@rules_ocaml//cfg:xmo` over * target opts over * profile opts over * toolchain opts over * global...

Currently if an Obazl module depends on a cc lib, it is propagated as a CcInfo provider. This turns out to be the wrong strategy, because it makes OCaml targets...

Currently the ocaml toolchain is not arch/os sensitive. But since the OCaml linker calls the system linker, this can be a problem. Case in point: the dreaded link version mismatch...

Users may want to use system-installed libs. We need a bazelish way to support this. One possibility is [bazel_pkg_config](https://github.com/cherrry/bazel_pkg_config), although it looks to be moribund. A better way might be...

Ongoing.

With context-sensitive archiving we do not need separate implementations.

This will require some reworking of dependency management, including changes to providers. cc_library currently can include other libraries in its manifest, archived or not. But a problem arises when lib...