Skip to content
Snippets Groups Projects
Commit 7351b4b6 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[doc/release] optional step to check locally the validity of opam package

parent 0d24ae37
No related branches found
No related tags found
No related merge requests found
...@@ -166,6 +166,15 @@ url { ...@@ -166,6 +166,15 @@ url {
\end{verbatim} \end{verbatim}
You can provide \verb|sha256| and/or \verb|sha512| checksums as well if You can provide \verb|sha256| and/or \verb|sha512| checksums as well if
you wish. you wish.
\item (optional) Check locally that everything is fine:
\begin{verbatim}
opam switch create local <some-ocaml-compiler-version>
opam repository add local <path-to-repository-clone>
opam repository set-repos local
opam install frama-c
\end{verbatim}
(of course, if you already create a local switch before and it uses your
local version of the repository, you just have to switch to it).
\item Create a branch with any name you want (e.g. frama-c.<version>) and push it to your remote Github \item Create a branch with any name you want (e.g. frama-c.<version>) and push it to your remote Github
\item Create a pull request to opam-repository. If all tests pass, \item Create a pull request to opam-repository. If all tests pass,
someone from opam should merge it for you. someone from opam should merge it for you.
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment