Dependencies for idris-0.9.9.3
Executables
idris
- ansi-terminal
- ansi-wl-pprint
- base (>=4 && <5)
- binary
- bytestring
- Cabal
- containers
- directory (>=1.2)
- filepath
- haskeline (>=0.7)
- language-java (>=0.2.2)
- libffi
- mtl
- parsec (>=3)
- parsers (==0.9)
- pretty
- process
- split
- text
- time (>=1.4)
- transformers
- trifecta (==1.1)
- unordered-containers
- utf8-string
- vector
- vector-binary-instances
- if os(linux)
- if os(osx)
- if os(windows)
- if flag(llvm)
- llvm-general (>=3.3.8 && <3.3.9)
- llvm-general-pure (>=3.3.8 && <3.3.9)
Flags
Manual Flags
| Name | Description | Default |
|---|---|---|
| llvm | Build the LLVM backend | Enabled |
Automatic Flags
| Name | Description | Default |
|---|---|---|
| effects | Build the effects package | Enabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info