Dependencies for idris-0.9.12
| library |
|
|---|---|
| idris |
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 |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info