natas_hw
/
mps-coderules
mirror of https://github.com/JetBrains/mps-coderules
0
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Bumped up plugin version to 0.4

This commit is contained in:
Fedor Isakov 2018-04-05 12:40:17 +02:00
parent a6c31b64b7
commit bfe74e3c7c
4 changed files with 35 additions and 35 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.travis.yml
View File

@ -6,7 +6,7 @@ deploy:
- provider: releases
api_key:
secure: dOEX78/Th6n5XAbfQKT8DCQbQOqE9C4etqtH7OsI4snYAUkZdxHmdmuFWoMqwnU9nbR+17+2f9XPpE9BfslnxMP21lvn6AP5jScFgeZzV1KJ7kPg1H8buxLvGiQLq1vjNBrmT/Fg5S7tZFWSljEVKRQczpbijdtiTTzdRu/dGCPrLJiijS1uSJet6AwJ4qd+HIXsrVlPny5XL36SCiF88HiYO1vMQFo3pOPCrELfSLHHmLohcdcLy21BTMsbaZwrFzgb4xnmoFRRMiqVOi0z/zOTCNz6AWwfZ+RrAS2YmBSMeIL0R0K22P1WStg1NiYYaapoMf1AESW0VdKm6bSxD2SgxdG7V0hGbOFpzd5uZ22PxtishIfWerwvHCOey2JgH/xl4oGmLqwxmaWJMIrsWI5ObSePFbukKH6kkdGCrZq83cnJonYNb8KckBN997iQI12AKahUDnHg+Se62KANqogcWpWCztCAzgyqOb0swYBQ53vUzwciwul2yzr8Hrm5N32OY9UcK5Hx9pRtSr3c9ykJybdPnzUcCJGdxvNdDek21fx41q+1Qr2EgeJon8BmBpyLwfngIL3DRFEcfxQzramV6kVRI1T67Pk6xD+mVrYDGFbGAGkElEvdrlnOFzWv0Pza8cIv9i13B4sNdQOYtyEwaT0UvzklMVHw8ifYT0M=
file: build/artifacts/typechecking-plugin//typechecking-0.3.zip
file: build/artifacts/typechecking-plugin//typechecking-0.4.zip
skip_cleanup: true
on:
branch: master

2
build.gradle
View File

