Cleanup: Making the build script fit for the future. - #3552
Draft
wadoon wants to merge 4 commits into
Draft
Conversation
wadoon
changed the title
wadoon
added
the
🛠 Maintenance
wadoon
force-pushed
the
weigl/cleanup/gradle
branch
2 times, most recently
from
February 25, 2025 17:46
a8bb94b to
e333703
Compare
wadoon
force-pushed
the
weigl/cleanup/gradle
branch
from
March 16, 2025 00:58
e333703 to
e4b7aa2
Compare
wadoon
force-pushed
the
weigl/cleanup/gradle
branch
from
June 8, 2025 14:05
e4b7aa2 to
59ae0fb
Compare
wadoon
force-pushed
the
weigl/cleanup/gradle
branch
from
August 16, 2025 05:40
59ae0fb to
5b61e43
Compare
Member
Author
|
In general, this branch is fit, but the
|
wadoon
force-pushed
the
weigl/cleanup/gradle
branch
from
August 23, 2025 13:22
51a878a to
6af6080
Compare
wadoon
force-pushed
the
weigl/cleanup/gradle
branch
from
September 7, 2025 22:39
6af6080 to
95539ae
Compare
wadoon
force-pushed
the
weigl/cleanup/gradle
branch
from
September 25, 2025 17:16
95539ae to
5a3fd46
Compare
wadoon
force-pushed
the
weigl/cleanup/gradle
branch
from
November 20, 2025 15:14
5a3fd46 to
3805fab
Compare
# Conflicts: # build.gradle # key.core.example/build.gradle.kts # key.core/build.gradle # key.ncore.calculus/build.gradle # key.removegenerics/build.gradle.kts # key.ui/build.gradle # keyext.isabelletranslation/build.gradle # keyext.proofmanagement/build.gradle.kts # recoder/build.gradle # settings.gradle
wadoon
force-pushed
the
weigl/cleanup/gradle
branch
from
March 20, 2026 08:39
3805fab to
1b07e88
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
The best practices in Gradle have been moved further. This PR tries to follow.
It introduced:
One common
libs.versions.tomlfile for a global handling of dependencies.This dependency management tries to avoid using the same Maven coordinates in various places.
A different solution would be using a BOM.
It introduces
java-conventionplugin, which assimilates the oldsubproject { ... }configurationBuild scripts are transferred to kts (Kotlin) for more type safety.