Dependencies for clafer-0.5.8

Libraries

clafer

Executables

clafer

Flags

Manual Flags

NameDescriptionDefault
model-tests

Build the model-tests test suite, which compiles the models in test/positive and test/negative. The models 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