Dans le instructions for setting up pocketsphinx, l'une des dépendances est pulseaudio development package. Qu'est-ce que c'est exactement? Où dois-je le télécharger?Installation du package de développement pocketsphinx - pulseaudio
PulseAudio est une bibliothèque de serveurs de sons. Le "package de développement" signifie que vous devrez installer les en-têtes de développement. Par exemple sur Ubuntu, au lieu d'installer le paquet « PulseAudio », vous devez plutôt quelque chose comme:
$ sudo apt-get install libpulse-dev
Si vous développez pour OSX, vous devrez trouver un port - Je n'ai pas accès à un Mac, donc je ne peux pas confirmer un particulier qui fonctionne, mais une recherche rapide sur Google pour "pulseaudio osx" a montré quelques forum posts et projects qui peut être un point de départ.