diff --git a/compiler/build.gradle.kts b/compiler/build.gradle.kts index 69d038ada6..de499630ba 100644 --- a/compiler/build.gradle.kts +++ b/compiler/build.gradle.kts @@ -49,7 +49,7 @@ dependencies { /** Compilation */ jflex { - encoding.set(Charsets.UTF_8.name()) + encoding = Charsets.UTF_8.name() } val compileCup by tasks.registering(CompileCupTask::class) @@ -61,7 +61,7 @@ sourceSets { } tasks.compileKotlin.configure { - dependsOn(tasks.withType()) + dependsOn(tasks.withType()) dependsOn(tasks.withType()) } @@ -76,7 +76,7 @@ tasks.withType().configureEach { // remove if/when Dokka fixes this issue. tasks.withType().configureEach { dependsOn(compileCup) - dependsOn(tasks.withType()) + dependsOn(tasks.withType()) } abstract class CompileCupTask : DefaultTask() { diff --git a/gradle/libs.versions.toml b/gradle/libs.versions.toml index 868a7a7819..e757059361 100644 --- a/gradle/libs.versions.toml +++ b/gradle/libs.versions.toml @@ -34,7 +34,7 @@ z3-turnkey = { module = "tools.aqua:z3-turnkey", version = "4.13.0" } [plugins] dokka = { id = "org.jetbrains.dokka", version = "1.8.20" } git-version = { id = "com.palantir.git-version", version = "3.0.0" } -jflex = { id = "org.xbib.gradle.plugin.jflex", version = "1.7.0" } +jflex = { id = "org.xbib.gradle.plugin.jflex", version = "3.0.2" } kotlin-jvm = { id = "org.jetbrains.kotlin.jvm", version.ref = "kotlin" } kotlin-multiplatform = { id = "org.jetbrains.kotlin.multiplatform", version.ref = "kotlin" } kotlin-serialization = { id = "org.jetbrains.kotlin.plugin.serialization", version.ref = "kotlin" }