Dependencies for cryptol-2.9.1
library |
|
---|---|
cryptol | |
cryptol-html |
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 |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info