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

[Thomas Petazzoni]

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

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

commit b27c168599abdea43f179084602f5371d2b1dd7a
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>


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

b27c168599abdea43f179084602f5371d2b1dd7a
 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}