Dependencies for cryptol-2.4.0

library
cryptol
cryptol-server

Flags

NameDescriptionDefaultType
static

Create a statically-linked binary

DisabledAutomatic
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.

EnabledAutomatic
server

Build with the ZeroMQ/JSON cryptol-server executable

DisabledAutomatic

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info