UQ-PAC opam repository

package list

Installing Packages

opam repository add pac https://github.com/ailrst/opam-repository.git
opam install $pkg_name

Release process

• use dune-release

dune-release uses the CHANGES.md file as the point of truth for the version number. It creates a git tag and GitHub release with the content of the most recent tag in the change-log. It should be formatted something like this example. The repository must also contain a license file. By default dune-release will also try to publish documentation to a gh-pages branch.

1. Fork this repo and clone it into your file-system.
2. Ensure you have a good CHANGES.md and LICENSE file:

dune build            # ensure you have opam files generated
dune-release lint     # ensure repo is well-structured

3. Publish docs and release binary

• This will ask for your github login to create a release, upload the tarball, build and publish docs to github pages, and create a PR into this repository.

dune-release --opam-repo=ailrst/opam-repository

More info: dune-release help

Release without publishing docs

1. Add entry to CHANGES.md, update package version numbers

dune-release lint
dune-release tag
dune-release distrib
dune-release publish distrib
dune-release opam pkg
dune-release opam submit  --opam-repo=ailrst/opam-repository