I am trying to use meta.yml
following https://github.com/coq-community/templates.
I have installed mustache (version 3.1) and the templates under $TEMPLATES
but when I am running
mustache meta.yml $TEMPLATES/README.md.mustache
for the meta.yml
from https://github.com/coq-community/gaia
it echoes the file and I am getting an error
Fatal error: exception Ezjsonm.Parse_error(870828711, "JSON.of_buffer illegal number (---)")
What am I doing wrong?
it looks like your mustache
program doesn't support the yml
fragment we are using. Which mustache
are you using? We know the Ruby one or the Go one (available from Nix) works.
I did opam install mustache
unfortunately, that mustache
isn't YAML compatible:
We suggest you rely on a YAML-compatible mustache implementation such as ruby-mustache (available for instance as an Ubuntu or Debian package) or mustache-go (available as a Nix package).
woulld be good to say not to use the one from opam ;-)
OK, I will add to the README. To be honest I didn't know opam install mustache
even worked...
done: https://github.com/coq-community/templates#templates-for-coq-projects-in-coq-community-and-elsewhere
Perfect. I have installed rubygem-mustache and it works. Thanks @Karl Palmskog
@Laurent Théry just to flag up, I deviated a bit in Gaia from generating all boilerplate automatically using mustache meta.yml ...
. The meta.yml
file has dune: true
, but the current README is actually generated with dune: false
since Dune is not a strict dependency (make
works just as well)
we hope to have things fully automatic in the near future, but the big problem right now is that we can't support monorepos...
Laurent Théry has marked this topic as resolved.
Last updated: Oct 13 2024 at 01:02 UTC