Build tree for "idris" on toolchain "clang_glibc"