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