Stream: Coq Universe

Topic: Submodules


view this post on Zulip 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.

view this post on Zulip Ali Caglayan (Sep 28 2022 at 12:36):

I'm thinking writing a tool in OCaml is the easiest option here

view this post on Zulip 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

view this post on Zulip 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.

view this post on Zulip Ali Caglayan (Sep 28 2022 at 17:16):

Most of these patches are just additions of dune files to projects

view this post on Zulip 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

view this post on Zulip Emilio Jesús Gallego Arias (Sep 28 2022 at 19:43):

it is a TODO

view this post on Zulip Emilio Jesús Gallego Arias (Sep 28 2022 at 19:44):

I can see two operations:

view this post on Zulip 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