libpulse symbols beginning by pa_ not found while linking fb_sdl (newbie)

[Paul Dufresne]

Hi, I am new to Genode and love it (particularly the release notes!).

I am having a problem linking fb_sdl with while compiling Genode 12.11
on LuninuxOS (based on Ubuntu Quantal) 64 bits:
paul at ...162...:~/Bureau/Genode/genode-12.11/build.lx$ make
run/demousing run script
/home/paul/Bureau/Genode/genode-12.11/base-linux/run/env
using run script /home/paul/Bureau/Genode/genode-12.11/os/run/demo.run
building targets:  core init drivers/timer server/nitpicker
server/liquid_framebuffer app/launchpad app/scout test/nitpicker
server/nitlog drivers/framebuffer drivers/pci drivers/input

spawn make core init drivers/timer server/nitpicker
server/liquid_framebuffer app/launchpad app/scout test/nitpicker
server/nitlog drivers/framebuffer drivers/pci drivers/input
make[1]: Entering directory `/home/paul/Bureau/Genode/genode-12.11/build.lx'
checking library dependencies...
Skip target drivers/framebuffer/fiasco_ux because it requires fiasco
Skip target drivers/framebuffer/omap4 because it requires omap4
Skip target drivers/framebuffer/pl11x/pbxa9 because it requires pl11x
platform_pbxa9
Skip target drivers/framebuffer/pl11x/vea9x4 because it requires pl11x
platform_vea9x4
Skip target drivers/framebuffer/pl11x/vpb926 because it requires pl11x
platform_vpb926
Skip target drivers/framebuffer/vesa because it requires vesa
Skip target drivers/input/fiasco_ux because it requires fiasco
Skip target drivers/input/ps2/pl050 because it requires pl050
Skip target drivers/input/ps2/x86 because it requires ps2
Skip target drivers/timer/codezero because it requires codezero
Skip target drivers/timer/fiasco because it requires fiasco
Skip target drivers/timer/foc because it requires foc
Skip target drivers/timer/hw/omap4 because it requires hw omap4
Skip target drivers/timer/hw/pbxa9 because it requires hw_pbxa9
Skip target drivers/timer/hw/vea9x4 because it requires hw_vea9x4
Skip target drivers/timer/nova because it requires nova
Skip target drivers/timer/okl4_arm because it requires okl4 arm
Skip target drivers/timer/okl4_x86 because it requires okl4
Skip target drivers/timer/pistachio because it requires pistachio
  Library platform
  Library mini_c
  Library libz_static
  Library libpng_static
  Library syscall
...
 Program drivers/framebuffer/sdl/fb_sdl
    COMPILE  fb_sdl.o
    COMPILE  input.o
    LINK     fb_sdl
/usr/local/genode-gcc/bin/../lib/gcc/x86_64-elf/4.7.2/../../../../x86_64-elf/bin/ld:
warning: libpulsecommon-2.1.so, needed by
/usr/lib/gcc/x86_64-linux-gnu/4.7/../../../x86_64-linux-gnu/libpulse-simple.so,
not found (try using -rpath or -rpath-link)
/usr/lib/gcc/x86_64-linux-gnu/4.7/../../../x86_64-linux-gnu/libpulse.so:
undefined reference to `pa_tagstruct_get_boolean'
/usr/lib/gcc/x86_64-linux-gnu/4.7/../../../x86_64-linux-gnu/libpulse.so:
undefined reference to `pa_pdispatch_run'
/usr/lib/gcc/x86_64-linux-gnu/4.7/../../../x86_64-linux-gnu/libpulse.so:
undefined reference to `pa_dbus_add_matches'
/usr/lib/gcc/x86_64-linux-gnu/4.7/../../../x86_64-linux-gnu/libpulse.so:
undefined reference to `pa_memblockq_free'
/usr/lib/gcc/x86_64-linux-gnu/4.7/../../../x86_64-linux-gnu/libpulse.so:
undefined reference to `pa_detect_fork'
...
/usr/lib/gcc/x86_64-linux-gnu/4.7/../../../x86_64-linux-gnu/libpulse-simple.so:
undefined reference to `pa_log_level_meta'
...
/usr/lib/gcc/x86_64-linux-gnu/4.7/../../../x86_64-linux-gnu/libpulse.so:
undefined reference to `pa_tagstruct_putu32'
collect2: error: ld returned 1 exit status
make[3]: *** [fb_sdl] Error 1
make[2]: *** [fb_sdl.prg] Error 2
make[1]: *** [gen_deps_and_build_targets] Error 2
make[1]: Leaving directory `/home/paul/Bureau/Genode/genode-12.11/build.lx'
Error: Genode build failed
make: *** [run/demo] Error 252
paul at ...162...:~/Bureau/Genode/genode-12.11/build.lx$ pon

But libpulse-dev seems intalled:
paul at ...162...:~/Bureau/Genode/genode-12.11/build.lx$ apt-cache
showpkg libpulse-dev
Package: libpulse-dev
Versions:
1:2.1-0ubuntu4 (/var/lib/apt/lists/ca.archive.ubuntu.com_ubuntu_dists_quantal_main_binary-amd64_Packages)
(/var/lib/dpkg/status)
 Description Language:
                 File:
/var/lib/apt/lists/ca.archive.ubuntu.com_ubuntu_dists_quantal_main_binary-amd64_Packages
                  MD5: a36e2b24ab289ab86564c79e92c8e87f
 Description Language: en
                 File:
/var/lib/apt/lists/ca.archive.ubuntu.com_ubuntu_dists_quantal_main_i18n_Translation-en
                  MD5: a36e2b24ab289ab86564c79e92c8e87f
 Description Language: fr
                 File:
/var/lib/apt/lists/ca.archive.ubuntu.com_ubuntu_dists_quantal_main_i18n_Translation-fr
                  MD5: a36e2b24ab289ab86564c79e92c8e87f


Reverse Depends:
  libpulse-dev:i386,libpulse-dev 1:2.1-0ubuntu4
  libpulse-dev:i386,libpulse-dev 1:2.1-0ubuntu4
  libpulse-ocaml-dev,libpulse-dev
  libgmtk-dev,libpulse-dev
  libfluidsynth-dev,libpulse-dev
  libsdl1.2-dev,libpulse-dev
Dependencies:
1:2.1-0ubuntu4 - libpulse0 (5 1:2.1-0ubuntu4) libpulse-mainloop-glib0
(5 1:2.1-0ubuntu4) libglib2.0-dev (0 (null)) libavahi-client-dev (0
(null)) libpulse-dev:i386 (3 1:2.1-0ubuntu4) libpulse-dev:i386 (6
1:2.1-0ubuntu4)
Provides:
1:2.1-0ubuntu4 -
Reverse Provides:
paul at ...162...:~/Bureau/Genode/genode-12.11/build.lx$