Dependencies for liquidhaskell-0.8.6.2
Libraries
liquidhaskell
- aeson
- base (>=4.11.1.0 && <5)
- binary
- bytestring (>=0.10)
- cereal
- cmdargs (>=0.10)
- containers (>=0.5)
- data-default (>=0.5)
- deepseq (>=1.3)
- Diff (>=0.3 && <0.4)
- directory (>=1.2)
- filepath (>=1.3)
- fingertree (>=0.1)
- ghc (<8.7)
- ghc-boot
- ghc-paths (>=0.1)
- ghc-prim
- githash
- gitrev
- hashable (>=1.2)
- hscolour (>=1.22)
- liquid-fixpoint (>=0.8.0.0)
- mtl (>=2.1)
- optparse-simple
- parsec (>=3.1)
- pretty (>=1.1)
- syb (>=0.4.4)
- template-haskell (>=2.9)
- temporary (>=1.2)
- text (>=1.2)
- time (>=1.4)
- transformers (>=0.3)
- unordered-containers (>=0.2)
- vector (>=0.10)
Executables
liquid
- base (>=4.9.1.0 && <5)
- liquidhaskell
gradual
- buildable: False
- base (>=4.8.1.0 && <5)
- cmdargs
- hscolour
- liquid-fixpoint (>=0.7.0.5)
- liquidhaskell
target
- buildable: False
- base (>=4.8.1.0 && <5)
- hint
- liquidhaskell
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 |
| deterministic-profiling | Support building against GHC with https://phabricator.haskell.org/D4388 backported | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info