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