From 331a8d80b5d6414e54dc58c9f132ded217f5dd93 Mon Sep 17 00:00:00 2001
From: Thibault Martin <thi.martin.pro@pm.me>
Date: Wed, 15 May 2024 10:45:14 +0200
Subject: [PATCH] [doc] Add a section for external plugins
---
doc/release/branch.tex | 21 +++++++++++++++++++++
1 file changed, 21 insertions(+)
diff --git a/doc/release/branch.tex b/doc/release/branch.tex
index 22b588614a..e89ab6593f 100644
--- a/doc/release/branch.tex
+++ b/doc/release/branch.tex
@@ -106,6 +106,27 @@ This will:
Commit this change and push.
+\section{External plugins}
+
+List of external plugins repo names:
+\begin{itemize}
+ \item ACSL-importer
+ \item Caveat-importer
+ \item Cfp
+ \item frama-clang
+ \item GenAssigns
+ \item Meta
+ \item Mthread
+ \item PathCrawler
+ \item Security
+ \item Volatile
+\end{itemize}
+For each one of them, check that versions in the \texttt{dune-project} files are
+coherent with \FramaC's new release. If not, update them and run \verb+make+ to
+generate the new opam file. Create a new branch, commit and push. Create a merge
+request targetting \texttt{stable/copper} on each plugin and assign your co-rm.
+This changes will need to be merged on master's branches later.
+
\section{Copyright}
Check that the date in copyright headers is correct. If not then:
--
GitLab