Dependencies for tamarin-prover-0.8.6.3
Executables
tamarin-prover
- array (>=0.3)
- base (>=4 && <5)
- binary (>=0.5 && <0.6)
- bytestring (>=0.9)
- cmdargs (>=0.10 && <0.11)
- containers (>=0.4.2)
- deepseq (>=1.3)
- derive (>=2.5 && <2.6)
- directory (>=1.0)
- dlist (>=0.5)
- fclabels (>=1.1 && <1.2)
- filepath (>=1.1)
- HUnit (>=1.2 && <1.3)
- mtl (>=2.1)
- parallel (>=3.2 && <3.3)
- parsec (>=3.1 && <3.2)
- process (>=1.1 && <1.2)
- safe (>=0.2)
- syb (>=0.3.3)
- tamarin-prover-term (>=0.8.5.1 && <0.9)
- tamarin-prover-theory (>=0.8.6.0 && <0.9)
- tamarin-prover-utils (>=0.8.5.1 && <0.9)
- time (>=1.2)
- transformers (>=0.3)
- uniplate (>=1.6 && <1.7)
- if !flag(no-gui)
- aeson (>=0.6 && <0.7)
- blaze-builder (>=0.3)
- blaze-html (>=0.5)
- bytestring (>=0.9)
- conduit (>=1.0 && <1.1)
- hamlet (>=1.1)
- http-types (>=0.7)
- lifted-base (>=0.2.0.5)
- monad-control (<1)
- old-locale (>=1 && <2)
- shakespeare (>=2.0 && <2.1)
- text (>=0.11 && <0.12)
- threads (>=0.4)
- wai (>=1.3)
- warp (>=1.3)
- yesod-core (>=1.2.6.6)
- yesod-json (>=1.2)
- yesod-static (>=1.2)
Flags
Automatic Flags
| Name | Description | Default |
|---|---|---|
| no-gui | Do not build the web-application GUI. | Disabled |
| threaded | Build with support for multithreaded execution | Enabled |
| test-coverage | Build with test coverage support | Enabled |
| build-tests | Build unit test driver | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info