Dependencies for idris-0.9.9.1
idris |
|
---|
Flags
Manual Flags
Name | Description | Default |
---|---|---|
llvm | Build the LLVM backend | Enabled |
Automatic Flags
Name | Description | Default |
---|---|---|
noeffects | Do not build the effects package | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info