tce-load -i compiletc glib2-dev

wget https://download.gnome.org/sources/vala/0.56/vala-0.56.17.tar.xz

cd vala-0.56.17

CC="gcc -flto -march=armv8-a+crc -mtune=cortex-a72 -Os -pipe" CXX="g++ -flto -march=armv8-a+crc -mtune=cortex-a72 -Os -pipe -fno-exceptions -fno-rtti" ./configure --prefix=/usr/local --localstatedir=/var --disable-static --disable-valadoc

find . -name Makefile -type f -exec sed -i 's/-g -O2//g' {} \;

make [8m 46.12s]
sudo make install