Dependencies for cryptol-2.8.0

library
cryptol
cryptol-html

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

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