add local dependency on checker-qual

eisop · Mar 27, 2024 · 0e32b63 · 0e32b63
1 parent 5dd61bc
commit 0e32b63
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build.gradle b/build.gradle
@@ -46,10 +46,10 @@ dependencies {
 // 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')
+    testImplementation files(cfHome + '/checker/dist/checker-qual.jar')
 
     // Need plume-util dependency to typecheck conformance tests 
     testImplementation 'org.plumelib:plume-util:1.9.0'