build: fixing dependencies + create RCP for Snapshot 2018-04-06

mbeddr · Apr 6, 2018 · 61e26ee · 61e26ee
1 parent a32b397
commit 61e26ee
Showing 1 changed file with 14 additions and 2 deletions.
diff --git a/...al.nusmv/solutions/com.mbeddr.formal.nusmv.build/models/com.mbeddr.formal.nusmv.build.mps b/...al.nusmv/solutions/com.mbeddr.formal.nusmv.build/models/com.mbeddr.formal.nusmv.build.mps
@@ -337,7 +337,7 @@
     <node concept="2kB4xC" id="42jqVeFkUte" role="1l3spd">
       <property role="TrG5h" value="date" />
       <node concept="hHN3E" id="42jqVeFkUtf" role="aVJcv">
-        <property role="hHN3Y" value="20180319" />
+        <property role="hHN3Y" value="20180406" />
       </node>
     </node>
     <node concept="2kB4xC" id="42jqVeFkUtg" role="1l3spd">
@@ -408,7 +408,7 @@
       <node concept="aVJcg" id="4aeOpjlAysR" role="aVJcv">
         <node concept="NbPM2" id="4aeOpjlAysQ" role="aVJcq">
           <node concept="3Mxwew" id="4aeOpjlAysP" role="3MwsjC">
-            <property role="3MwjfP" value="2018-03-19" />
+            <property role="3MwjfP" value="2018-04-06" />
           </node>
         </node>
       </node>
@@ -1445,6 +1445,12 @@
             </node>
           </node>
         </node>
+        <node concept="1SiIV0" id="5H79n533bMq" role="3bR37C">
+          <node concept="3bR9La" id="5H79n533bMr" role="1SiIV1">
+            <property role="3bR36h" value="false" />
+            <ref role="3bR37D" to="ffeo:7Kfy9QB6KXW" resolve="jetbrains.mps.lang.core" />
+          </node>
+        </node>
       </node>
       <node concept="1E1JtD" id="42jqVeFkUuz" role="2G$12L">
         <property role="BnDLt" value="true" />
@@ -1667,6 +1673,12 @@
             <ref role="1Busuk" node="42jqVeFkUuz" resolve="com.mbeddr.formal.nusmv.tests" />
           </node>
         </node>
+        <node concept="1SiIV0" id="5H79n533bNM" role="3bR37C">
+          <node concept="3bR9La" id="5H79n533bNN" role="1SiIV1">
+            <property role="3bR36h" value="false" />
+            <ref role="3bR37D" node="42jqVeFkUuz" resolve="com.mbeddr.formal.nusmv.tests" />
+          </node>
+        </node>
       </node>
       <node concept="1E1JtD" id="42jqVeFkUuD" role="2G$12L">
         <property role="BnDLt" value="true" />