Fix qualDirs

VirtusLab · Dec 14, 2024 · 9ce05ba · 9ce05ba
1 parent f7d7de3
commit 9ce05ba
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 3 deletions.
diff --git a/buildSrc/src/main/kotlin/com/virtuslab/gitmachete/buildsrc/CheckerFramework.kt b/buildSrc/src/main/kotlin/com/virtuslab/gitmachete/buildsrc/CheckerFramework.kt
@@ -107,7 +107,7 @@ fun Project.applySubtypingChecker() {
       val mainSourceSet = javaPlugin.sourceSets["main"]
       val qualClassDir = mainSourceSet.output.classesDirs.asPath
 
-      extraJavacArgs.add("-ASubtypingChecker_qualDirs=$qualClassDir")
+      extraJavacArgs.add("-AqualDirs=$qualClassDir")
     }
   }
 }
diff --git a/gradle.properties b/gradle.properties
@@ -1,6 +1,7 @@
 kotlin.stdlib.default.dependency=false
 org.gradle.caching=true
 org.gradle.configureOnDemand=true
+org.gradle.daemon=false
 # More memory needed by daemon in UI tests; also, see https://github.com/gradle/gradle/issues/19750 for MaxMetaspaceSize
 org.gradle.jvmargs=-Xmx3g -XX:MaxMetaspaceSize=512m
 org.gradle.parallel=true

diff --git a/gradle/libs.versions.toml b/gradle/libs.versions.toml
@@ -1,5 +1,5 @@
 [versions]
-checker = "3.47.0"
+checker = "3.48.3"
 junitJupiter = "5.10.3"
 
 [libraries]
@@ -22,7 +22,7 @@ mockito = "org.mockito:mockito-junit-jupiter:5.14.2"
 slf4j-lambda = "kr.pe.kwonnam.slf4j-lambda:slf4j-lambda-core:0.1"
 slf4j-mock = "org.simplify4u:slf4j-mock:2.3.0"
 slf4j-simple = "org.slf4j:slf4j-simple:1.7.36"
-vavr = "io.vavr:vavr:0.10.5"
+vavr = "io.vavr:vavr:0.10.4"
 
 # Note that certain plugins are also pulled in via buildSrc,
 # where they aren't really `apply`-ed as plugins, but rather added to classpath as plugin packages;