Skip to content

Commit

Permalink
add option to test using local CF build
Browse files Browse the repository at this point in the history
  • Loading branch information
rohan-shettyy committed Mar 27, 2024
1 parent 5f72c6e commit 5dd61bc
Showing 1 changed file with 13 additions and 0 deletions.
13 changes: 13 additions & 0 deletions build.gradle
Original file line number Diff line number Diff line change
Expand Up @@ -43,6 +43,19 @@ dependencies {
testImplementation libs.checkerframework.framework
}

// To use a locally-built Checker Framework, run gradle with "-PcfLocal".
if (hasProperty('cfLocal')) {
def cfHome = String.valueOf(System.getenv('CHECKERFRAMEWORK'))
println cfHome
dependencies {
testImplementation files(cfHome + '/checker/dist/checker.jar')
testImplementation files(cfHome + '/framework-test/build/libs/framework-test-3.42.0-eisop3-SNAPSHOT.jar')

// Need plume-util dependency to typecheck conformance tests
testImplementation 'org.plumelib:plume-util:1.9.0'
}
}

spotless {
format 'misc', {
// define the files to apply `misc` to
Expand Down

0 comments on commit 5dd61bc

Please sign in to comment.