Dependencies for idris-0.9.14

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
freestanding

Build an Idris that doesn't use cabal

DisabledManual

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