Dependencies for idris-1.3.2

library
idris
idris-codegen-c
idris-codegen-javascript
idris-codegen-node

Flags

NameDescriptionDefaultType
ffi

Build support for libffi

DisabledManual
gmp

Use GMP for Integers

DisabledManual
release

This is an official release

EnabledManual
freestanding

Build an Idris that doesn't use cabal

DisabledManual
ci

Built everything using "-Werror", meant for CI-builds only

DisabledManual
execonly

Build executables only, skip the libraries and RTS

DisabledManual

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