Now there is a setup.sh script for easier installation of AVET (thanks to https://github.com/tacticaljmp). Tested with kali linux 2018.3a.

I made two short videos:

After starting the script you may have to wait for a couple of minutes. Then click trough the installation routine for the compiler:

… and you are done.

Download AVET: https://github.com/govolution/avet