Dependencies for tamarin-prover-0.8.6.3
tamarin-prover |
|
---|
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