@ -87,7 +87,7 @@ task generateUpdatePluginsXml {
mkdir(updatesDir)
def baseUrl = "https://github.com/fisakov/constraints-typechecking/releases/download"
def zip = "/typechecking-0.3.zip"
def zip = "/typechecking-0.4.zip"
file(updatesDir + "/updatePlugins.xml").withWriter { w ->
new MarkupBuilder(new IndentPrinter(w, " ", true)).

62
build.xml
View File

@ -868,15 +868,15 @@
<copy todir="${build.layout}/tests/lib">
<fileset dir="${mps.macro.logic_home}/typechecking/solutions/jetbrains.mps.typechecking/lib" />
</copy>
<mkdir dir="${build.tmp}/default/typechecking-0.3.zip" />
<mkdir dir="${build.tmp}/default/typechecking-0.3.zip/typechecking" />
<mkdir dir="${build.tmp}/default/typechecking-0.3.zip/typechecking/META-INF" />
<echoxml file="${build.tmp}/default/typechecking-0.3.zip/typechecking/META-INF/plugin.xml">
<mkdir dir="${build.tmp}/default/typechecking-0.4.zip" />
<mkdir dir="${build.tmp}/default/typechecking-0.4.zip/typechecking" />
<mkdir dir="${build.tmp}/default/typechecking-0.4.zip/typechecking/META-INF" />
<echoxml file="${build.tmp}/default/typechecking-0.4.zip/typechecking/META-INF/plugin.xml">
<idea-plugin xmlns:xi="http://www.w3.org/2001/XInclude">
<id>jetbrains.mps.typechecking</id>
<name>Typechecking with Constraint Rules</name>
<description>Experimental support for type checking with constraint rules</description>
<version>0.3-b${ci.build.num}</version>
<version>0.4-b${ci.build.num}</version>
<vendor url="jetbrains.com/mps">JetBrains s.r.o.</vendor>
<extensions defaultExtensionNs="com.intellij">
@ -884,7 +884,7 @@
</extensions>
</idea-plugin>
</echoxml>
<mkdir dir="${build.tmp}/default/typechecking-0.3.zip/typechecking/languages" />
<mkdir dir="${build.tmp}/default/typechecking-0.4.zip/typechecking/languages" />
<mkdir dir="${build.tmp}/default/jetbrains.mps.logic.jar1" />
<mkdir dir="${build.tmp}/default/jetbrains.mps.logic.jar1/META-INF" />
<echoxml file="${build.tmp}/default/jetbrains.mps.logic.jar1/META-INF/module.xml">
@ -915,7 +915,7 @@
<sources jar="jetbrains.mps.logic-src.jar" descriptor="jetbrains.mps.logic.mpl" />
</module>
</echoxml>
<jar destfile="${build.tmp}/default/typechecking-0.3.zip/typechecking/languages/jetbrains.mps.logic.jar" duplicate="preserve">
<jar destfile="${build.tmp}/default/typechecking-0.4.zip/typechecking/languages/jetbrains.mps.logic.jar" duplicate="preserve">
<fileset dir="${build.tmp}/java/out/jetbrains.mps.logic" />
<fileset dir="${basedir}/logic/languages/jetbrains.mps.logic" includes="icons/**, resources/**" />
<fileset dir="${mps.macro.logic_home}/logic/languages/jetbrains.mps.logic/source_gen" includes="**/trace.info, **/exports, **/*.mps, **/checkpoints" />
@ -943,7 +943,7 @@
<sources jar="jetbrains.mps.logic-src.jar" descriptor="jetbrains.mps.logic.mpl" />
</module>
</echoxml>
<jar destfile="${build.tmp}/default/typechecking-0.3.zip/typechecking/languages/jetbrains.mps.logic-generator.jar" duplicate="preserve">
<jar destfile="${build.tmp}/default/typechecking-0.4.zip/typechecking/languages/jetbrains.mps.logic-generator.jar" duplicate="preserve">
<fileset dir="${build.tmp}/java/out/jetbrains.mps.logic#6626732309150416985" />
<fileset dir="${build.tmp}/default/jetbrains.mps.logic-generator.jar1" />
</jar>
@ -953,7 +953,7 @@
<copyModels todir="${build.tmp}/customProcessors/copyModels/logic-languages-jetbrains.mps.logic-languageModels1">
<fileset dir="${mps.macro.logic_home}/logic/languages/jetbrains.mps.logic/languageModels" includes="**/*.mps, **/*.metadata, **/*.history, **/*.mpsr, **/.model" />
</copyModels>
<jar destfile="${build.tmp}/default/typechecking-0.3.zip/typechecking/languages/jetbrains.mps.logic-src.jar" duplicate="preserve">
<jar destfile="${build.tmp}/default/typechecking-0.4.zip/typechecking/languages/jetbrains.mps.logic-src.jar" duplicate="preserve">
<fileset dir="${mps.macro.logic_home}/logic/languages/jetbrains.mps.logic/generator/source_gen">
<exclude name="**/trace.info" />
<exclude name="**/exports" />
@ -987,11 +987,11 @@
<sources jar="jetbrains.mps.logic.reactor-src.jar" descriptor="jetbrains.mps.logic.reactor.msd" />
</module>
</echoxml>
<jar destfile="${build.tmp}/default/typechecking-0.3.zip/typechecking/languages/jetbrains.mps.logic.reactor.jar" duplicate="preserve">
<jar destfile="${build.tmp}/default/typechecking-0.4.zip/typechecking/languages/jetbrains.mps.logic.reactor.jar" duplicate="preserve">
<fileset dir="${basedir}/logic/solutions/jetbrains.mps.logic.reactor" includes="icons/**, resources/**" />
<fileset dir="${build.tmp}/default/jetbrains.mps.logic.reactor.jar1" />
</jar>
<jar destfile="${build.tmp}/default/typechecking-0.3.zip/typechecking/languages/jetbrains.mps.logic.reactor-src.jar" duplicate="preserve">
<jar destfile="${build.tmp}/default/typechecking-0.4.zip/typechecking/languages/jetbrains.mps.logic.reactor-src.jar" duplicate="preserve">
<zipfileset file="${basedir}/logic/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd" prefix="module" />
</jar>
<mkdir dir="${build.tmp}/default/jetbrains.mps.logic.runtime.jar1" />
@ -1016,7 +1016,7 @@
<sources jar="jetbrains.mps.logic.runtime-src.jar" descriptor="jetbrains.mps.logic.runtime.msd" />
</module>
</echoxml>
<jar destfile="${build.tmp}/default/typechecking-0.3.zip/typechecking/languages/jetbrains.mps.logic.runtime.jar" duplicate="preserve">
<jar destfile="${build.tmp}/default/typechecking-0.4.zip/typechecking/languages/jetbrains.mps.logic.runtime.jar" duplicate="preserve">
<fileset dir="${build.tmp}/java/out/jetbrains.mps.logic.runtime" />
<fileset dir="${basedir}/logic/languages/jetbrains.mps.logic/runtime" includes="icons/**, resources/**" />
<fileset dir="${mps.macro.logic_home}/logic/languages/jetbrains.mps.logic/runtime/source_gen" includes="**/trace.info, **/exports, **/*.mps, **/checkpoints" />
@ -1025,7 +1025,7 @@
<copyModels todir="${build.tmp}/customProcessors/copyModels/logic-languages-jetbrains.mps.logic-runtime-models1">
<fileset dir="${mps.macro.logic_home}/logic/languages/jetbrains.mps.logic/runtime/models" includes="**/*.mps, **/*.metadata, **/*.history, **/*.mpsr, **/.model" />
</copyModels>
<jar destfile="${build.tmp}/default/typechecking-0.3.zip/typechecking/languages/jetbrains.mps.logic.runtime-src.jar" duplicate="preserve">
<jar destfile="${build.tmp}/default/typechecking-0.4.zip/typechecking/languages/jetbrains.mps.logic.runtime-src.jar" duplicate="preserve">
<fileset dir="${mps.macro.logic_home}/logic/languages/jetbrains.mps.logic/runtime/source_gen">
<exclude name="**/trace.info" />
<exclude name="**/exports" />
@ -1066,7 +1066,7 @@
<sources jar="jetbrains.mps.lang.typesystem2-src.jar" descriptor="jetbrains.mps.lang.typesystem2.mpl" />
</module>
</echoxml>
<jar destfile="${build.tmp}/default/typechecking-0.3.zip/typechecking/languages/jetbrains.mps.lang.typesystem2.jar" duplicate="preserve">
<jar destfile="${build.tmp}/default/typechecking-0.4.zip/typechecking/languages/jetbrains.mps.lang.typesystem2.jar" duplicate="preserve">
<fileset dir="${build.tmp}/java/out/jetbrains.mps.lang.typesystem2" />
<fileset dir="${basedir}/typesystem2/languages/jetbrains.mps.lang.typesystem2" includes="icons/**, resources/**" />
<fileset dir="${mps.macro.logic_home}/typesystem2/languages/jetbrains.mps.lang.typesystem2/source_gen" includes="**/trace.info, **/exports, **/*.mps, **/checkpoints" />
@ -1095,7 +1095,7 @@
<sources jar="jetbrains.mps.lang.typesystem2-src.jar" descriptor="jetbrains.mps.lang.typesystem2.mpl" />
</module>
</echoxml>
<jar destfile="${build.tmp}/default/typechecking-0.3.zip/typechecking/languages/jetbrains.mps.lang.typesystem2-generator.jar" duplicate="preserve">
<jar destfile="${build.tmp}/default/typechecking-0.4.zip/typechecking/languages/jetbrains.mps.lang.typesystem2-generator.jar" duplicate="preserve">
<fileset dir="${build.tmp}/java/out/jetbrains.mps.lang.typesystem2#4578927328670739933" />
<fileset dir="${build.tmp}/default/jetbrains.mps.lang.typesystem2-generator.jar1" />
</jar>
@ -1105,7 +1105,7 @@
<copyModels todir="${build.tmp}/customProcessors/copyModels/typesystem2-languages-jetbrains.mps.lang.typesystem2-languageModels1">
<fileset dir="${mps.macro.logic_home}/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels" includes="**/*.mps, **/*.metadata, **/*.history, **/*.mpsr, **/.model" />
</copyModels>
<jar destfile="${build.tmp}/default/typechecking-0.3.zip/typechecking/languages/jetbrains.mps.lang.typesystem2-src.jar" duplicate="preserve">
<jar destfile="${build.tmp}/default/typechecking-0.4.zip/typechecking/languages/jetbrains.mps.lang.typesystem2-src.jar" duplicate="preserve">
<fileset dir="${mps.macro.logic_home}/typesystem2/languages/jetbrains.mps.lang.typesystem2/generator/source_gen">
<exclude name="**/trace.info" />
<exclude name="**/exports" />
@ -1146,7 +1146,7 @@
<sources jar="jetbrains.mps.lang.typesystem2.runtime-src.jar" descriptor="jetbrains.mps.lang.typesystem2.runtime.msd" />
</module>
</echoxml>
<jar destfile="${build.tmp}/default/typechecking-0.3.zip/typechecking/languages/jetbrains.mps.lang.typesystem2.runtime.jar" duplicate="preserve">
<jar destfile="${build.tmp}/default/typechecking-0.4.zip/typechecking/languages/jetbrains.mps.lang.typesystem2.runtime.jar" duplicate="preserve">
<fileset dir="${build.tmp}/java/out/jetbrains.mps.lang.typesystem2.runtime" />
<fileset dir="${basedir}/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime" includes="icons/**, resources/**" />
<fileset dir="${mps.macro.logic_home}/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/source_gen" includes="**/trace.info, **/exports, **/*.mps, **/checkpoints" />
@ -1155,7 +1155,7 @@
<copyModels todir="${build.tmp}/customProcessors/copyModels/typesystem2-languages-jetbrains.mps.lang.typesystem2-runtime-models1">
<fileset dir="${mps.macro.logic_home}/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models" includes="**/*.mps, **/*.metadata, **/*.history, **/*.mpsr, **/.model" />
</copyModels>
<jar destfile="${build.tmp}/default/typechecking-0.3.zip/typechecking/languages/jetbrains.mps.lang.typesystem2.runtime-src.jar" duplicate="preserve">
<jar destfile="${build.tmp}/default/typechecking-0.4.zip/typechecking/languages/jetbrains.mps.lang.typesystem2.runtime-src.jar" duplicate="preserve">
<fileset dir="${mps.macro.logic_home}/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/source_gen">
<exclude name="**/trace.info" />
<exclude name="**/exports" />
@ -1188,7 +1188,7 @@
<sources jar="jetbrains.mps.lang.typesystem2.template-src.jar" descriptor="jetbrains.mps.lang.typesystem2.template.msd" />
</module>
</echoxml>
<jar destfile="${build.tmp}/default/typechecking-0.3.zip/typechecking/languages/jetbrains.mps.lang.typesystem2.template.jar" duplicate="preserve">
<jar destfile="${build.tmp}/default/typechecking-0.4.zip/typechecking/languages/jetbrains.mps.lang.typesystem2.template.jar" duplicate="preserve">
<fileset dir="${build.tmp}/java/out/jetbrains.mps.lang.typesystem2.template" />
<fileset dir="${basedir}/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template" includes="icons/**, resources/**" />
<fileset dir="${mps.macro.logic_home}/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/source_gen" includes="**/trace.info, **/exports, **/*.mps, **/checkpoints" />
@ -1197,7 +1197,7 @@
<copyModels todir="${build.tmp}/customProcessors/copyModels/typesystem2-solutions-jetbrains.mps.lang.typesystem2.template-models1">
<fileset dir="${mps.macro.logic_home}/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models" includes="**/*.mps, **/*.metadata, **/*.history, **/*.mpsr, **/.model" />
</copyModels>
<jar destfile="${build.tmp}/default/typechecking-0.3.zip/typechecking/languages/jetbrains.mps.lang.typesystem2.template-src.jar" duplicate="preserve">
<jar destfile="${build.tmp}/default/typechecking-0.4.zip/typechecking/languages/jetbrains.mps.lang.typesystem2.template-src.jar" duplicate="preserve">
<fileset dir="${mps.macro.logic_home}/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/source_gen">
<exclude name="**/trace.info" />
<exclude name="**/exports" />
@ -1235,7 +1235,7 @@
<sources jar="jetbrains.mps.typechecking-src.jar" descriptor="jetbrains.mps.typechecking.msd" />
</module>
</echoxml>
<jar destfile="${build.tmp}/default/typechecking-0.3.zip/typechecking/languages/jetbrains.mps.typechecking.jar" duplicate="preserve">
<jar destfile="${build.tmp}/default/typechecking-0.4.zip/typechecking/languages/jetbrains.mps.typechecking.jar" duplicate="preserve">
<fileset dir="${build.tmp}/java/out/jetbrains.mps.typechecking" />
<fileset dir="${basedir}/typechecking/solutions/jetbrains.mps.typechecking" includes="icons/**, resources/**" />
<fileset dir="${mps.macro.logic_home}/typechecking/solutions/jetbrains.mps.typechecking/source_gen" includes="**/trace.info, **/exports, **/*.mps, **/checkpoints" />
@ -1244,7 +1244,7 @@
<copyModels todir="${build.tmp}/customProcessors/copyModels/typechecking-solutions-jetbrains.mps.typechecking-models1">
<fileset dir="${mps.macro.logic_home}/typechecking/solutions/jetbrains.mps.typechecking/models" includes="**/*.mps, **/*.metadata, **/*.history, **/*.mpsr, **/.model" />
</copyModels>
<jar destfile="${build.tmp}/default/typechecking-0.3.zip/typechecking/languages/jetbrains.mps.typechecking-src.jar" duplicate="preserve">
<jar destfile="${build.tmp}/default/typechecking-0.4.zip/typechecking/languages/jetbrains.mps.typechecking-src.jar" duplicate="preserve">
<fileset dir="${mps.macro.logic_home}/typechecking/solutions/jetbrains.mps.typechecking/source_gen">
<exclude name="**/trace.info" />
<exclude name="**/exports" />
@ -1274,7 +1274,7 @@
<sources jar="jetbrains.mps.typechecking.reporting-src.jar" descriptor="jetbrains.mps.typechecking.reporting.msd" />
</module>
</echoxml>
<jar destfile="${build.tmp}/default/typechecking-0.3.zip/typechecking/languages/jetbrains.mps.typechecking.reporting.jar" duplicate="preserve">
<jar destfile="${build.tmp}/default/typechecking-0.4.zip/typechecking/languages/jetbrains.mps.typechecking.reporting.jar" duplicate="preserve">
<fileset dir="${build.tmp}/java/out/jetbrains.mps.typechecking.reporting" />
<fileset dir="${mps.macro.logic_home}/typechecking/solutions/jetbrains.mps.typechecking.reporting/source_gen" includes="**/trace.info, **/exports, **/*.mps, **/checkpoints" />
<fileset dir="${build.tmp}/default/jetbrains.mps.typechecking.reporting.jar1" />
@ -1282,7 +1282,7 @@
<copyModels todir="${build.tmp}/customProcessors/copyModels/typechecking-solutions-jetbrains.mps.typechecking.reporting-models1">
<fileset dir="${mps.macro.logic_home}/typechecking/solutions/jetbrains.mps.typechecking.reporting/models" includes="**/*.mps, **/*.metadata, **/*.history, **/*.mpsr, **/.model" />
</copyModels>
<jar destfile="${build.tmp}/default/typechecking-0.3.zip/typechecking/languages/jetbrains.mps.typechecking.reporting-src.jar" duplicate="preserve">
<jar destfile="${build.tmp}/default/typechecking-0.4.zip/typechecking/languages/jetbrains.mps.typechecking.reporting-src.jar" duplicate="preserve">
<fileset dir="${mps.macro.logic_home}/typechecking/solutions/jetbrains.mps.typechecking.reporting/source_gen">
<exclude name="**/trace.info" />
<exclude name="**/exports" />
@ -1317,7 +1317,7 @@
<sources jar="jetbrains.mps.typechecking.ui-src.jar" descriptor="jetbrains.mps.typechecking.ui.msd" />
</module>
</echoxml>
<jar destfile="${build.tmp}/default/typechecking-0.3.zip/typechecking/languages/jetbrains.mps.typechecking.ui.jar" duplicate="preserve">
<jar destfile="${build.tmp}/default/typechecking-0.4.zip/typechecking/languages/jetbrains.mps.typechecking.ui.jar" duplicate="preserve">
<fileset dir="${build.tmp}/java/out/jetbrains.mps.typechecking.ui" />
<fileset dir="${basedir}/typechecking/solutions/jetbrains.mps.typechecking.ui" includes="icons/**, resources/**" />
<fileset dir="${mps.macro.logic_home}/typechecking/solutions/jetbrains.mps.typechecking.ui/source_gen" includes="**/trace.info, **/exports, **/*.mps, **/checkpoints" />
@ -1326,7 +1326,7 @@
<copyModels todir="${build.tmp}/customProcessors/copyModels/typechecking-solutions-jetbrains.mps.typechecking.ui-models1">
<fileset dir="${mps.macro.logic_home}/typechecking/solutions/jetbrains.mps.typechecking.ui/models" includes="**/*.mps, **/*.metadata, **/*.history, **/*.mpsr, **/.model" />
</copyModels>
<jar destfile="${build.tmp}/default/typechecking-0.3.zip/typechecking/languages/jetbrains.mps.typechecking.ui-src.jar" duplicate="preserve">
<jar destfile="${build.tmp}/default/typechecking-0.4.zip/typechecking/languages/jetbrains.mps.typechecking.ui-src.jar" duplicate="preserve">
<fileset dir="${mps.macro.logic_home}/typechecking/solutions/jetbrains.mps.typechecking.ui/source_gen">
<exclude name="**/trace.info" />
<exclude name="**/exports" />
@ -1362,7 +1362,7 @@
<sources jar="jetbrains.mps.lang.smodel.types-src.jar" descriptor="jetbrains.mps.lang.smodel.types.mpl" />
</module>
</echoxml>
<jar destfile="${build.tmp}/default/typechecking-0.3.zip/typechecking/languages/jetbrains.mps.lang.smodel.types.jar" duplicate="preserve">
<jar destfile="${build.tmp}/default/typechecking-0.4.zip/typechecking/languages/jetbrains.mps.lang.smodel.types.jar" duplicate="preserve">
<fileset dir="${build.tmp}/java/out/jetbrains.mps.lang.smodel.types" />
<fileset dir="${basedir}/typesystem2/languages/jetbrains.mps.lang.smodel.types" includes="icons/**, resources/**" />
<fileset dir="${mps.macro.logic_home}/typesystem2/languages/jetbrains.mps.lang.smodel.types/source_gen" includes="**/trace.info, **/exports, **/*.mps, **/checkpoints" />
@ -1390,7 +1390,7 @@
<sources jar="jetbrains.mps.lang.smodel.types-src.jar" descriptor="jetbrains.mps.lang.smodel.types.mpl" />
</module>
</echoxml>
<jar destfile="${build.tmp}/default/typechecking-0.3.zip/typechecking/languages/jetbrains.mps.lang.smodel.types-generator.jar" duplicate="preserve">
<jar destfile="${build.tmp}/default/typechecking-0.4.zip/typechecking/languages/jetbrains.mps.lang.smodel.types-generator.jar" duplicate="preserve">
<fileset dir="${build.tmp}/java/out/jetbrains.mps.lang.smodel.types#7345257067587611144" />
<fileset dir="${build.tmp}/default/jetbrains.mps.lang.smodel.types-generator.jar1" />
</jar>
@ -1400,7 +1400,7 @@
<copyModels todir="${build.tmp}/customProcessors/copyModels/typesystem2-languages-jetbrains.mps.lang.smodel.types-models1">
<fileset dir="${mps.macro.logic_home}/typesystem2/languages/jetbrains.mps.lang.smodel.types/models" includes="**/*.mps, **/*.metadata, **/*.history, **/*.mpsr, **/.model" />
</copyModels>
<jar destfile="${build.tmp}/default/typechecking-0.3.zip/typechecking/languages/jetbrains.mps.lang.smodel.types-src.jar" duplicate="preserve">
<jar destfile="${build.tmp}/default/typechecking-0.4.zip/typechecking/languages/jetbrains.mps.lang.smodel.types-src.jar" duplicate="preserve">
<fileset dir="${mps.macro.logic_home}/typesystem2/languages/jetbrains.mps.lang.smodel.types/generator/source_gen">
<exclude name="**/trace.info" />
<exclude name="**/exports" />
@ -1417,10 +1417,10 @@
<zipfileset dir="${build.tmp}/customProcessors/copyModels/typesystem2-languages-jetbrains.mps.lang.smodel.types-generator-template1" prefix="module/generator/template" />
<zipfileset dir="${build.tmp}/customProcessors/copyModels/typesystem2-languages-jetbrains.mps.lang.smodel.types-models1" prefix="module/models" />
</jar>
<zip destfile="${build.layout}/typechecking-0.3.zip">
<zip destfile="${build.layout}/typechecking-0.4.zip">
<zipfileset dir="${basedir}/logic/solutions/jetbrains.mps.logic.reactor/lib" prefix="typechecking/lib" />
<zipfileset dir="${basedir}/typechecking/solutions/jetbrains.mps.typechecking/lib" prefix="typechecking/lib" />
<fileset dir="${build.tmp}/default/typechecking-0.3.zip" />
<fileset dir="${build.tmp}/default/typechecking-0.4.zip" />
</zip>
<echo file="${build.layout}/build.properties">typechecking-plugin.ci.build.num=${ci.build.num}${line.separator}mps.build.number=${mps.build.number}${line.separator}mps.date=${mps.date}${line.separator}mps.build.vcs.number=${mps.build.vcs.number}${line.separator}mps.teamcity.buildConfName=${mps.teamcity.buildConfName}${line.separator}mps.idea.platform.build.number=${mps.idea.platform.build.number}${line.separator}mps.mps.build.counter=${mps.mps.build.counter}${line.separator}mpsBootstrapCore.version=${mpsBootstrapCore.version}</echo>
</target>

4
typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps
View File

@ -198,7 +198,7 @@
</node>
<node concept="3_J27D" id="7BVjoXzUx6a" role="m$_w8">
<node concept="3Mxwew" id="2BiN_P7R7Wi" role="3MwsjC">
<property role="3MwjfP" value="0.3-b" />
<property role="3MwjfP" value="0.4-b" />
</node>
<node concept="3Mxwey" id="2BiN_P7R81m" role="3MwsjC">
<ref role="3Mxwex" node="2BiN_P7R7jO" resolve="ci.build.num" />
@ -2051,7 +2051,7 @@
<node concept="3981dG" id="65DJywFjdtY" role="39821P">
<node concept="3_J27D" id="65DJywFjdtZ" role="Nbhlr">
<node concept="3Mxwew" id="65DJywFjdwr" role="3MwsjC">
<property role="3MwjfP" value="typechecking-0.3.zip" />
<property role="3MwjfP" value="typechecking-0.4.zip" />
</node>
</node>
<node concept="m$_wl" id="65DJywFjdwt" role="39821P">