Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
18 changes: 9 additions & 9 deletions build.gradle.kts
Original file line number Diff line number Diff line change
Expand Up @@ -2,15 +2,15 @@ import org.jetbrains.kotlin.gradle.tasks.KotlinCompile
import org.sonarqube.gradle.SonarQubePlugin

plugins {
id("org.jetbrains.kotlin.jvm") version "2.3.20" apply (false)
id("org.jetbrains.kotlin.jvm") version "2.4.10" apply (false)
//id("org.jetbrains.dokka") version "2.0.0" apply (false)
`maven-publish`
`java-library`
id("com.diffplug.spotless") version "8.4.0" apply false
id("org.sonarqube") version "7.2.3.7755"
id("com.diffplug.spotless") version "8.9.0" apply false
id("org.sonarqube") version "7.3.1.8318"

id("io.github.gradle-nexus.publish-plugin") version "2.0.0"
id("com.github.ben-manes.versions") version "0.53.0"
id("com.github.ben-manes.versions") version "0.56.0"
}

repositories {
Expand Down Expand Up @@ -53,14 +53,14 @@ subprojects {
plugin("org.jetbrains.kotlin:kotlin-stdlib-jdk8")
plugin("com.github.ajalt:clikt:2.8.0")
plugin("org.jetbrains:annotations:26.1.0")
plugin("org.slf4j:slf4j-api:2.0.17")
plugin("org.slf4j:slf4j-api:2.0.18")

val testImplementation by configurations
testImplementation("org.junit.jupiter:junit-jupiter-api:6.0.3")
testImplementation("org.junit.jupiter:junit-jupiter-params:6.0.3")
testRuntimeOnly("org.junit.jupiter:junit-jupiter-engine:6.0.3")
testImplementation("org.junit.jupiter:junit-jupiter-api:6.1.2")
testImplementation("org.junit.jupiter:junit-jupiter-params:6.1.2")
testRuntimeOnly("org.junit.jupiter:junit-jupiter-engine:6.1.2")
testImplementation("com.google.truth:truth:1.4.5")
testImplementation("org.slf4j:slf4j-simple:2.0.17")
testImplementation("org.slf4j:slf4j-simple:2.0.18")
}

val javaVersion = 21
Expand Down
4 changes: 2 additions & 2 deletions cfgautomacro/build.gradle.kts
Original file line number Diff line number Diff line change
Expand Up @@ -11,8 +11,8 @@ version = "0.1"
val plugin by configurations

dependencies {
implementation("org.key-project:key.core:2.12.3")
implementation("org.key-project:key.util:2.12.3")
implementation("org.key-project:key.core:3.0.0")
implementation("org.key-project:key.util:3.0.0")
}

tasks.register<ShadowJar>("miniShadowJar") {
Expand Down
Binary file modified gradle/wrapper/gradle-wrapper.jar
Binary file not shown.
2 changes: 1 addition & 1 deletion gradle/wrapper/gradle-wrapper.properties
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
distributionBase=GRADLE_USER_HOME
distributionPath=wrapper/dists
distributionUrl=https\://services.gradle.org/distributions/gradle-9.4.1-bin.zip
distributionUrl=https\://services.gradle.org/distributions/gradle-9.6.1-bin.zip
networkTimeout=10000
validateDistributionUrl=true
zipStoreBase=GRADLE_USER_HOME
Expand Down
6 changes: 3 additions & 3 deletions gradlew

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

35 changes: 12 additions & 23 deletions gradlew.bat
100755 → 100644

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

10 changes: 5 additions & 5 deletions ide/build.gradle.kts
Original file line number Diff line number Diff line change
@@ -1,22 +1,22 @@
plugins {
application
antlr
id("com.gradleup.shadow") version "9.4.1"
id("com.gradleup.shadow") version "9.6.1"
id("org.openjfx.javafxplugin") version "0.1.0"
}


dependencies {
implementation("org.key-project:key.core:2.12.3")
implementation("org.key-project:key.util:2.12.3")
implementation("org.key-project:key.core:3.0.0")
implementation("org.key-project:key.util:3.0.0")
implementation("com.miglayout:miglayout-javafx:11.4.3")
implementation("org.fxmisc.richtext:richtextfx:0.11.7")
implementation("org.kordamp.ikonli:ikonli-antdesignicons-pack:12.4.0")
implementation("org.kordamp.ikonli:ikonli-fontawesome5-pack:12.4.0")
implementation("org.kordamp.ikonli:ikonli-javafx:12.4.0")
compileOnly("org.projectlombok:lombok:1.18.44")
compileOnly("org.projectlombok:lombok:1.18.46")
implementation("org.jetbrains.kotlin:kotlin-reflect")
implementation("org.slf4j:slf4j-simple:2.0.17")
implementation("org.slf4j:slf4j-simple:2.0.18")
implementation("no.tornado:tornadofx:1.7.20")
implementation("org.antlr:antlr4-runtime:4.13.2")
antlr("org.antlr:antlr4:4.13.2")
Expand Down
10 changes: 5 additions & 5 deletions miniweb/build.gradle.kts
Original file line number Diff line number Diff line change
@@ -1,19 +1,19 @@
plugins {
application
id("com.gradleup.shadow") version "9.4.1"
id("com.gradleup.shadow") version "9.6.1"
}

val ktor_version = "1.6.7"

dependencies {
implementation("org.jetbrains.kotlin:kotlin-reflect")
implementation("io.ktor:ktor-server-netty:3.4.2")
implementation("io.ktor:ktor-server-netty:3.5.1")
implementation("io.ktor:ktor-html-builder:1.6.8")
implementation("io.github.microutils:kotlin-logging:4.0.0-beta-2")
implementation("org.slf4j:slf4j-simple:2.0.17")
implementation("org.slf4j:slf4j-simple:2.0.18")

implementation("org.key-project:key.core:2.12.3")
implementation("org.key-project:key.util:2.12.3")
implementation("org.key-project:key.core:3.0.0")
implementation("org.key-project:key.util:3.0.0")
}

repositories {
Expand Down
Loading