diff --git a/doc/developer/advance.tex b/doc/developer/advance.tex index 459e80d888a46cb31fd9c2fbb05cf238377adce0..43d2fda3d05617714a0a8784129f9c8d232f32d5 100644 --- a/doc/developer/advance.tex +++ b/doc/developer/advance.tex @@ -199,7 +199,16 @@ on the configuration of new libraries. This is done by calling a predefined macro called \texttt{configure\_library}\scodeidxdef{configure.in}{configure\_library}\scodeidxdef{configure.in}{configure\_tools}\footnote{For tools, there is a macro \texttt{configure\_tool} which works in the - same way as \texttt{configure\_library}.}. + same way as \texttt{configure\_library}.}, or its more specialized version +\texttt{configure\_pkg}\scodeidxdef{configure.in}{configure\_pkg}. + +\texttt{configure\_pkg} is meant to be used for checking the presence of +OCaml libraries that are managed as +\texttt{findlib}\footnote{\url{http://projects.camlcity.org/projects/findlib.html}} +packages, which is the case for most modern OCaml libraries nowadays. +It takes two arguments, the name of the package (as known by \texttt{findlib}), +and a message that will be displayed if the package is not found. + The \texttt{configure\_library} macro takes three arguments. The first one is the (uppercase) name of the library, the second one is a filename which is used by the script to check the availability of the library. diff --git a/doc/developer/changes.tex b/doc/developer/changes.tex index ba27c451541a528ed4f92ed3065cc70aa2008872..c798e1cde665a3897d0b800e4bff5a455fbab75e 100644 --- a/doc/developer/changes.tex +++ b/doc/developer/changes.tex @@ -5,6 +5,11 @@ This chapter summarizes the major changes in this documentation between each \framac release, from newest to oldest. +\section*{21.0 Scandium} +\begin{itemize} +\item \textbf{Configure}: Documentation of \texttt{configure\_pkg} macro. +\end{itemize} + \section*{20.0 Calcium} \begin{itemize} \item \textbf{Ptests}: Documentation of the new directive \texttt{MODULE}.