Dependencies for liquidhaskell-0.6.0.0
Libraries
liquidhaskell
- aeson (>=0.10 && <1.0)
- array (>=0.5)
- base (>=4.8 && <4.9)
- bifunctors (>=5.1)
- bytestring (>=0.10)
- Cabal (>=1.18)
- cereal
- cmdargs (>=0.10)
- containers (>=0.5)
- cpphs (>=1.19)
- data-default (>=0.5)
- deepseq (>=1.3)
- Diff (>=0.3)
- directory (>=1.2)
- filepath (>=1.3)
- fingertree (>=0.1)
- ghc (>=7.10.2 && <7.11)
- ghc-paths (>=0.1)
- hashable (>=1.2)
- hpc (>=0.6)
- hscolour (>=1.22)
- liquid-fixpoint (>=0.5 && <0.6)
- located-base
- mtl (>=2.1)
- parsec (>=3.1)
- pretty (>=1.1)
- process (>=1.2)
- syb (>=0.4.4)
- template-haskell (>=2.9)
- temporary (>=1.2)
- text (>=1.2)
- time (>=1.4)
- unordered-containers (>=0.2)
- vector (>=0.10)
Executables
liquid
lhi
- base (>=4.8 && <4.9)
- bytestring
- cereal
- cmdargs
- daemons
- data-default
- deepseq
- directory
- ghc
- liquid-fixpoint
- liquidhaskell
- located-base
- network
- pretty
- process
- unix
- unordered-containers
Flags
Manual Flags
| Name | Description | Default |
|---|---|---|
| devel | turn on stricter error reporting for development | Disabled |
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