diff --git a/build.gradle b/build.gradle index e8260dd7..428d115a 100644 --- a/build.gradle +++ b/build.gradle @@ -12,7 +12,7 @@ plugins { id 'de.itemis.mps.gradle.launcher' version '2.5.2.+' } -ext.jbrVers = '21.0.5-b631.8' +ext.jbrVers = '17.0.11-b1207.30' downloadJbr { jbrVersion = jbrVers @@ -27,9 +27,11 @@ if (System.env.CI != null && System.env.CI.toBoolean()) { ext.ciBuild = project.hasProperty("teamcity") } +ext.mpsVersion = '2024.1.1' + // Project versions -ext.major = '999' -ext.minor = '9' +ext.major = '2024' +ext.minor = '1' if (ciBuild) { String branch = GitBasedVersioning.gitBranch @@ -54,9 +56,7 @@ configurations { } dependencies { - // Use the following dependency for published releases: - // mps 'com.jetbrains:mps:2024.1' - mps 'com.jetbrains.mps:mps-prerelease:243.21565.111' + mps "com.jetbrains:mps:$mpsVersion" antLib "org.apache.ant:ant-junit:1.10.15" antLib "org.jacoco:org.jacoco.ant:0.8.12" }