make: *** [Makefile:63: all] Error 2
>>> ERROR: idris2: build failed