diff options
| author | David Shah <dave@ds0.me> | 2020-07-27 13:50:42 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-27 13:50:42 +0100 |
| commit | b39a2a502065ec1407417ffacdac2154385bf80f (patch) | |
| tree | 3349c93ac87f5758009c53b3e2eb5b9a130cd0d6 /3rdparty/pybind11/docs/release.rst | |
| parent | e6991ad5dc79f6118838f091cc05f10d3377eb4a (diff) | |
| parent | fe398ab983aee9283f61c288dc98d94542c30332 (diff) | |
| download | nextpnr-b39a2a502065ec1407417ffacdac2154385bf80f.tar.gz nextpnr-b39a2a502065ec1407417ffacdac2154385bf80f.tar.bz2 nextpnr-b39a2a502065ec1407417ffacdac2154385bf80f.zip | |
Merge pull request #477 from YosysHQ/pybind11
Move to pybind11
Diffstat (limited to '3rdparty/pybind11/docs/release.rst')
| -rw-r--r-- | 3rdparty/pybind11/docs/release.rst | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/3rdparty/pybind11/docs/release.rst b/3rdparty/pybind11/docs/release.rst new file mode 100644 index 00000000..9846f971 --- /dev/null +++ b/3rdparty/pybind11/docs/release.rst @@ -0,0 +1,21 @@ +To release a new version of pybind11: + +- Update the version number and push to pypi + - Update ``pybind11/_version.py`` (set release version, remove 'dev'). + - Update ``PYBIND11_VERSION_MAJOR`` etc. in ``include/pybind11/detail/common.h``. + - Ensure that all the information in ``setup.py`` is up-to-date. + - Update version in ``docs/conf.py``. + - Tag release date in ``docs/changelog.rst``. + - ``git add`` and ``git commit``. + - if new minor version: ``git checkout -b vX.Y``, ``git push -u origin vX.Y`` + - ``git tag -a vX.Y.Z -m 'vX.Y.Z release'``. + - ``git push`` + - ``git push --tags``. + - ``python setup.py sdist upload``. + - ``python setup.py bdist_wheel upload``. +- Get back to work + - Update ``_version.py`` (add 'dev' and increment minor). + - Update version in ``docs/conf.py`` + - Update version macros in ``include/pybind11/common.h`` + - ``git add`` and ``git commit``. + ``git push`` |