Gregg Reynolds
Gregg Reynolds
Evidently warnings like this may not be uncommon: ``` INFO: From native compiling ocaml_module: tezos//src/lib_store:store: findlib: [WARNING] Interface bls12_381.cmi occurs in several directories: /Users/gar/.opam/4.10/lib/bls12-381-unix, /Users/gar/.opam/4.10/lib/bls12-381 ``` The rules currently include...
Currently Bazel may create incorrect new subdirs for transitions, which breaks our transition-based handling of namespaces.
To use digestif both digistif and an implementation (digestif.c or digestif.ocaml) must be listed as deps and they must be in the correct order (implementation last). Currently the ocaml_executable gets...
Currently default w/o build config is to use current switch. If that is less than the minimum supported version we should catch it before compilation commences.
Allow user to indicate tooling requirements, e.g. ocaml-crunch, cppo, etc.
E.g. `findlib: [WARNING] Interface topdirs.cmi occurs in several directories: ...`. Set OCAMLFIND_IGNORE_DUPS_IN ?
In at least one case an OPAM adjunct dep is not getting propagated correctly: mina, //src/lib/mina_metrics:_Mina_metrics Seems to be connected to use of a non-opam module (logproc_lib) to provide code...
A non-namespaced module that depends on a namespaced module must -open the ns. Automate this by extracting the ns_env dependency from the namespaced dependency.
Identify cases where they do not need to be listed. Re-evaluate get_all_deps, it's pretty weak.
synonyms for ocaml_module, ocaml_interface. attribute `sig` instead of `intf`