Dependencies for idris-0.9.11.1

library
idris

Flags

NameDescriptionDefaultType
llvm

Build the LLVM backend

DisabledManual
ffi

Build support for libffi

DisabledManual
gmp

Use GMP for Integers

DisabledManual
curses

Use Curses to get the screen width

DisabledManual
release

This is an official release

EnabledManual

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info