remove unnecessary dependencies

eisop · Mar 28, 2024 · 7dbd256 · 7dbd256
1 parent 0e32b63
commit 7dbd256
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 7 deletions.
diff --git a/build.gradle b/build.gradle
@@ -40,19 +40,15 @@ dependencies {
   jSpecifyConformanceTests libs.jspecify.conformance.tests
 
   testImplementation libs.checkerframework.checker
-  testImplementation libs.checkerframework.framework
+  testImplementation libs.checkerframework.framework.test
 }
 
 // To use a locally-built Checker Framework, run gradle with "-PcfLocal".
 if (hasProperty('cfLocal')) {
   def cfHome = String.valueOf(System.getenv('CHECKERFRAMEWORK'))
   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'
+    testImplementation files(cfHome + '/framework-test/build/libs/framework-test-3.42.0-eisop3-SNAPSHOT.jar')    
   }
 }
 

diff --git a/gradle/libs.versions.toml b/gradle/libs.versions.toml
@@ -10,4 +10,4 @@ guava = { module = "com.google.guava:guava", version.ref = "guavaVer" }
 jspecify-conformance-tests = { module = "org.jspecify.conformance:conformance-tests", version.ref = "jSpecifyConformanceTestVer" }
 jspecify-conformance-framework = { module = "org.jspecify.conformance:conformance-test-framework", version.ref = "jSpecifyConformanceTestVer" }
 checkerframework-checker = { module = "org.checkerframework:checker", version.ref = "checkerFrameworkVer" }
-checkerframework-framework = { module = "org.checkerframework:framework-test", version.ref = "checkerFrameworkVer" }
+checkerframework-framework-test = { module = "org.checkerframework:framework-test", version.ref = "checkerFrameworkVer" }