From 7f9eb53b136a6fa6c25787abcf8446856e8f0017 Mon Sep 17 00:00:00 2001
From: Aosen Xiong <82676488+Ao-senXiong@users.noreply.github.com>
Date: Fri, 12 Apr 2024 17:43:07 -0700
Subject: [PATCH] Extract CF version in build.gradle (#89)

---
 build.gradle | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/build.gradle b/build.gradle
index cb0cefa..402e68f 100644
--- a/build.gradle
+++ b/build.gradle
@@ -92,10 +92,12 @@ tasks.withType(JavaCompile).configureEach {
 
 apply plugin: 'org.checkerframework'
 
+def EISOPVersion = '3.42.0-eisop3'
+
 dependencies {
-  compileOnly 'io.github.eisop:checker-qual:3.42.0-eisop3'
-  testCompileOnly 'io.github.eisop:checker-qual:3.42.0-eisop3'
-  checkerFramework 'io.github.eisop:checker:3.42.0-eisop3'
+  compileOnly "io.github.eisop:checker-qual:${EISOPVersion}"
+  testCompileOnly "io.github.eisop:checker-qual:${EISOPVersion}"
+  checkerFramework "io.github.eisop:checker:${EISOPVersion}"
 }
 
 checkerFramework {