adjust build script and versions to 20251

Author: mhuster23

build.gradle.kts

@@ -3,6 +3,7 @@ import de.itemis.mps.gradle.GitBasedVersioning
 import de.itemis.mps.gradle.Macro
 import de.itemis.mps.gradle.RunAntScript
 import de.itemis.mps.gradle.TestLanguages
+import de.itemis.mps.gradle.tasks.MpsCheck
 import de.itemis.mps.gradle.tasks.MpsMigrate
 import de.itemis.mps.gradle.tasks.Remigrate
 import groovy.util.Node
@@ -21,7 +22,6 @@ plugins {
     alias(libs.plugins.githubRelease)
     alias(libs.plugins.cyclonedxBom)
     alias(libs.plugins.downloadJbr)
-    alias(libs.plugins.modelcheck)
 }
 
 repositories {
@@ -282,21 +282,22 @@ val remigrate by tasks.registering(Remigrate::class) {
     maxHeapSize = "4G"
 }
 
-modelcheck {
-    projectLocation = File("$projectDir/code/languages/org.iets3.opensource")
-    mpsLocation = mpsHomeDir.asFile
-    pluginsProperty.set(emptyList())
-    mpsConfig = mps
-    macros = listOf(Macro("iets3.github.opensource.home", "$projectDir"))
-    junitFile = layout.buildDirectory.file("TEST-checkProject.xml").get().asFile
-    junitFormat = "message"
-    errorNoFail = true
+val checkmodels by tasks.registering(MpsCheck::class) {
+    dependsOn(resolveMPS)
+    javaLauncher.set(tasks.downloadJbr.get().javaLauncher)
+
+    projectLocation.set(file("$projectDir/code/languages/org.iets3.opensource"))
+    mpsHome.set(mpsHomeDir)
+    pluginRoots.add(mpsHomeDir.dir("plugins"))
+    folderMacros.put("iets3.github.opensource.home", layout.projectDirectory)
+
+    junitFile.set(layout.buildDirectory.file("TEST-checkProject.xml"))
+    junitFormat.set("message")
+    ignoreFailures = true
     debug = false
-    maxHeap = "4G"
+    maxHeapSize = "4G"
 }
 
-tasks.checkmodels { dependsOn(resolveMPS) }
-
 val packageLanguages by tasks.registering(Zip::class) {
     dependsOn(buildLanguages, tasks.cyclonedxBom)
     from(artifactsDir) {

gradle/libs.versions.toml

@@ -1,13 +1,13 @@
 [versions]
-mpsVersion = "2024.1.3"
-mpsQaVersion = "2024.1.+"
+mpsVersion = "2025.1"
+mpsQaVersion = "2025.1.+"
 # if you want to build against a specific mbeddr branch, prepend it here with a dot.
 # NOTE: instances of '/' in the branch name need to be replaced by '-'
 # example: mbeddrVersion="feature-my_new_feature.2023.2.+"
-mbeddrVersion = "2024.1.+"
+mbeddrVersion = "2025.1.+"
 
 gradle = "8.13"
-jbr = "17.0.11-b1207.30"
+jbr = "21.0.6-b895.109"
 
 [libraries]
 mps = { group = "com.jetbrains", name = "mps", version.ref = "mpsVersion" }