Dependencies for scyther-proof-0.10.0.1
Executables
scyther-proof
- array (>=0.3 && <0.6)
- base (>=4 && <5)
- cmdargs (>=0.10.7)
- containers (>=0.4.2 && <0.6)
- directory (>=1.0 && <1.3)
- filepath (>=1.2 && <1.5)
- json (>=0.5 && <0.10)
- mtl (>=2.1 && <3.0)
- parsec (>=3.1 && <3.2)
- pretty (>=1.0 && <1.2)
- process (>=1.1 && <1.3)
- safe (>=0.2 && <0.4)
- tagsoup (>=0.12 && <0.14)
- time (>=1.1 && <1.6)
- uniplate (>=1.6 && <1.7)
- utf8-string (>=0.3.7)
Flags
Automatic Flags
| Name | Description | Default |
|---|---|---|
| threaded | Build with support for multithreaded execution | Enabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info