Emilio Jesús Gallego Arias (Sep 27 2022 at 18:47): Emilio Jesús Gallego Arias (Sep 27 2022 at 18:47):Hi, this is to discuss about how to organize the submodules setup. It is not so trivial actually.
Ali Caglayan (Sep 28 2022 at 12:36):I'm thinking writing a tool in OCaml is the easiest option here
Paolo Giarrusso (Sep 28 2022 at 16:29):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
Ali Caglayan (Sep 28 2022 at 17:15):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.
Ali Caglayan (Sep 28 2022 at 17:16):Most of these patches are just additions of dune files to projects
Emilio Jesús Gallego Arias (Sep 28 2022 at 19:43):@Paolo Giarrusso , yes, we have an issue with pointers to some existing tools, but I'm unsure they support our workflow well
Emilio Jesús Gallego Arias (Sep 28 2022 at 19:43):it is a TODO
Emilio Jesús Gallego Arias (Sep 28 2022 at 19:44):I can see two operations:
Emilio Jesús Gallego Arias (Sep 28 2022 at 19:44):and eventually track overlay merge into upstream
Last updated: Dec 07 2023 at 04:02 UTC