search

coq-community / reduction-effects

A Coq plugin to add reduction side effects to some Coq reduction strategies [maintainers=@liyishuai,@JasonGross]
Mozilla Public License 2.0
6 stars 6 forks source link

Add minimal meta.yml file and generated README.md. #3

Closed Zimmi48 closed 5 years ago

Zimmi48 commented 5 years ago

This reuses the template from https://github.com/coq-community/manifesto/tree/master/templates to generate the README from a minimal meta.yml file. Note that you also have templates in there to generate an opam file (with slight differences from the one you added) and a .travis.yml which allows to test a Coq project using either opam or Nix without having to rebuild Coq.

The Travis badge is showing "build: unknown" because Travis hasn't figured yet the transfer of the repository.

liyishuai commented 5 years ago

The OPAM and CI templates look promising. I'll switch to the templates after they support run-test: https://github.com/coq-community/reduction-effects/blob/488ad85418dd1e798f4796d0e9111dcc3ed75cba/coq-reduction-effects.opam#L15

liyishuai commented 5 years ago

We might need to activate CI manually per https://github.com/travis-ci/travis-ci/issues/6602#issuecomment-247029548

Zimmi48 commented 5 years ago

I got tired of manually working around this kind of issues, so I first reported a bug to GitHub, and they have fixed it, but apparently that was not enough for Travis (or they had specific problems yesterday). Anyway, I sent another e-mail to Travis yesterday. I'll leave them a few days to answer before manually working around the issue.

Zimmi48 commented 5 years ago

So they said that they are aware of the problem but it still has to be manually worked around. So I've just done this and a build is in progress at https://travis-ci.com/coq-community/reduction-effects.