idris-0.12.3: custom.mk-alldeps

CABALFLAGS += -f GMP  -f FFI --disable-documentation --disable-profiling --disable-library-profiling