Emilio Jesús Gallego Arias (Sep 13 2021 at 17:48): Emilio Jesús Gallego Arias (Sep 13 2021 at 17:48):Hi folks, I'm moving the discussion we had in the Dune subtopic about templates here.
Emilio Jesús Gallego Arias (Sep 13 2021 at 17:49):@Karl Palmskog writes on the follow up issue https://github.com/coq-community/templates/issues/105 :
he current configuration templates are very limited by the Mustache language. Théo raised the issue of changing to a more expressive language, but no consensus on what so far. We would need to express complicated relationships between "subprojects" in a repository and so on
Emilio Jesús Gallego Arias (Sep 13 2021 at 17:50):I am not sure we need a super expressive language, for me it is more than a template should have a full project layout. Other systems do provide instead a kind of coq init tool, which will setup a new project
Emilio Jesús Gallego Arias (Sep 13 2021 at 17:50):maybe we should go this way, but for me git clone bar... and replacing the required fields is usually good enough
Last updated: Jun 03 2023 at 18:01 UTC