Merge pull request #1352 from IETS3/bugfix/revert-mps-version-to-latest

reverted accidentally merged changes to use prerelease MPS version on…

Author: wsafonov

build.gradle

@@ -41,16 +41,17 @@ if (project.hasProperty("forceCI")) {
 
 def forceLocal = project.hasProperty("forceLocalDependencies")
 
-def major = '2025'
-def minor = '1'
-def bugfix = ''
+def major = "9999"
+def minor = "9"
 
 // Dependency versions
 
-ext.mpsVersion = "$major.$minor" + (bugfix ? ".$bugfix" : '')
 
+
+ext.mpsVersion = "251.25410.10152"
 def mpsQAVersion = "$major.$minor+"
 
+
 // if building a against a special branch from mbeddr is required add the name here
 // the name is enough no trailing "." is required, also the plain name from git can
 // be used here. No need to convert "/" the script will take care of that.
@@ -118,7 +119,9 @@ configurations {
 }
 
 dependencies {
-    mps "com.jetbrains:mps:$mpsVersion"
+    // For a release version of MPS, use this dependency:
+    //mps "com.jetbrains:mps:$mpsBuild"
+    mps "com.jetbrains.mps:mps-prerelease:$mpsVersion"
     rerunMigrationsBackend("de.itemis.mps.build-backends:remigrate:0.2.0.+")
     languageLibs "org.mpsqa:all-in-one:$mpsQAVersion"
     languageLibs "com.mbeddr:platform:$mbeddrVersion"