wip

KeYProject · Feb 20, 2025 · 5b07381 · 5b07381
1 parent b01119c
commit 5b07381
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 6 deletions.
diff --git a/buildSrc/src/main/kotlin/java-convention.gradle.kts b/buildSrc/src/main/kotlin/java-convention.gradle.kts
@@ -18,9 +18,6 @@ plugins {
     id("org.checkerframework") version "0.6.48"
 }
 
-group = rootProject.group
-version = rootProject.version
-
 repositories {
     mavenCentral()
 }

diff --git a/gradle/wrapper/gradle-wrapper.properties b/gradle/wrapper/gradle-wrapper.properties
@@ -1,5 +1,5 @@
 distributionBase=GRADLE_USER_HOME
 distributionPath=wrapper/dists
-distributionUrl=https\://services.gradle.org/distributions/gradle-8.7-bin.zip
+distributionUrl=https\://services.gradle.org/distributions/gradle-8.12-bin.zip
 zipStoreBase=GRADLE_USER_HOME
 zipStorePath=wrapper/dists
diff --git a/settings.gradle b/settings.gradle
@@ -1,7 +1,7 @@
 // https://docs.gradle.org/current/userguide/version_catalogs.html#sec:importing-catalog-from-file
-/*
+
 include "key.util"
-include "key.ui"
+/*include "key.ui"
 include "key.ncore"
 include "key.core"
 include "key.core.rifl"