Dependencies for cryptol-2.9.0

library
cryptol
cryptol-html

Manual Flags

NameDescriptionDefault
Automatic Flags
NameDescriptionDefault
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

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