How to Release

Brief summary of the steps:

• Check that the CI passes with the specified versions of Coq and MathComp
• Decide what will be the version of the new release, say 0.9.0, the current version being 0.9.0-git (given that 0.9.0-git < 0.9.0 < 0.9.1-git < 0.9.1, etc.)
• Create a commit in master (without pushing it) that updates the AC_INIT macro to 0.9.0 here and here
• Check that the tooling dedicated to the tarballs generation still work:
  • git clean -dxn .
  • git clean -dxf .
  • cd libvalidsdp && ./autogen.sh && ./configure && make Makefile.coq && make dist && cd dist.*/libvalidsdp-0.9.0 && ./configure && make && make install → creates and tests libvalidsdp-0.9.0.tar.gz
  • cd .. && ./autogen.sh && ./configure && make Makefile.coq && make dist && cd dist.*/validsdp-0.9.0 && ./configure && make → creates and tests validsdp-0.9.0.tar.gz
  • Note: we could add a CI job to test make dist.
  • Compute the sha256 sums of *validsdp-0.9.0.tar.gz
• Create an annotated tag and push master and this tag: git tag -a v0.9.0 -m "Version 0.9.0" && git push origin master && git push origin v0.9.0
• Create a GitHub release for this tag (put the compatible versions of Coq and MathComp in the description)
• Upload the *validsdp-0.9.0.tar.gz generated at previous steps.
• Open a PR in coq-released for coq-libvalidsdp and libvalidsdp, after:
  • removing cd libvalidsdp && ./autogen.sh && and -C libvalidsdp from the opam files to be submitted.
  • removing the dev fields in the .opam files
  • adding url { ⏎ src: "…/libvalidsdp-0.9.0.tar.gz" ⏎ checksum:"sha256=…" ⏎ }
  • replacing = "dev" by = version for coq-libvalidsdp in the coq-validsdp.opam file
• Push a commit in master that updates the AC_INIT macro to 0.9.1-git here and here