Dependencies for cryptol-2.5.0

library
cryptol

Flags

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