Use jacodb from GitHub Packages Registry

Author: Lipen

buildSrc/src/main/kotlin/Dependencies.kt

@@ -6,7 +6,7 @@ object Versions {
     const val clikt = "5.0.0"
     const val detekt = "1.23.7"
     const val ini4j = "0.5.4"
-    const val jacodb = "5acbadfed0"
+    const val jacodb = "20250731+081adc27"
     const val juliet = "1.3.2"
     const val junit = "5.9.3"
     const val kotlin = "2.1.0"
@@ -116,7 +116,8 @@ object Libs {
     )
 
     // https://github.com/UnitTestBot/jacodb
-    private const val jacodbPackage = "com.github.UnitTestBot.jacodb" // use "org.jacodb" with includeBuild
+    // private const val jacodbPackage = "com.github.UnitTestBot.jacodb" // JitPack
+    private const val jacodbPackage = "org.jacodb" // GitHub Packages Registry
     val jacodb_core = dep(
         group = jacodbPackage,
         name = "jacodb-core",

buildSrc/src/main/kotlin/JacodbRepository.kt

@@ -0,0 +1,28 @@
+import org.gradle.api.Project
+import org.gradle.kotlin.dsl.maven
+import org.gradle.kotlin.dsl.repositories
+
+/**
+ * Set up GitHub Packages Registry for `jacodb`.
+ *
+ * To use this GPR locally, you need to set the `gpr.user` and `gpr.key` properties
+ * in your `~/.gradle/gradle.properties` file, for example:
+ * ```
+ * gpr.user=your-github-username
+ * gpr.key=your-github-token
+ * ```
+ * Note: token must have "packages: read" permissions.
+ *
+ * On CI, provide `GITHUB_ACTOR` and `GITHUB_TOKEN` environment variables.
+ */
+fun Project.setupJacodbGitHubPackagesRepository() {
+    repositories {
+        maven {
+            url = uri("https://maven.pkg.github.com/UnitTestBot/jacodb")
+            credentials {
+                username = findProperty("gpr.user") as String? ?: System.getenv("GITHUB_ACTOR")
+                password = findProperty("gpr.key") as String? ?: System.getenv("GITHUB_TOKEN")
+            }
+        }
+    }
+}

buildSrc/src/main/kotlin/usvm.kotlin-conventions.gradle.kts

@@ -14,6 +14,8 @@ repositories {
     maven("https://jitpack.io")
 }
 
+setupJacodbGitHubPackagesRepository()
+
 dependencies {
     // Align versions of all Kotlin components
     implementation(platform(kotlin("bom", Versions.kotlin)))

usvm-jvm/usvm-jvm-api/build.gradle.kts

@@ -31,6 +31,8 @@ repositories {
     maven("https://jitpack.io")
 }
 
+setupJacodbGitHubPackagesRepository()
+
 dependencies {
     compileOnly(Libs.jacodb_api_jvm)
 }