Dependencies for claferIG-0.5.8
Libraries
claferIG
- aeson (>=1.1.2.0)
- base (>=4.18.3.0 && <5)
- clafer (==0.5.8)
- containers (>=0.5.5.1)
- directory (>=1.2.1.0)
- exceptions (>=0.10)
- executable-path (>=0.0.3)
- haskeline (>=0.8)
- mtl (>=2.1.3.1)
- parsec (>=3.1.5)
- process (>=1.2.0.0)
- string-conversions (>=0.3.0.3)
- transformers (>=0.6)
- if os(windows)
- HaXml (==1.24)
- HaXml (>=1.25.3)
Executables
claferIG
- base (>=4.18.3.0 && <5)
- clafer (==0.5.8)
- claferIG (==0.5.8)
- cmdargs (>=0.10.12)
- containers (>=0.5.5.1)
- directory (>=1.2.1.0)
- filepath (>=1.3.0.2)
Flags
Manual Flags
| Name | Description | Default |
|---|---|---|
| model-tests | Build the model-tests test suite, which generates instances of the models in test/positive with Alloy. The models and alloy6.2.0.jar are not part of the package, so it can only be built in a checkout of the repository. | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info