Dependencies for liquidhaskell-0.8.10.1
Libraries
liquidhaskell
- aeson
- base (>=4.11.1.0 && <5)
- binary
- bytestring (>=0.10)
- Cabal (<3.3)
- cereal
- cmdargs (>=0.10)
- containers (>=0.5)
- data-default (>=0.5)
- deepseq (>=1.3)
- Diff (>=0.3 && <0.4)
- directory (>=1.2)
- extra
- filepath (>=1.3)
- fingertree (>=0.1)
- ghc
- ghc-boot
- ghc-paths (>=0.1)
- ghc-prim
- githash
- gitrev
- hashable (>=1.3)
- hscolour (>=1.22)
- liquid-fixpoint (>=0.8.0.0)
- mtl (>=2.1)
- optics (>=0.2)
- optparse-simple
- parsec (>=3.1)
- pretty (>=1.1)
- split
- 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
mirror-modules
- if flag(mirror-modules-helper)
- base (>=4.9.1.0 && <5)
- containers (<0.7)
- filepath (<1.5)
- mustache (<2.4)
- optparse-applicative (<0.16.1.0)
- shelly (<1.10)
- text (<1.3)
- buildable: False
Flags
Manual Flags
| Name | Description | Default |
|---|---|---|
| no-plugin | Use the legacy executable for testing. | Disabled |
| mirror-modules-helper | Build the "mirror-modules" helper executable. | 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