Dependencies for idris-1.3.2
library |
|
---|---|
idris | |
idris-codegen-c | |
idris-codegen-javascript | |
idris-codegen-node |
Flags
Manual Flags
Name | Description | Default |
---|---|---|
ffi | Build support for libffi | Disabled |
gmp | Use GMP for Integers | Disabled |
release | This is an official release | Enabled |
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