rcp: added rcp.pluginSolution

mbeddr · Sep 14, 2018 · 51c72d1 · 51c72d1
1 parent 6e95ad0
commit 51c72d1
Show file tree

Hide file tree

Showing 5 changed files with 861 additions and 76 deletions.
diff --git a/code/languages/com.mbeddr.formal.nusmv/.mps/modules.xml b/code/languages/com.mbeddr.formal.nusmv/.mps/modules.xml
@@ -27,6 +27,7 @@
       <modulePath path="$PROJECT_DIR$/solutions/com.mbeddr.formal.nusmv.cbd.pluginSolution/com.mbeddr.formal.nusmv.cbd.pluginSolution.msd" folder="lang" />
       <modulePath path="$PROJECT_DIR$/solutions/com.mbeddr.formal.nusmv.importer.rt/com.mbeddr.formal.nusmv.importer.rt.msd" folder="lang" />
       <modulePath path="$PROJECT_DIR$/solutions/com.mbeddr.formal.nusmv.pluginSolution/com.mbeddr.formal.nusmv.pluginSolution.msd" folder="lang" />
+      <modulePath path="$PROJECT_DIR$/solutions/com.mbeddr.formal.rcp.pluginSolution/com.mbeddr.formal.rcp.pluginSolution.msd" folder="lang" />
       <modulePath path="$PROJECT_DIR$/tests/com.mbeddr.formal.nusmv.sandbox/com.mbeddr.formal.nusmv.sandbox.msd" folder="tests" />
       <modulePath path="$PROJECT_DIR$/tests/test.mbeddr.formal.nusmv/test.mbeddr.formal.nusmv.msd" folder="tests" />
     </projectModules>