This project provides extra annotations for Java checkers, such as starvation.
Make sure you have maven installed. infer-annotaions is a regular
maven project, so regular maven commands apply. The following commands might be of interest:
- Build artifact jar (the one with class files):
mvn package. - Build sources jar:
mvn source:jar - Clean: mvn clean
The resulting artifacts will be under target/ folder.