Hi, this is to discuss about how to organize the submodules setup. It is not so trivial actually.
I'm thinking writing a tool in OCaml is the easiest option here
Have you already reviewed if existing tools (like repo: https://source.android.com/docs/setup/download#repo ) could help? But I don't have super-informed opinions
One thing that seems to be common is that these just bump submodules as needed. The issue in coq-universe is that we typically have a set of packages floating on each of the submodules that need to be rebased.
Most of these patches are just additions of dune files to projects
@Paolo Giarrusso , yes, we have an issue with pointers to some existing tools, but I'm unsure they support our workflow well
it is a TODO
I can see two operations:
and eventually track overlay merge into upstream
Last updated: Dec 07 2023 at 04:02 UTC