Skip to content

Commit

Permalink
com.mbeddr.formal.nusmv: update the build script
Browse files Browse the repository at this point in the history
  • Loading branch information
@alexanderpann
alexanderpann committed Jan 29, 2024
1 parent 038f907 commit 514ae98
Showing 1 changed file with 20 additions and 21 deletions.
41 changes: 20 additions & 21 deletions ...al.nusmv/solutions/com.mbeddr.formal.nusmv.build/models/com.mbeddr.formal.nusmv.build.mps
View file
Original file line number Diff line number Diff line change
Expand Up @@ -162,7 +162,6 @@
</concept>
<concept id="868032131020265945" name="jetbrains.mps.build.mps.structure.BuildMPSPlugin" flags="ng" index="3b7kt6" />
<concept id="5253498789149381388" name="jetbrains.mps.build.mps.structure.BuildMps_Module" flags="ng" index="3bQrTs">
<property id="1500819558096356884" name="doNotCompile" index="2GAjPV" />
<child id="5253498789149547825" name="sources" index="3bR31x" />
<child id="5253498789149547704" name="dependencies" index="3bR37C" />
</concept>
Expand Down Expand Up @@ -733,7 +732,6 @@
<property role="BnDLt" value="true" />
<property role="TrG5h" value="com.mpsbasics.docx4j.lib" />
<property role="3LESm3" value="71bb25aa-20fa-4c18-8954-1b176576f52d" />
<property role="2GAjPV" value="true" />
<node concept="398BVA" id="6hyv0iVPlHB" role="3LF7KH">
<ref role="398BVh" node="6hyv0iVPlDT" resolve="mpsbasics.code" />
<node concept="2Ry0Ak" id="6hyv0iVPlUt" role="iGT6I">
Expand Down Expand Up @@ -4036,25 +4034,6 @@
</node>
</node>
</node>
<node concept="1SiIV0" id="IiE7lRnYjQ" role="3bR37C">
<node concept="1BurEX" id="IiE7lRnYjR" role="1SiIV1">
<node concept="398BVA" id="IiE7lRnYjD" role="1BurEY">
<ref role="398BVh" node="6mm$FLYQyYs" resolve="mbeddr.formal.nusmv.code" />
<node concept="2Ry0Ak" id="IiE7lRnYjE" role="iGT6I">
<property role="2Ry0Am" value="solutions" />
<node concept="2Ry0Ak" id="IiE7lRnYjF" role="2Ry0An">
<property role="2Ry0Am" value="com.mbeddr.formal.nusmv.importer.rt" />
<node concept="2Ry0Ak" id="IiE7lRnYjG" role="2Ry0An">
<property role="2Ry0Am" value="lib" />
<node concept="2Ry0Ak" id="IiE7lRnYjH" role="2Ry0An">
<property role="2Ry0Am" value="parboiled-java-1.4.1" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="1SiIV0" id="IiE7lRnYk5" role="3bR37C">
<node concept="1BurEX" id="IiE7lRnYk6" role="1SiIV1">
<node concept="398BVA" id="IiE7lRnYjS" role="1BurEY">
Expand Down Expand Up @@ -4136,6 +4115,25 @@
<ref role="3bR37D" to="90a9:3$A0JaN5bpX" resolve="MPS.ThirdParty" />
</node>
</node>
<node concept="1SiIV0" id="cyyxQXALyw" role="3bR37C">
<node concept="1BurEX" id="cyyxQXALyx" role="1SiIV1">
<node concept="398BVA" id="cyyxQXALyj" role="1BurEY">
<ref role="398BVh" node="6mm$FLYQyYs" resolve="mbeddr.formal.nusmv.code" />
<node concept="2Ry0Ak" id="cyyxQXALyk" role="iGT6I">
<property role="2Ry0Am" value="solutions" />
<node concept="2Ry0Ak" id="cyyxQXALyl" role="2Ry0An">
<property role="2Ry0Am" value="com.mbeddr.formal.nusmv.importer.rt" />
<node concept="2Ry0Ak" id="cyyxQXALym" role="2Ry0An">
<property role="2Ry0Am" value="lib" />
<node concept="2Ry0Ak" id="cyyxQXALyn" role="2Ry0An">
<property role="2Ry0Am" value="parboiled-java-1.4.1.jar" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="1E1JtA" id="6adXBxxUwrY" role="2G$12L">
<property role="BnDLt" value="true" />
Expand Down Expand Up @@ -5949,3 +5947,4 @@
<node concept="3b7kt6" id="Rz1_dEDp_X" role="10PD9s" />
</node>
</model>

0 comments on commit 514ae98

Please sign in to comment.