Dependencies for liquidhaskell-0.5.0.1
Libraries
liquidhaskell
- aeson
- ansi-terminal
- array
- base
- bifunctors
- bytestring
- Cabal (>=1.18)
- cmdargs
- containers
- cpphs
- data-default
- deepseq
- Diff
- directory
- filemanip
- filepath
- fingertree
- ghc (==7.8.3 || ==7.8.4 || ==7.10.2 || ==7.10.3)
- ghc-paths
- hashable
- hpc
- hscolour
- intern
- liquid-fixpoint (>=0.4 && <0.5)
- mtl
- parsec
- pretty
- process (>=1.2)
- syb
- template-haskell
- text
- time
- unordered-containers
- vector
Executables
liquid
- aeson
- ansi-terminal
- array
- base (>=4 && <5)
- bifunctors
- bytestring
- cmdargs
- containers
- cpphs
- data-default
- deepseq
- Diff
- directory
- filemanip
- filepath
- fingertree
- ghc
- ghc-paths
- hashable
- hpc
- hscolour
- liquid-fixpoint
- liquidhaskell
- mtl
- parsec
- pretty
- process
- syb
- template-haskell
- text
- time
- unordered-containers
- vector
Flags
Automatic Flags
| Name | Description | Default |
|---|---|---|
| include | use in-tree include directory | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info