[bootlin/training-materials updates] master: Embedded Linux lab: document possible issue compiling libao (671720f9)

[Michael Opdenacker]

Repository : https://github.com/bootlin/training-materials
On branch  : master
Link       : https://github.com/bootlin/training-materials/commit/671720f9d76aaa99f7a6ca0d04f5d6f48028fcbb

>---------------------------------------------------------------

commit 671720f9d76aaa99f7a6ca0d04f5d6f48028fcbb
Author: Michael Opdenacker <michael.opdenacker at bootlin.com>
Date:   Thu May 20 09:44:37 2021 +0200

    Embedded Linux lab: document possible issue compiling libao
    
    Signed-off-by: Michael Opdenacker <michael.opdenacker at bootlin.com>


>---------------------------------------------------------------

671720f9d76aaa99f7a6ca0d04f5d6f48028fcbb
 labs/sysdev-thirdparty/sysdev-thirdparty.tex | 18 ++++++++++++++++--
 1 file changed, 16 insertions(+), 2 deletions(-)

diff --git a/labs/sysdev-thirdparty/sysdev-thirdparty.tex b/labs/sysdev-thirdparty/sysdev-thirdparty.tex
index b25c0f13..5155f5cf 100644
--- a/labs/sysdev-thirdparty/sysdev-thirdparty.tex
+++ b/labs/sysdev-thirdparty/sysdev-thirdparty.tex
@@ -706,8 +706,22 @@ Of course, compile the library:
 
 \bashcmd{$ make}
 
-Installation to the {\em staging} space can be done using the
-classical \code{DESTDIR} mechanism:
+In case you have the \code{libpulse-dev} development package on your
+host, compilation could fail with:
+
+\begin{verbatim}
+ao_pulse.c:35:10: fatal error: pulse/pulseaudio.h: No such file or directory
+   35 | #include <pulse/pulseaudio.h>
+      |          ^~~~~~~~~~~~~~~~~~~~
+compilation terminated.
+\end{verbatim}
+
+This can be addressed by disabling PulsaAudio support, by adding the
+\code{--disable-pulse} configure option (once again, look at
+\code{./configure --help}).
+
+After running \code{make} successfully, installation to the {\em staging}
+space can be done using the classical \code{DESTDIR} mechanism:
 
 \bashcmd{$ make DESTDIR=$HOME/__SESSION_NAME__-labs/thirdparty/staging/ install}