activate migration checking

Author: Alexander Pann

build.gradle

@@ -1,4 +1,7 @@
 import de.itemis.mps.gradle.*
+import de.itemis.mps.gradle.tasks.MpsMigrate
+import de.itemis.mps.gradle.tasks.Remigrate
+import de.itemis.mps.gradle.downloadJBR.DownloadJbrForPlatform
 import groovy.xml.XmlSlurper
 import java.time.LocalDate
 import java.time.format.DateTimeFormatter
@@ -9,14 +12,13 @@ buildscript {
     repositories {
         maven { url 'https://artifacts.itemis.cloud/repository/maven-mps/' }
     }
-    dependencies {
-        classpath 'de.itemis.mps:mps-gradle-plugin:1.23.1.412.a54f29f'
-    }
 }
 
 plugins {
     id 'base'
     id 'maven-publish'
+    id 'de.itemis.mps.gradle.common' version '1.29.+'
+    id 'de.itemis.mps.gradle.launcher' version '2.5.2.+'
     id "com.github.breadmoirai.github-release" version "2.4.1"
     id "org.cyclonedx.bom" version "1.8.2"
 }
@@ -125,6 +127,7 @@ wrapper {
 
 configurations {
     mps
+    rerunMigrationsBackend
     languageLibs
     junitAnt
     pcollections // Synced to org.iets3.core.expr.base.collections.stubs/lib
@@ -133,6 +136,7 @@ configurations {
 
 dependencies {
     mps "com.jetbrains:mps:$mpsVersion"
+    rerunMigrationsBackend("de.itemis.mps.build-backends:remigrate:0.0.5.+")
     languageLibs "org.mpsqa:all-in-one:$mpsQAVersion"
     languageLibs "com.mbeddr:platform:$mbeddrVersionSelector"
     junitAnt 'org.apache.ant:ant-junit:1.10.6'
@@ -192,6 +196,8 @@ task resolveBigMath(type: Sync) {
 
 task resolveDependencies(dependsOn: ['downloadJbr', resolveMps, resolveLanguageLibs, resolvePcollections, resolveBigMath])
 
+ext.mpsHomeDir = resolveMps.destinationDir
+
 // Default arguments for ant scripts
 def defaultScriptArgs = [
         'mps.home'                          : resolveMps.destinationDir,
@@ -274,12 +280,37 @@ task failOnTestError() {
 buildAndRunTests.configure { finalizedBy failOnTestError }
 check.dependsOn buildAndRunTests
 
-tasks.register('migrate') {
+tasks.register('migrate', MpsMigrate) {
+    dependsOn(resolveMps, 'resolveMpsForModelcheck', 'downloadJbr', 'buildLanguages', 'buildAndRunTests')
+    javaLauncher = tasks.named('downloadJbr', DownloadJbrForPlatform).flatMap { it.javaLauncher }
+
+    haltOnPrecheckFailure = false
+    haltOnDependencyError = true
+
+    mpsHome = mpsHomeDir
+
+    projectDirectories.from('code/languages/org.iets3.opensource')
+    folderMacros['iets3.github.opensource.home'] = rootProject.layout.projectDirectory
 
+    pluginRoots.from(new File(mpsHomeDir, 'plugins'))
+
+    maxHeapSize = '4G'
 }
 
-tasks.register('remigrate') {
+tasks.register('remigrate', Remigrate) {
+    mustRunAfter('migrate')
+    mustRunAfter('buildLanguages', 'buildAndRunTests')
+
+    dependsOn(resolveMps, 'resolveMpsForModelcheck','downloadJbr')
+
+    javaLauncher = tasks.named('downloadJbr', DownloadJbrForPlatform).flatMap { it.javaLauncher }
 
+    mpsHome = mpsHomeDir
+    projectDirectories.from('code/languages/org.iets3.opensource')
+    folderMacros['iets3.github.opensource.home'] = rootProject.layout.projectDirectory
+
+    pluginRoots.from(new File(mpsHomeDir, 'plugins'))
+    maxHeapSize = '4G'
 }
 
 apply plugin: 'modelcheck'
@@ -301,7 +332,6 @@ modelcheck {
     maxHeap = "4G"
 }
 
-
 afterEvaluate {  project ->
     check.configure {
         dependsOn tasks.named('checkmodels')

settings.gradle

@@ -1,2 +1,11 @@
+pluginManagement {
+    repositories {
+        maven { url 'https://artifacts.itemis.cloud/repository/maven-mps' }
+
+        // Need to manually include the default Gradle plugin portal repository when overriding the defaults.
+        gradlePluginPortal()
+    }
+}
+
 rootProject.name = 'opensource'