add jflex

This commit is contained in:
2024-04-03 01:33:41 +07:00
parent 29232018e5
commit df7b96b39d
24 changed files with 815 additions and 22 deletions
+8 -12
View File
@@ -1,7 +1,7 @@
plugins {
id("java")
id("org.jetbrains.kotlin.jvm") version "1.9.21"
id("org.jetbrains.intellij") version "1.16.1"
id("org.jetbrains.intellij") version "1.17.3"
}
group = "ru.crabs"
@@ -14,7 +14,9 @@ repositories {
// Include the generated files in the source set
sourceSets {
main {
kotlin.srcDirs("src/main/gen")
java {
srcDirs("src/main/gen")
}
}
}
@@ -24,17 +26,17 @@ intellij {
version.set("2023.1.5")
type.set("IC") // Target IDE Platform
plugins.set(listOf(/* Plugin Dependencies */))
plugins.set(listOf("com.intellij.java"))
}
tasks {
// Set the JVM compatibility versions
withType<JavaCompile> {
sourceCompatibility = "17"
targetCompatibility = "17"
sourceCompatibility = "11"
targetCompatibility = "11"
}
withType<org.jetbrains.kotlin.gradle.tasks.KotlinCompile> {
kotlinOptions.jvmTarget = "17"
kotlinOptions.jvmTarget = "11"
}
patchPluginXml {
@@ -42,12 +44,6 @@ tasks {
untilBuild.set("241.*")
}
signPlugin {
certificateChain.set(System.getenv("CERTIFICATE_CHAIN"))
privateKey.set(System.getenv("PRIVATE_KEY"))
password.set(System.getenv("PRIVATE_KEY_PASSWORD"))
}
publishPlugin {
token.set(System.getenv("PUBLISH_TOKEN"))
}