From b9e2c6b877e7b544a7b6d5819b8ee5fe3a646e33 Mon Sep 17 00:00:00 2001 From: Rohan Shetty Date: Fri, 26 Apr 2024 18:11:18 -0400 Subject: [PATCH] Add local plume-utils dependency --- build.gradle | 5 +++++ gradle/libs.versions.toml | 2 ++ 2 files changed, 7 insertions(+) diff --git a/build.gradle b/build.gradle index 4f4ca90..e415d58 100644 --- a/build.gradle +++ b/build.gradle @@ -49,6 +49,11 @@ if (hasProperty('cfLocal')) { def cfHome = String.valueOf(System.getenv('CHECKERFRAMEWORK')) dependencies { testImplementation files(cfHome + '/checker/dist/checker.jar') + testImplementation files(cfHome + '/checker/dist/checker-qual.jar') + testImplementation fileTree(dir: cfHome + '/framework-test/build/libs', + include: '*.jar', + exclude: ['*-sources.jar', '*-javadoc.jar']) + testImplementation libs.plume.utils } } diff --git a/gradle/libs.versions.toml b/gradle/libs.versions.toml index f3b63c2..1b1733f 100644 --- a/gradle/libs.versions.toml +++ b/gradle/libs.versions.toml @@ -3,6 +3,7 @@ junitVer = "5.9.1" guavaVer = "31.1-jre" jSpecifyConformanceTestVer = "0.0.0-SNAPSHOT" checkerFrameworkVer = "3.42.0-eisop3" +plumeUtilVer = "1.9.0" [libraries] junit = { module = "org.junit.jupiter:junit-jupiter", version.ref = "junitVer" } @@ -12,3 +13,4 @@ jspecify-conformance-framework = { module = "org.jspecify.conformance:conformanc checkerframework-checker = { module = "io.github.eisop:checker", version.ref = "checkerFrameworkVer" } checkerframework-framework-test = { module = "io.github.eisop:framework-test", version.ref = "checkerFrameworkVer" } checkerframework-qual = { module = "io.github.eisop:checker-qual", version.ref = "checkerFrameworkVer" } +plume-utils = { module = "org.plumelib:plume-util", version.ref = "plumeUtilVer" }