diff --git a/build.gradle.kts b/build.gradle.kts
index 011d5d31..77189cdf 100644
--- a/build.gradle.kts
+++ b/build.gradle.kts
@@ -172,13 +172,26 @@ tasks {
destination = file("code/languages/com.mbeddr.formal.nusmv/.mps/libraries.xml")
}
+ // "com.fasten.safety.rcp.pluginSolution" makes use of the mbeddr actionsfilter plugin.
+ // The "actionsfilter" plugin and dependencies must be copied to "MPS\plugins" folder in order to load properly.
+ val copy_mbeddr_actionsfilter by registering(Copy::class) {
+ dependsOn(resolveLanguageLibs)
+ description="Installs 'com.mbeddr.mpsutil.actionsfilter' plugin and its dependencies into 'MPS\\plugins' directory."
+ from("$dependenciesDir/com.mbeddr.platform")
+ include("com.mbeddr.mpsutil.actionsfilter/",
+ "de.itemis.mps.editor.widgets/",
+ "de.slisson.mps.hacks/",
+ "de.itemis.mps.tooltips/")
+ into("$mpsHomeDir/plugins")
+ }
+
val setup by registering {
dependsOn(generateLibrariesXml)
description = "Set up MPS project libraries. Libraries are read in from projectlibraries.properties file."
}
val build_allScripts by registering(BuildLanguages::class) {
- dependsOn(resolveMps, resolveLanguageLibs)
+ dependsOn(resolveMps, resolveLanguageLibs, copy_mbeddr_actionsfilter)
script = "$buildDir/scripts/build_all_scripts.xml"
}
diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.rcp.pluginSolution/models/com.fasten.safety.rcp.pluginSolution.plugin.mps b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.rcp.pluginSolution/models/com.fasten.safety.rcp.pluginSolution.plugin.mps
index 4a0a3d33..820d2f42 100644
--- a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.rcp.pluginSolution/models/com.fasten.safety.rcp.pluginSolution.plugin.mps
+++ b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.rcp.pluginSolution/models/com.fasten.safety.rcp.pluginSolution.plugin.mps
@@ -5,6 +5,7 @@
+
@@ -220,6 +221,15 @@
+
+
+
+
+
+
+
+
+
@@ -1436,5 +1446,24 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.build/models/com.mbeddr.formal.safety.build.mps b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.build/models/com.mbeddr.formal.safety.build.mps
index b06173c5..780eccc0 100644
--- a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.build/models/com.mbeddr.formal.safety.build.mps
+++ b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.build/models/com.mbeddr.formal.safety.build.mps
@@ -14116,6 +14116,9 @@
+
+
+