Dependencies for idris-1.1.1

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

Flags

Manual Flags

NameDescriptionDefault
ffi

Build support for libffi

Disabled
gmp

Use GMP for Integers

Disabled
release

This is an official release

Disabled
freestanding

Build an Idris that doesn't use cabal

Disabled
ci

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

Disabled
execonly

Build executables only, skip the libraries and RTS

Disabled

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