From 8398c7b67a741648ed37e26332e2d84a55be1867 Mon Sep 17 00:00:00 2001 From: Alexander Pann Date: Sun, 10 Nov 2024 23:04:12 +0100 Subject: [PATCH] update the build script --- build.gradle | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/build.gradle b/build.gradle index 24f9120a..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 = '17.0.8.1-b1000.32' +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:241.19072.10578' + mps "com.jetbrains:mps:$mpsVersion" antLib "org.apache.ant:ant-junit:1.10.15" antLib "org.jacoco:org.jacoco.ant:0.8.12" }