Hi folks, I'm moving the discussion we had in the Dune subtopic about templates here.
@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
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
maybe we should go this way, but for me
git clone bar... and replacing the required fields is usually good enough
Last updated: Feb 04 2023 at 02:03 UTC