From 4faf3c607f4718555757df1662eff47943d17623 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Tue, 30 Nov 2021 19:56:32 +0100
Subject: [PATCH] [relman] use docker to test the release

---
 doc/release/build.tex | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/doc/release/build.tex b/doc/release/build.tex
index ba72e13b52b..72bf61a1a97 100644
--- a/doc/release/build.tex
+++ b/doc/release/build.tex
@@ -334,8 +334,20 @@ Please check that the distribution (sources and API) is OK:
   \texttt{/home/user/git/frama-c}. It should appear nowhere in the archive.
 \item check that \texttt{./configure \&\& make -j \&\& sudo make install} works fine
   (or check e.g. \texttt{./configure --prefix=\$PWD/build \&\& make -j \&\& make install});
+\item Alternatively, you can use \texttt{docker} to compile the archive against a
+  precise configuration:
+  \begin{itemize}
+    \item \verb+cp distributed/frama-c-<VERSION>.tar.gz developer_tools/docker+
+    \item \verb+cd developer_tools/docker+
+    \item \verb+make Dockerfile.dev+
+    \item \verb+docker build . -t framac/frama-c:dev --target frama-c-gui-slim \+\\
+          \verb+  -f Dockerfile.dev --build-arg=from_archive=frama-c-<VERSION>.tar.gz+
+    \end{itemize}
 \item test the installed binaries (especially the GUI). (On Linux, OCI tests
-  everything but the GUI);
+  everything but the GUI); If you've taken the \texttt{docker} route, you might
+  want to install the \href{https://github.com/mviereck/x11docker}{\texttt{x11docker}} script,
+  in order to be able to launch
+  \verb+x11docker framac/frama-c:dev frama-c-gui+
 \item redo the two steps above on Windows/WSL \expertise{André}\expertise{Allan},
   macOS \expertise{André}\expertise{Loïc}\\\expertise{Thibaud};
   \begin{itemize}
-- 
GitLab