VLC

• Install media driver following Build media driver from source code
• Install FFmpeg

$ git clone https://git.ffmpeg.org/ffmpeg.git
$ cd ffmpeg
$ ./configure --enable-gpl --enable-postproc --prefix=/path/to/ --enable-shared --enable-vaapi
$ make
$ make install

• Install VLC

$ apt build-dep vlc
$ git clone https://code.videolan.org/videolan/vlc.git
$ cd vlc
$ ./bootstrap
$ ./configure
$ make

• Run following command to check it

$ vlc --list | grep avcodec