Você tem várias opções:
- reconstrua um pacote de código
ffmpeg
recente para obterlibavcodec57
& co. - atualize para o Ubuntu 16.10, que possui
libavcodec57
; - siga a abordagem do pacote VLC, que é incorporar a versão apropriada de
fmmpeg
e usá-la.
A última abordagem é a que eu recomendaria; para começar:
sudo apt-get install devscripts
dget http://httpredir.debian.org/debian/pool/main/v/vlc/vlc_2.2.4-8.dsc
cd vlc-2.2.4
CC=afl-gcc CXX=afl-g++ dpkg-buildpackage -us -uc
Isto lhe dirá quais outros pacotes você precisa instalar (se houver). Se você não quiser usar dpkg-buildpackage
, veja pelo menos debian/rules
para as opções de configuração relevantes.