/satyrographos-repo

Custom OPAM repository for SATySFi libraries managed by Satyrographos

Primary LanguageOCaml

Satyrographos Repo

Build Status

This is a custom OPAM repository for Satyrographos, a package manager for SATySFi.

You can add this repository into your OPAM by running the following command.

# This repository depends on containts in satysfi-external repo
opam repository add satysfi-external https://github.com/gfngfn/satysfi-external-repo.git
opam repository add satyrographos https://github.com/na4zagin3/satyrographos-repo.git

Contributing

We welcome contributions! If you notice a problem of packaging, then send a PR or write an issue here. If it's a problem of the content of package itself, then refer to its repository.

To submit a PR for your project in GitHub, run the following command in your repository.

git tag -a <version> # For example, git tag -a v0.1
git push origin <version>
opam publish --repo=na4zagin3/satyrographos-repo

Maintainers may ask contributors to add packages to satyrographos-repo-test-develop.opam and satyrographos-repo-test-stable.opam for automation tests.

Development version

We have develop branch which has development versions, especially SATySFi. Execute the following command to use them.

# This repository depends on containts in satysfi-external repo
opam repository add satyrographos-develop https://github.com/na4zagin3/satyrographos-repo.git#develop

To submit a PR to devel branch, specify -b option.

opam publish --repo=na4zagin3/satyrographos-repo -b develop

Reference