From 7f8d4a05e83b1d5e17086a03c1e5e528abe113e9 Mon Sep 17 00:00:00 2001
From: Thibault Martin <thi.martin.pro@pm.me>
Date: Tue, 4 Feb 2025 12:09:24 +0100
Subject: [PATCH] [Userman] Use plugin's shortname for share path
---
doc/developer/advance.tex | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/doc/developer/advance.tex b/doc/developer/advance.tex
index 8c112e4e26..725ff41181 100644
--- a/doc/developer/advance.tex
+++ b/doc/developer/advance.tex
@@ -1028,12 +1028,14 @@ themselves (typically, files in \texttt{share}), you can use an
(install
(package frama-c-myplugin)
(section (site (frama-c share)))
- (files (share/myfile as frama-c-myplugin/myfile)))
+ (files (share/myfile as myplugin-shortname/myfile)))
\end{dunecode}
+{\em Note: Make sure to use the plug-in's shortname in the file path.}
+
With the stanza above, the installation of package \texttt{frama-c-myplugin}
will copy \texttt{myfile} from the \texttt{share} directory
-of the plug-in sources into the \texttt{frama-c-myplugin} directory inside
+of the plug-in sources into the \texttt{myplugin-shortname} directory inside
the \texttt{share} directory of \framac's installation. Other target sections
are available (e.g. \texttt{bin} for installing an additional executable), see
the \texttt{dune}
--
GitLab