public
Description: JSR308 Typestate Checker
Homepage: http://www.warski.org/typestate.html
Clone URL: git://github.com/adamw/jsr308-typestate-checker.git
jsr308-typestate-checker / build.properties
100644 16 lines (10 sloc) 0.508 kb
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
# This configuration assumes that the source directory is placed next to the "checkers" and "langtools" directories.
 
# The location of the JSR 308 OpenJDK distribution.
compiler.lib=../langtools/dist/lib/javac.jar:../langtools/binary/javac.jar
 
# The location of the checkers.jar file
checkers.lib=../checkers/checkers.jar
 
# The location of the junit.jar file
junit.lib=../checkers/tests/junit.jar
 
# The location of the checkers-tests.jar file
checkers.test.lib=../checkers/tests/build
 
build.version=0.1