feat: support MPS 2025.2

Author: slisson

.github/workflows/build.yml

@@ -12,7 +12,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        mpsversion: [ "2020.3.6", "2021.1.4", "2021.2.6", "2021.3.5", "2022.2.4", "2022.3.3", "2023.2.2", "2023.3.2", "2024.1.1", "2024.3" ]
+        mpsversion: [ "2020.3.6", "2021.1.4", "2021.2.6", "2021.3.5", "2022.2.4", "2022.3.3", "2023.2.2", "2023.3.2", "2024.1.1", "2024.3", "2025.1.1", "2025.2.1" ]
         javaversion: [ 21 ]
     steps:
       - uses: actions/checkout@v3

build-tools-gradle-test/build.gradle.kts

@@ -5,10 +5,10 @@ buildscript {
         maven { url = uri("https://artifacts.itemis.cloud/repository/maven-mps/") }
     }
     dependencies {
-        classpath("com.jetbrains:mps-openapi:2021.1.4")
-        classpath("com.jetbrains:mps-core:2021.1.4")
-        classpath("com.jetbrains:mps-environment:2021.1.4")
-        classpath("com.jetbrains:mps-platform:2021.1.4")
+        classpath("com.jetbrains:mps-openapi:2025.2.1")
+        classpath("com.jetbrains:mps-core:2025.2.1")
+        classpath("com.jetbrains:mps-environment:2025.2.1")
+        classpath("com.jetbrains:mps-platform:2025.2.1")
     }
 }
 

build-tools-lib/src/main/kotlin/org/modelix/buildtools/BuildScriptGenerator.kt

@@ -948,11 +948,10 @@ class BuildScriptGenerator(
                 )
                 // https://raw.githubusercontent.com/JetBrains/MPS/2023.2/plugins/mps-build/solutions/mpsBuild/source_gen/jetbrains/mps/ide/build/mpsBootstrapCore.xml
                 // https://raw.githubusercontent.com/JetBrains/MPS/2023.3/plugins/mps-build/solutions/mpsBuild/source_gen/jetbrains/mps/ide/build/mpsBootstrapCore.xml
-                "2023.2", "2023.3", "2024.1", "2024.3" -> listOf(
+                else -> listOf(
                     "lib/ant/lib/ant-mps.jar",
                     "lib/util-8.jar",
                 )
-                else -> error("Unsupported MPS version: $mpsVersion ($majorVersion)")
             }
         }
     }