|
|
First, create a std++ release. The process is nearly the same except you should skip this step to avoid infinite recursion.
|
|
|
|
|
|
- [ ] Determine the next version number by looking at `git tag --list`. We typically bump the minor version number for a release (even though nearly all releases include both new features and some backwards-incompatible changes).
|
|
|
- [ ] Determine the next version number by looking at `git tag --list`. We typically bump the minor version number for a release (even though nearly all releases include both new features and some backwards-incompatible changes); for "tiny" releases we only bump the patch number.
|
|
|
- [ ] Create a PR that adjusts the CHANGELOG.
|
|
|
- [ ] Rename the "Iris master" section to something like "Iris 3.4.0 (released 2021-02-16)", following the pattern from earlier releases.
|
|
|
- [ ] Mention changes in Coq version support. You can find out what versions of Coq are supported by looking at what's tested in [.gitlab-ci.yml](https://gitlab.mpi-sws.org/iris/iris/-/blob/master/.gitlab-ci.yml).
|
|
|
- [ ] For Iris (but not for std++), we like to highlight some new features by copying their notes to the top of the section - just use your judgment to decide what's worth highlighting.
|
|
|
- [ ] For Iris, we like to highlight some new features by copying their notes to the top of the section - just use your judgment to decide what's worth highlighting. (We haven't done this for std++ in the past but if someone wants to pick highlights there, go for it!)
|
|
|
- [ ] Add the list of contributors since the last release. You can get this list with a command like `git shortlog --summary iris-3.4.0..HEAD` (which gets commits since the iris-3.4.0 tag). We list contributors in alphabetical order by first name.
|
|
|
- [ ] (for a maintainer) Once the PR lands, create a git tag.
|
|
|
- [ ] Submit a PR to https://github.com/coq/opam-coq-archive/ for the new version.
|
|
|
- [ ] (for a maintainer) Once the PR lands, create a git tag. (See `git tag` output for the tag naming scheme.)
|
|
|
- [ ] Submit a PR to https://github.com/coq/opam-coq-archive/ for the new opam packages.
|
|
|
- Clone that repository.
|
|
|
- `cd` to `released/packages/coq-stdpp`, create a new subfolder `coq-stdpp.$VERSION`.
|
|
|
- Copy the `coq-stdpp.opam` file from the std++ repo into that folder, rename it to `opam`, and edit it: remove the `version:` line, and add a new section at the end (substituting the appropriate tag and checksum):
|
|
|
```
|
|
|
url {
|
|
|
src:
|
|
|
"https://gitlab.mpi-sws.org/iris/stdpp/-/archive/$TAG.tar.gz"
|
|
|
checksum:
|
|
|
"sha512=$CHECKSUM"
|
|
|
}
|
|
|
```
|
|
|
- `cd` to `released/packages/coq-iris`, create a new subfolder `coq-iris.$VERSION`.
|
|
|
- Copy the `coq-iris.opam` file from the Iris repo into that folder, rename it to `opam`, and edit it: remove the `version:` line, adjust the `coq-stdpp` dependency to use the version you just created, and add a new section at the end (substituting the appropriate tag and checksum):
|
|
|
```
|
|
|
url {
|
|
|
src:
|
|
|
"https://gitlab.mpi-sws.org/iris/iris/-/archive/$TAG.tar.gz"
|
|
|
checksum:
|
|
|
"sha512=$CHECKSUM"
|
|
|
}
|
|
|
```
|
|
|
- `cd` to `released/packages/coq-iris-heap-lang`, create a new subfolder `coq-iris-heap-lang.$VERSION`.
|
|
|
- Copy the `coq-iris-heap-lang.opam` file from the Iris repo into that folder, rename it to `opam`, and edit it: remove the `version:` line, and add a new section at the end identical to the one in the `coq-iris` package.
|
|
|
- `git add` and `git commit` your changes.
|
|
|
- `opam repo add` this repo and test that the new versions build.
|
|
|
- [ ] Announce the new release (for Iris and std++ together) on the [Coq Discourse](https://coq.discourse.group/c/announcements/8). The announcement usually has the highlights from the Iris CHANGELOG.
|
|
|
- [ ] Announce the new release (for Iris and std++ together) on coq-club@inria.fr, identical to the one on the Discourse.
|
|
|
- [ ] let Ralf do the rest?
|
|
|
- [ ] ???
|
|
|
- [ ] profit! |
|
|
\ No newline at end of file |
|
|
- [ ] Announce the new release (for Iris and std++ together) on coq-club@inria.fr, iris-club@lists.mpi-sws.org. The announcement usually has the highlights from the Iris CHANGELOG. If you feel like it, you can also put the announcement on https://coq.discourse.group. |
|
|
\ No newline at end of file |