Build tree for "idris" on toolchain "vanilla"