Dependencies for idris-0.9.14.3
library |
|
---|---|
idris | |
idris-c | |
idris-javascript | |
idris-node |
Flags
Manual Flags
Name | Description | Default |
---|---|---|
llvm | Build the LLVM backend | Disabled |
ffi | Build support for libffi | Disabled |
gmp | Use GMP for Integers | Disabled |
curses | Use Curses to get the screen width | Disabled |
release | This is an official release | Enabled |
freestanding | Build an Idris that doesn't use cabal | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info