From 66164da6c55aba0498ef012ec2ef1430ae936555 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Sat, 14 Sep 2024 20:17:10 +0000
Subject: [PATCH 1/2] Bump org.xbib.gradle.plugin.jflex from 1.7.0 to 3.0.2

Bumps org.xbib.gradle.plugin.jflex from 1.7.0 to 3.0.2.

---
updated-dependencies:
- dependency-name: org.xbib.gradle.plugin.jflex
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
---
 gradle/libs.versions.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gradle/libs.versions.toml b/gradle/libs.versions.toml
index 82ba396235..62fc8bce2e 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" }

From 5509b8929f5750bf607b9a34cfa8210fcab2f45b Mon Sep 17 00:00:00 2001
From: Cosku Acay <coskuacay@gmail.com>
Date: Sat, 14 Sep 2024 13:46:44 -0700
Subject: [PATCH 2/2] Fix build

---
 compiler/build.gradle.kts | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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<org.xbib.gradle.plugin.JFlexTask>())
+    dependsOn(tasks.withType<org.xbib.gradle.plugin.jflex.JFlexTask>())
     dependsOn(tasks.withType<CompileCupTask>())
 }
 
@@ -76,7 +76,7 @@ tasks.withType<Test>().configureEach {
 //   remove if/when Dokka fixes this issue.
 tasks.withType<org.jetbrains.dokka.gradle.DokkaTaskPartial>().configureEach {
     dependsOn(compileCup)
-    dependsOn(tasks.withType<org.xbib.gradle.plugin.JFlexTask>())
+    dependsOn(tasks.withType<org.xbib.gradle.plugin.jflex.JFlexTask>())
 }
 
 abstract class CompileCupTask : DefaultTask() {