Dependencies for ghcide-2.5.0.0
Flags
Manual Flags
Name | Description | Default |
---|---|---|
ekg | Enable EKG monitoring of the build graph and other metrics on port 8999 | Disabled |
pedantic | Enable -Werror | Disabled |
Automatic Flags
Name | Description | Default |
---|---|---|
test-exe | Build the ghcide-test-preprocessor executable | Enabled |
executable | Build the ghcide executable | Enabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info