Dependencies for cryptol-2.4.0
Libraries
cryptol
- array (>=0.4)
- async (>=2.0)
- base (>=4.8 && <5)
- base-compat (>=0.6 && <0.10)
- bytestring (>=0.10)
- containers (>=0.5)
- deepseq (>=1.3)
- directory (>=1.2.2.0)
- filepath (>=1.3)
- gitrev (>=1.0)
- GraphSCC (>=1.0.4)
- heredoc (>=0.2)
- monad-control (>=1.0)
- monadLib (>=3.7.2)
- old-time (>=1.1)
- presburger (>=1.3)
- pretty (>=1.1)
- process (>=1.2)
- QuickCheck (>=2.7)
- random (>=1.0.1)
- sbv (>=5.12 && <5.15)
- simple-smt (>=0.6.0)
- smtLib (>=1.0.7)
- syb (>=0.4)
- template-haskell
- text (>=1.1)
- tf-random (>=0.5)
- transformers (>=0.3)
- transformers-base (>=0.4)
- utf8-string (>=0.3)
Executables
cryptol
- ansi-terminal
- base
- base-compat
- containers
- cryptol
- deepseq
- directory
- filepath
- haskeline
- monad-control
- monadLib
- process
- random
- sbv
- tf-random
- transformers
cryptol-server
- if flag(server)
- aeson (>=0.10)
- aeson-pretty (>=0.7)
- base
- base-compat
- bytestring (>=0.10)
- containers
- cryptol
- filepath
- monad-control
- optparse-applicative (>=0.12)
- text
- transformers
- unix
- unordered-containers (>=0.2)
- zeromq4-haskell (>=0.6)
- buildable: False
Flags
Automatic Flags
| Name | Description | Default |
|---|---|---|
| static | Create a statically-linked binary | Disabled |
| relocatable | Don't use the Cabal-provided data directory for looking up Cryptol libraries. This is useful when the data directory can't be known ahead of time, like for a relocatable distribution. | Enabled |
| server | Build with the ZeroMQ/JSON cryptol-server executable | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info