To use Contractchecker , you first have to declare its task. You could define a specific target for it as follows:
Now you can execute
giving it the information
The source code of ContractChecker provides a build script used to export the project itself, and which can be used as a reference.