1672 lines
130 KiB
XML
1672 lines
130 KiB
XML
<project name="fitch" default="build">
|
|
<!-- Generated by MPS -->
|
|
<property name="build.dir" location="build" />
|
|
<property name="build.mps.config.path" location="${build.dir}/config" />
|
|
<property name="build.mps.system.path" location="${build.dir}/system" />
|
|
<property name="build.tmp" location="${build.dir}/tmp/fitch" />
|
|
<property name="build.layout" location="${build.dir}/artifacts/fitch" />
|
|
<property name="coderules_art" location="${basedir}/../../build/artifacts/coderules" />
|
|
<property name="mps_home" location="${basedir}/../../MPS_HOME" />
|
|
<property name="mps.macro.fitch_home" location="${basedir}" />
|
|
<property name="artifacts.mps" location="${mps_home}" />
|
|
<property name="artifacts.coderules" location="${coderules_art}" />
|
|
<property file="${artifacts.mps}/build.properties" prefix="import.mps" />
|
|
<property file="${artifacts.coderules}/build.properties" prefix="import.coderules" />
|
|
<property name="mps.build.number" value="${import.mps.mps.build.number}" />
|
|
<property name="mps.date" value="${import.mps.mps.date}" />
|
|
<property name="mps.build.vcs.number" value="${import.mps.mps.build.vcs.number}" />
|
|
<property name="mps.teamcity.buildConfName" value="${import.mps.mps.teamcity.buildConfName}" />
|
|
<property name="mps.idea.platform.build.number" value="${import.mps.mps.idea.platform.build.number}" />
|
|
<property name="mps.mps.build.counter" value="${import.mps.mps.mps.build.counter}" />
|
|
<property name="mps.runtimeBuild" value="${import.mps.mps.runtimeBuild}" />
|
|
<property name="mpsBootstrapCore.version.major" value="${import.mps.mpsBootstrapCore.version.major}" />
|
|
<property name="mpsBootstrapCore.version.minor" value="${import.mps.mpsBootstrapCore.version.minor}" />
|
|
<property name="mpsBootstrapCore.version.bugfixNr" value="${import.mps.mpsBootstrapCore.version.bugfixNr}" />
|
|
<property name="mpsBootstrapCore.version.eap" value="${import.mps.mpsBootstrapCore.version.eap}" />
|
|
<property name="mpsBootstrapCore.version" value="${import.mps.mpsBootstrapCore.version}" />
|
|
<property name="coderules.ci.build.num" value="${import.coderules.coderules.ci.build.num}" />
|
|
<property name="coderules.ci.build.tag" value="${import.coderules.coderules.ci.build.tag}" />
|
|
<property name="coderules.ci.mps.release" value="${import.coderules.coderules.ci.mps.release}" />
|
|
<property name="coderules.test.jvmargs" value="${import.coderules.coderules.test.jvmargs}" />
|
|
<property name="environment" value="env" />
|
|
<property name="env.JAVA_HOME" value="${java.home}/.." />
|
|
<property name="jdk.home" value="${env.JAVA_HOME}" />
|
|
<property name="mps.generator.skipUnmodifiedModels" value="false" />
|
|
<property name="mps.ant.log" value="warn" />
|
|
|
|
<path id="path.mps.ant.path">
|
|
<pathelement location="${artifacts.mps}/lib/ant/lib/ant-mps.jar" />
|
|
<pathelement location="${artifacts.mps}/lib/util-8.jar" />
|
|
</path>
|
|
|
|
<taskdef resource="jetbrains/mps/build/ant/antlib.xml" classpathref="path.mps.ant.path" />
|
|
|
|
<generator-settings id="m2m-0" strictMode="false" parallelThreads="1" inplaceTransform="false" warnWrongChild="true" createStaticRefs="false" skipUnmodifiedModels="${mps.generator.skipUnmodifiedModels}" />
|
|
|
|
<target name="assemble" depends="declare-mps-tasks, classes">
|
|
<mkdir dir="${build.layout}/modules" />
|
|
<mkdir dir="${build.tmp}/default/samples.fitch.jar" />
|
|
<mkdir dir="${build.tmp}/default/samples.fitch.jar/META-INF" />
|
|
<echoxml file="${build.tmp}/default/samples.fitch.jar/META-INF/module.xml">
|
|
<module namespace="samples.fitch" type="language" uuid="06b7c5c7-e359-4f4b-a581-5d0c9323af39">
|
|
<dependencies>
|
|
<module ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" kind="rt" />
|
|
<module ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)" kind="rt" />
|
|
<module ref="1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor)" kind="rt" />
|
|
<module ref="215c4c45-ba99-49f5-9ab7-4b6901a63cfd(MPS.Generator)" kind="rt" />
|
|
<module ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" kind="rt" />
|
|
<module ref="742f6602-5a2f-4313-aa6e-ae1cd4ffdc61(MPS.Platform)" kind="rt" />
|
|
<module ref="7124e466-fc92-4803-a656-d7a6b7eb3910(MPS.TextGen)" kind="rt" />
|
|
<module ref="4c6a28d1-2c60-478d-b36e-db9b3cbb21fb(closures.runtime)" kind="rt" />
|
|
<module ref="9b80526e-f0bf-4992-bdf5-cee39c1833f3(collections.runtime)" kind="rt" />
|
|
<module ref="af19274f-5f89-42dd-8f3c-c9932448f7f2(jetbrains.mps.analyzers.runtime)" kind="rt" />
|
|
<module ref="a3e4657f-a76c-45bb-bbda-c764596ecc65(jetbrains.mps.baseLanguage.logging.runtime)" kind="rt" />
|
|
<module ref="52b81ac7-93fd-4e9e-b972-4995882da6d4(jetbrains.mps.baseLanguage.references.runtime)" kind="rt" />
|
|
<module ref="23949432-aaff-4c03-b7da-26e4e956ccea(jetbrains.mps.baseLanguage.regexp.runtime)" kind="rt" />
|
|
<module ref="d44dab97-aaac-44cb-9745-8a14db674c03(jetbrains.mps.baseLanguage.tuples.runtime)" kind="rt" />
|
|
<module ref="2af156ab-65c1-4a62-bd0d-ea734f71eab6(jetbrains.mps.dataFlow.runtime)" kind="rt" />
|
|
<module ref="34e84b8f-afa8-4364-abcd-a279fddddbe7(jetbrains.mps.editor.runtime)" kind="rt" />
|
|
<module ref="d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)" kind="rt" />
|
|
<module ref="d936855b-48da-4812-a8a0-2bfddd633ac4(jetbrains.mps.lang.behavior.runtime)" kind="rt" />
|
|
<module ref="26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime)" kind="rt" />
|
|
<module ref="8e98f4e2-decf-4e97-bf80-9109e8b759ee(jetbrains.mps.lang.constraints.rules.runtime)" kind="rt" />
|
|
<module ref="258bd2f6-0d02-411d-86b2-5a5ea083e6d2(jetbrains.mps.lang.editor.table.runtime)" kind="rt" />
|
|
<module ref="9e9ef4e2-decf-4e97-bf80-9109e8b759bb(jetbrains.mps.lang.feedback.api)" kind="rt" />
|
|
<module ref="3f98f4e2-decf-4e97-bf80-9109e8b759ab(jetbrains.mps.lang.feedback.problem.rt)" kind="rt" />
|
|
<module ref="0a98f3e2-decf-4e97-bf80-9109eccc59bb(jetbrains.mps.lang.feedback.problem.rules)" kind="rt" />
|
|
<module ref="9abaaae2-decf-4e97-bf80-9109e8b759cc(jetbrains.mps.lang.messages.api)" kind="rt" />
|
|
<module ref="528ff3b9-5fc4-40dd-931f-c6ce3650640e(jetbrains.mps.lang.migration.runtime)" kind="rt" />
|
|
<module ref="d7eb0a2a-bd50-4576-beae-e4a89db35f20(jetbrains.mps.lang.scopes.runtime)" kind="rt" />
|
|
<module ref="3330376f-82a0-45ed-ae50-a320ee8b0b63(jetbrains.mps.lang.script.rt)" kind="rt" />
|
|
<module ref="31f56055-9d30-42b3-a2b1-fb3f554d7075(jetbrains.mps.lang.smodel.query.runtime)" kind="rt" />
|
|
<module ref="f486b8aa-5b2d-4ec0-8ef5-8f45d773fb84(jetbrains.mps.lang.typechecking.runtime)" kind="rt" />
|
|
<module ref="8fe4c62a-2020-4ff4-8eda-f322a55bdc9f(jetbrains.mps.refactoring.runtime)" kind="rt" />
|
|
<module ref="9a4afe51-f114-4595-b5df-048ce3c596be(jetbrains.mps.runtime)" kind="rt" />
|
|
<module ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" kind="cl" />
|
|
<module ref="6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.coderules.typechecking)" kind="cl" />
|
|
<module ref="2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)" kind="cl" />
|
|
<module ref="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" kind="cl" />
|
|
<module ref="a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime)" kind="cl" />
|
|
</dependencies>
|
|
<uses>
|
|
<language id="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" />
|
|
<language id="l:774bf8a0-62e5-41e1-af63-f4812e60e48b:jetbrains.mps.baseLanguage.checkedDots" />
|
|
<language id="l:443f4c36-fcf5-4eb6-9500-8d06ed259e3e:jetbrains.mps.baseLanguage.classifiers" />
|
|
<language id="l:fd392034-7849-419d-9071-12563d152375:jetbrains.mps.baseLanguage.closures" />
|
|
<language id="l:83888646-71ce-4f1c-9c53-c54016f6ad4f:jetbrains.mps.baseLanguage.collections" />
|
|
<language id="l:f2801650-65d5-424e-bb1b-463a8781b786:jetbrains.mps.baseLanguage.javadoc" />
|
|
<language id="l:96ee7a94-411d-4cf8-9b94-96cad7e52411:jetbrains.mps.baseLanguage.jdk7" />
|
|
<language id="l:760a0a8c-eabb-4521-8bfd-65db761a9ba3:jetbrains.mps.baseLanguage.logging" />
|
|
<language id="l:daafa647-f1f7-4b0b-b096-69cd7c8408c0:jetbrains.mps.baseLanguage.regexp" />
|
|
<language id="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" />
|
|
<language id="l:515552c7-fcc0-4ab4-9789-2f3c49344e85:jetbrains.mps.baseLanguage.varVariable" />
|
|
<language id="l:df345b11-b8c7-4213-ac66-48d2a9b75d88:jetbrains.mps.baseLanguageInternal" />
|
|
<language id="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" />
|
|
<language id="l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior" />
|
|
<language id="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" />
|
|
<language id="l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints" />
|
|
<language id="l:e51810c5-7308-4642-bcb6-469e61b5dd18:jetbrains.mps.lang.constraints.msg.specification" />
|
|
<language id="l:47257bf3-78d3-470b-89d9-8c3261a61d15:jetbrains.mps.lang.constraints.rules" />
|
|
<language id="l:5dae8159-ab99-46bb-a40d-0cee30ee7018:jetbrains.mps.lang.constraints.rules.kinds" />
|
|
<language id="l:134c38d4-e3af-4d9e-b069-1c7df0a4005d:jetbrains.mps.lang.constraints.rules.skeleton" />
|
|
<language id="l:3ad5badc-1d9c-461c-b7b1-fa2fcd0a0ae7:jetbrains.mps.lang.context" />
|
|
<language id="l:ea3159bf-f48e-4720-bde2-86dba75f0d34:jetbrains.mps.lang.context.defs" />
|
|
<language id="l:ceab5195-25ea-4f22-9b92-103b95ca8c0c:jetbrains.mps.lang.core" />
|
|
<language id="l:7fa12e9c-b949-4976-b4fa-19accbc320b4:jetbrains.mps.lang.dataFlow" />
|
|
<language id="l:97a52717-898f-4598-8150-573d9fd03868:jetbrains.mps.lang.dataFlow.analyzers" />
|
|
<language id="l:f4ad079d-bc71-4ffb-9600-9328705cf998:jetbrains.mps.lang.descriptor" />
|
|
<language id="l:18bc6592-03a6-4e29-a83a-7ff23bde13ba:jetbrains.mps.lang.editor" />
|
|
<language id="l:0272d3b4-4cc8-481e-9e2f-07793fbfcb41:jetbrains.mps.lang.editor.table" />
|
|
<language id="l:cd17a113-ca4e-472f-a8de-c49008f9eea8:jetbrains.mps.lang.feedback" />
|
|
<language id="l:16e76fe3-9534-4def-afb7-925a169a7c0b:jetbrains.mps.lang.feedback.messages" />
|
|
<language id="l:033598a4-76a9-47e1-ac89-a300c0fceab8:jetbrains.mps.lang.feedback.problem" />
|
|
<language id="l:db2a46c2-ebec-4b6c-b6c2-f9b55b9b6f8a:jetbrains.mps.lang.feedback.problem.failingRule" />
|
|
<language id="l:517077fd-e44f-4338-a475-1d29781dfdb8:jetbrains.mps.lang.feedback.skeleton" />
|
|
<language id="l:64d34fcd-ad02-4e73-aff8-a581124c2e30:jetbrains.mps.lang.findUsages" />
|
|
<language id="l:b401a680-8325-4110-8fd3-84331ff25bef:jetbrains.mps.lang.generator" />
|
|
<language id="l:d7706f63-9be2-479c-a3da-ae92af1e64d5:jetbrains.mps.lang.generator.generationContext" />
|
|
<language id="l:d7a92d38-f7db-40d0-8431-763b0c3c9f20:jetbrains.mps.lang.intentions" />
|
|
<language id="l:ad93155d-79b2-4759-b10c-55123e763903:jetbrains.mps.lang.messages" />
|
|
<language id="l:90746344-04fd-4286-97d5-b46ae6a81709:jetbrains.mps.lang.migration" />
|
|
<language id="l:9882f4ad-1955-46fe-8269-94189e5dbbf2:jetbrains.mps.lang.migration.util" />
|
|
<language id="l:d4615e3b-d671-4ba9-af01-2b78369b0ba7:jetbrains.mps.lang.pattern" />
|
|
<language id="l:3a13115c-633c-4c5c-bbcc-75c4219e9555:jetbrains.mps.lang.quotation" />
|
|
<language id="l:3ecd7c84-cde3-45de-886c-135ecc69b742:jetbrains.mps.lang.refactoring" />
|
|
<language id="l:982eb8df-2c96-4bd7-9963-11712ea622e5:jetbrains.mps.lang.resources" />
|
|
<language id="l:b3551702-269c-4f05-ba61-58060cef4292:jetbrains.mps.lang.rulesAndMessages" />
|
|
<language id="l:d8f591ec-4d86-4af2-9f92-a9e93c803ffa:jetbrains.mps.lang.scopes" />
|
|
<language id="l:0eddeefa-c2d6-4437-bc2c-de50fd4ce470:jetbrains.mps.lang.script" />
|
|
<language id="l:13744753-c81f-424a-9c1b-cf8943bf4e86:jetbrains.mps.lang.sharedConcepts" />
|
|
<language id="l:69b8a993-9b87-4d96-bf0c-3559f4bb0c63:jetbrains.mps.lang.slanguage" />
|
|
<language id="l:7866978e-a0f0-4cc7-81bc-4d213d9375e1:jetbrains.mps.lang.smodel" />
|
|
<language id="l:c72da2b9-7cce-4447-8389-f407dc1158b7:jetbrains.mps.lang.structure" />
|
|
<language id="l:c7fb639f-be78-4307-89b0-b5959c3fa8c8:jetbrains.mps.lang.text" />
|
|
<language id="l:b83431fe-5c8f-40bc-8a36-65e25f4dd253:jetbrains.mps.lang.textGen" />
|
|
<language id="l:4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462:jetbrains.mps.lang.typechecking" />
|
|
<language id="l:afc17aaf-3a3d-4d69-a38d-db90d5e858c6:jetbrains.mps.lang.types" />
|
|
<language id="l:7a5dda62-9140-4668-ab76-d5ed1746f2b2:jetbrains.mps.lang.typesystem" />
|
|
<language id="l:35320f26-77cb-4c55-be9f-a97a27770af1:jetbrains.mps.logic" />
|
|
</uses>
|
|
<classpath>
|
|
<entry path="." />
|
|
</classpath>
|
|
<sources jar="samples.fitch-src.jar" descriptor="samples.fitch.mpl" />
|
|
</module>
|
|
</echoxml>
|
|
<jar destfile="${build.layout}/modules/samples.fitch.jar" duplicate="preserve">
|
|
<fileset dir="${build.tmp}/java/out/samples.fitch" />
|
|
<fileset dir="${basedir}/languages/samples.fitch" includes="icons/**, resources/**" />
|
|
<fileset dir="${mps.macro.fitch_home}/languages/samples.fitch/source_gen" includes="**/trace.info, **/exports, **/*.mps, **/checkpoints" />
|
|
<fileset dir="${build.tmp}/default/samples.fitch.jar" />
|
|
</jar>
|
|
<mkdir dir="${build.tmp}/default/samples.fitch-generator.jar" />
|
|
<mkdir dir="${build.tmp}/default/samples.fitch-generator.jar/META-INF" />
|
|
<echoxml file="${build.tmp}/default/samples.fitch-generator.jar/META-INF/module.xml">
|
|
<module namespace="samples.fitch#4322786184247805322" type="generator" uuid="65b2d9d2-5a92-4dd0-abf5-f3a1bd399bec">
|
|
<dependencies>
|
|
<module ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" kind="rt" />
|
|
<module ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)" kind="rt" />
|
|
<module ref="215c4c45-ba99-49f5-9ab7-4b6901a63cfd(MPS.Generator)" kind="rt" />
|
|
<module ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" kind="rt" />
|
|
<module ref="4c6a28d1-2c60-478d-b36e-db9b3cbb21fb(closures.runtime)" kind="rt" />
|
|
<module ref="9b80526e-f0bf-4992-bdf5-cee39c1833f3(collections.runtime)" kind="rt" />
|
|
<module ref="a3e4657f-a76c-45bb-bbda-c764596ecc65(jetbrains.mps.baseLanguage.logging.runtime)" kind="rt" />
|
|
<module ref="52b81ac7-93fd-4e9e-b972-4995882da6d4(jetbrains.mps.baseLanguage.references.runtime)" kind="rt" />
|
|
<module ref="d44dab97-aaac-44cb-9745-8a14db674c03(jetbrains.mps.baseLanguage.tuples.runtime)" kind="rt" />
|
|
<module ref="d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)" kind="rt" />
|
|
<module ref="d936855b-48da-4812-a8a0-2bfddd633ac4(jetbrains.mps.lang.behavior.runtime)" kind="rt" />
|
|
<module ref="9a4afe51-f114-4595-b5df-048ce3c596be(jetbrains.mps.runtime)" kind="rt" />
|
|
<module ref="06b7c5c7-e359-4f4b-a581-5d0c9323af39(samples.fitch)" kind="cl" />
|
|
</dependencies>
|
|
<uses>
|
|
<language id="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" />
|
|
<language id="l:fd392034-7849-419d-9071-12563d152375:jetbrains.mps.baseLanguage.closures" />
|
|
<language id="l:83888646-71ce-4f1c-9c53-c54016f6ad4f:jetbrains.mps.baseLanguage.collections" />
|
|
<language id="l:f2801650-65d5-424e-bb1b-463a8781b786:jetbrains.mps.baseLanguage.javadoc" />
|
|
<language id="l:760a0a8c-eabb-4521-8bfd-65db761a9ba3:jetbrains.mps.baseLanguage.logging" />
|
|
<language id="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" />
|
|
<language id="l:b401a680-8325-4110-8fd3-84331ff25bef:jetbrains.mps.lang.generator" />
|
|
<language id="l:d7706f63-9be2-479c-a3da-ae92af1e64d5:jetbrains.mps.lang.generator.generationContext" />
|
|
<language id="l:289fcc83-6543-41e8-a5ca-768235715ce4:jetbrains.mps.lang.generator.generationParameters" />
|
|
<language id="l:3a13115c-633c-4c5c-bbcc-75c4219e9555:jetbrains.mps.lang.quotation" />
|
|
<language id="l:13744753-c81f-424a-9c1b-cf8943bf4e86:jetbrains.mps.lang.sharedConcepts" />
|
|
<language id="l:7866978e-a0f0-4cc7-81bc-4d213d9375e1:jetbrains.mps.lang.smodel" />
|
|
<language id="l:c7fb639f-be78-4307-89b0-b5959c3fa8c8:jetbrains.mps.lang.text" />
|
|
</uses>
|
|
<classpath>
|
|
<entry path="." />
|
|
</classpath>
|
|
<sources jar="samples.fitch-src.jar" descriptor="samples.fitch.mpl" />
|
|
</module>
|
|
</echoxml>
|
|
<jar destfile="${build.layout}/modules/samples.fitch-generator.jar" duplicate="preserve">
|
|
<fileset dir="${build.tmp}/java/out/samples.fitch#4322786184247805322" />
|
|
<fileset dir="${mps.macro.fitch_home}/languages/samples.fitch/generator/source_gen" includes="**/trace.info, **/exports, **/*.mps, **/checkpoints" />
|
|
<fileset dir="${build.tmp}/default/samples.fitch-generator.jar" />
|
|
</jar>
|
|
<copyModels todir="${build.tmp}/customProcessors/copyModels/languages-samples.fitch-models">
|
|
<fileset dir="${mps.macro.fitch_home}/languages/samples.fitch/models" includes="**/*.mps, **/*.mpsr, **/.model" />
|
|
</copyModels>
|
|
<copyModels todir="${build.tmp}/customProcessors/copyModels/languages-samples.fitch-generator-template">
|
|
<fileset dir="${mps.macro.fitch_home}/languages/samples.fitch/generator/template" includes="**/*.mps, **/*.mpsr, **/.model" />
|
|
</copyModels>
|
|
<jar destfile="${build.layout}/modules/samples.fitch-src.jar" duplicate="preserve">
|
|
<fileset dir="${mps.macro.fitch_home}/languages/samples.fitch/generator/source_gen">
|
|
<exclude name="**/trace.info" />
|
|
<exclude name="**/exports" />
|
|
<exclude name="**/checkpoints" />
|
|
<exclude name="**/*.mps" />
|
|
</fileset>
|
|
<fileset dir="${mps.macro.fitch_home}/languages/samples.fitch/source_gen">
|
|
<exclude name="**/trace.info" />
|
|
<exclude name="**/exports" />
|
|
<exclude name="**/checkpoints" />
|
|
<exclude name="**/*.mps" />
|
|
</fileset>
|
|
<zipfileset file="${basedir}/languages/samples.fitch/samples.fitch.mpl" prefix="module" />
|
|
<zipfileset dir="${build.tmp}/customProcessors/copyModels/languages-samples.fitch-models" prefix="module/models" />
|
|
<zipfileset dir="${build.tmp}/customProcessors/copyModels/languages-samples.fitch-generator-template" prefix="module/generator/template" />
|
|
</jar>
|
|
<mkdir dir="${build.tmp}/default/samples.fitch.firstOrderLogic.jar" />
|
|
<mkdir dir="${build.tmp}/default/samples.fitch.firstOrderLogic.jar/META-INF" />
|
|
<echoxml file="${build.tmp}/default/samples.fitch.firstOrderLogic.jar/META-INF/module.xml">
|
|
<module namespace="samples.fitch.firstOrderLogic" type="language" uuid="ddb01c98-e78e-4c79-b11a-aeba193668d4">
|
|
<dependencies>
|
|
<module ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" kind="rt" />
|
|
<module ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)" kind="rt" />
|
|
<module ref="1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor)" kind="rt" />
|
|
<module ref="215c4c45-ba99-49f5-9ab7-4b6901a63cfd(MPS.Generator)" kind="rt" />
|
|
<module ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" kind="rt" />
|
|
<module ref="742f6602-5a2f-4313-aa6e-ae1cd4ffdc61(MPS.Platform)" kind="rt" />
|
|
<module ref="7124e466-fc92-4803-a656-d7a6b7eb3910(MPS.TextGen)" kind="rt" />
|
|
<module ref="4c6a28d1-2c60-478d-b36e-db9b3cbb21fb(closures.runtime)" kind="rt" />
|
|
<module ref="9b80526e-f0bf-4992-bdf5-cee39c1833f3(collections.runtime)" kind="rt" />
|
|
<module ref="af19274f-5f89-42dd-8f3c-c9932448f7f2(jetbrains.mps.analyzers.runtime)" kind="rt" />
|
|
<module ref="a3e4657f-a76c-45bb-bbda-c764596ecc65(jetbrains.mps.baseLanguage.logging.runtime)" kind="rt" />
|
|
<module ref="52b81ac7-93fd-4e9e-b972-4995882da6d4(jetbrains.mps.baseLanguage.references.runtime)" kind="rt" />
|
|
<module ref="d44dab97-aaac-44cb-9745-8a14db674c03(jetbrains.mps.baseLanguage.tuples.runtime)" kind="rt" />
|
|
<module ref="2af156ab-65c1-4a62-bd0d-ea734f71eab6(jetbrains.mps.dataFlow.runtime)" kind="rt" />
|
|
<module ref="34e84b8f-afa8-4364-abcd-a279fddddbe7(jetbrains.mps.editor.runtime)" kind="rt" />
|
|
<module ref="d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)" kind="rt" />
|
|
<module ref="d936855b-48da-4812-a8a0-2bfddd633ac4(jetbrains.mps.lang.behavior.runtime)" kind="rt" />
|
|
<module ref="26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime)" kind="rt" />
|
|
<module ref="8e98f4e2-decf-4e97-bf80-9109e8b759ee(jetbrains.mps.lang.constraints.rules.runtime)" kind="rt" />
|
|
<module ref="9e9ef4e2-decf-4e97-bf80-9109e8b759bb(jetbrains.mps.lang.feedback.api)" kind="rt" />
|
|
<module ref="3f98f4e2-decf-4e97-bf80-9109e8b759ab(jetbrains.mps.lang.feedback.problem.rt)" kind="rt" />
|
|
<module ref="0a98f3e2-decf-4e97-bf80-9109eccc59bb(jetbrains.mps.lang.feedback.problem.rules)" kind="rt" />
|
|
<module ref="9abaaae2-decf-4e97-bf80-9109e8b759cc(jetbrains.mps.lang.messages.api)" kind="rt" />
|
|
<module ref="d7eb0a2a-bd50-4576-beae-e4a89db35f20(jetbrains.mps.lang.scopes.runtime)" kind="rt" />
|
|
<module ref="3330376f-82a0-45ed-ae50-a320ee8b0b63(jetbrains.mps.lang.script.rt)" kind="rt" />
|
|
<module ref="31f56055-9d30-42b3-a2b1-fb3f554d7075(jetbrains.mps.lang.smodel.query.runtime)" kind="rt" />
|
|
<module ref="f486b8aa-5b2d-4ec0-8ef5-8f45d773fb84(jetbrains.mps.lang.typechecking.runtime)" kind="rt" />
|
|
<module ref="8fe4c62a-2020-4ff4-8eda-f322a55bdc9f(jetbrains.mps.refactoring.runtime)" kind="rt" />
|
|
<module ref="9a4afe51-f114-4595-b5df-048ce3c596be(jetbrains.mps.runtime)" kind="rt" />
|
|
<module ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" kind="cl" />
|
|
<module ref="6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.coderules.typechecking)" kind="cl" />
|
|
<module ref="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" kind="cl" />
|
|
<module ref="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462(jetbrains.mps.lang.typechecking)" kind="cl" />
|
|
<module ref="748b3ba1-2791-4ee8-b985-a5598baa7112(samples.fitch.herbrandLogic)" kind="cl" />
|
|
</dependencies>
|
|
<uses>
|
|
<language id="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" />
|
|
<language id="l:774bf8a0-62e5-41e1-af63-f4812e60e48b:jetbrains.mps.baseLanguage.checkedDots" />
|
|
<language id="l:443f4c36-fcf5-4eb6-9500-8d06ed259e3e:jetbrains.mps.baseLanguage.classifiers" />
|
|
<language id="l:fd392034-7849-419d-9071-12563d152375:jetbrains.mps.baseLanguage.closures" />
|
|
<language id="l:83888646-71ce-4f1c-9c53-c54016f6ad4f:jetbrains.mps.baseLanguage.collections" />
|
|
<language id="l:f2801650-65d5-424e-bb1b-463a8781b786:jetbrains.mps.baseLanguage.javadoc" />
|
|
<language id="l:96ee7a94-411d-4cf8-9b94-96cad7e52411:jetbrains.mps.baseLanguage.jdk7" />
|
|
<language id="l:760a0a8c-eabb-4521-8bfd-65db761a9ba3:jetbrains.mps.baseLanguage.logging" />
|
|
<language id="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" />
|
|
<language id="l:515552c7-fcc0-4ab4-9789-2f3c49344e85:jetbrains.mps.baseLanguage.varVariable" />
|
|
<language id="l:df345b11-b8c7-4213-ac66-48d2a9b75d88:jetbrains.mps.baseLanguageInternal" />
|
|
<language id="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" />
|
|
<language id="l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior" />
|
|
<language id="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" />
|
|
<language id="l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints" />
|
|
<language id="l:e51810c5-7308-4642-bcb6-469e61b5dd18:jetbrains.mps.lang.constraints.msg.specification" />
|
|
<language id="l:47257bf3-78d3-470b-89d9-8c3261a61d15:jetbrains.mps.lang.constraints.rules" />
|
|
<language id="l:5dae8159-ab99-46bb-a40d-0cee30ee7018:jetbrains.mps.lang.constraints.rules.kinds" />
|
|
<language id="l:134c38d4-e3af-4d9e-b069-1c7df0a4005d:jetbrains.mps.lang.constraints.rules.skeleton" />
|
|
<language id="l:3ad5badc-1d9c-461c-b7b1-fa2fcd0a0ae7:jetbrains.mps.lang.context" />
|
|
<language id="l:ea3159bf-f48e-4720-bde2-86dba75f0d34:jetbrains.mps.lang.context.defs" />
|
|
<language id="l:ceab5195-25ea-4f22-9b92-103b95ca8c0c:jetbrains.mps.lang.core" />
|
|
<language id="l:7fa12e9c-b949-4976-b4fa-19accbc320b4:jetbrains.mps.lang.dataFlow" />
|
|
<language id="l:97a52717-898f-4598-8150-573d9fd03868:jetbrains.mps.lang.dataFlow.analyzers" />
|
|
<language id="l:f4ad079d-bc71-4ffb-9600-9328705cf998:jetbrains.mps.lang.descriptor" />
|
|
<language id="l:18bc6592-03a6-4e29-a83a-7ff23bde13ba:jetbrains.mps.lang.editor" />
|
|
<language id="l:cd17a113-ca4e-472f-a8de-c49008f9eea8:jetbrains.mps.lang.feedback" />
|
|
<language id="l:16e76fe3-9534-4def-afb7-925a169a7c0b:jetbrains.mps.lang.feedback.messages" />
|
|
<language id="l:033598a4-76a9-47e1-ac89-a300c0fceab8:jetbrains.mps.lang.feedback.problem" />
|
|
<language id="l:db2a46c2-ebec-4b6c-b6c2-f9b55b9b6f8a:jetbrains.mps.lang.feedback.problem.failingRule" />
|
|
<language id="l:517077fd-e44f-4338-a475-1d29781dfdb8:jetbrains.mps.lang.feedback.skeleton" />
|
|
<language id="l:64d34fcd-ad02-4e73-aff8-a581124c2e30:jetbrains.mps.lang.findUsages" />
|
|
<language id="l:b401a680-8325-4110-8fd3-84331ff25bef:jetbrains.mps.lang.generator" />
|
|
<language id="l:d7706f63-9be2-479c-a3da-ae92af1e64d5:jetbrains.mps.lang.generator.generationContext" />
|
|
<language id="l:d7a92d38-f7db-40d0-8431-763b0c3c9f20:jetbrains.mps.lang.intentions" />
|
|
<language id="l:ad93155d-79b2-4759-b10c-55123e763903:jetbrains.mps.lang.messages" />
|
|
<language id="l:d4615e3b-d671-4ba9-af01-2b78369b0ba7:jetbrains.mps.lang.pattern" />
|
|
<language id="l:3a13115c-633c-4c5c-bbcc-75c4219e9555:jetbrains.mps.lang.quotation" />
|
|
<language id="l:3ecd7c84-cde3-45de-886c-135ecc69b742:jetbrains.mps.lang.refactoring" />
|
|
<language id="l:982eb8df-2c96-4bd7-9963-11712ea622e5:jetbrains.mps.lang.resources" />
|
|
<language id="l:b3551702-269c-4f05-ba61-58060cef4292:jetbrains.mps.lang.rulesAndMessages" />
|
|
<language id="l:d8f591ec-4d86-4af2-9f92-a9e93c803ffa:jetbrains.mps.lang.scopes" />
|
|
<language id="l:0eddeefa-c2d6-4437-bc2c-de50fd4ce470:jetbrains.mps.lang.script" />
|
|
<language id="l:13744753-c81f-424a-9c1b-cf8943bf4e86:jetbrains.mps.lang.sharedConcepts" />
|
|
<language id="l:69b8a993-9b87-4d96-bf0c-3559f4bb0c63:jetbrains.mps.lang.slanguage" />
|
|
<language id="l:7866978e-a0f0-4cc7-81bc-4d213d9375e1:jetbrains.mps.lang.smodel" />
|
|
<language id="l:c72da2b9-7cce-4447-8389-f407dc1158b7:jetbrains.mps.lang.structure" />
|
|
<language id="l:c7fb639f-be78-4307-89b0-b5959c3fa8c8:jetbrains.mps.lang.text" />
|
|
<language id="l:b83431fe-5c8f-40bc-8a36-65e25f4dd253:jetbrains.mps.lang.textGen" />
|
|
<language id="l:4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462:jetbrains.mps.lang.typechecking" />
|
|
<language id="l:afc17aaf-3a3d-4d69-a38d-db90d5e858c6:jetbrains.mps.lang.types" />
|
|
<language id="l:7a5dda62-9140-4668-ab76-d5ed1746f2b2:jetbrains.mps.lang.typesystem" />
|
|
<language id="l:35320f26-77cb-4c55-be9f-a97a27770af1:jetbrains.mps.logic" />
|
|
</uses>
|
|
<classpath>
|
|
<entry path="." />
|
|
</classpath>
|
|
<sources jar="samples.fitch.firstOrderLogic-src.jar" descriptor="samples.fitch.firstOrderLogic.mpl" />
|
|
</module>
|
|
</echoxml>
|
|
<jar destfile="${build.layout}/modules/samples.fitch.firstOrderLogic.jar" duplicate="preserve">
|
|
<fileset dir="${build.tmp}/java/out/samples.fitch.firstOrderLogic" />
|
|
<fileset dir="${basedir}/languages/samples.fitch.firstOrderLogic" includes="icons/**, resources/**" />
|
|
<fileset dir="${mps.macro.fitch_home}/languages/samples.fitch.firstOrderLogic/source_gen" includes="**/trace.info, **/exports, **/*.mps, **/checkpoints" />
|
|
<fileset dir="${build.tmp}/default/samples.fitch.firstOrderLogic.jar" />
|
|
</jar>
|
|
<mkdir dir="${build.tmp}/default/samples.fitch.firstOrderLogic-generator.jar" />
|
|
<mkdir dir="${build.tmp}/default/samples.fitch.firstOrderLogic-generator.jar/META-INF" />
|
|
<echoxml file="${build.tmp}/default/samples.fitch.firstOrderLogic-generator.jar/META-INF/module.xml">
|
|
<module namespace="samples.fitch.firstOrderLogic#4035326440039985569" type="generator" uuid="467b3222-f5a8-48be-9fe1-6c009ed73049">
|
|
<dependencies>
|
|
<module ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" kind="rt" />
|
|
<module ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)" kind="rt" />
|
|
<module ref="215c4c45-ba99-49f5-9ab7-4b6901a63cfd(MPS.Generator)" kind="rt" />
|
|
<module ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" kind="rt" />
|
|
<module ref="4c6a28d1-2c60-478d-b36e-db9b3cbb21fb(closures.runtime)" kind="rt" />
|
|
<module ref="9b80526e-f0bf-4992-bdf5-cee39c1833f3(collections.runtime)" kind="rt" />
|
|
<module ref="a3e4657f-a76c-45bb-bbda-c764596ecc65(jetbrains.mps.baseLanguage.logging.runtime)" kind="rt" />
|
|
<module ref="52b81ac7-93fd-4e9e-b972-4995882da6d4(jetbrains.mps.baseLanguage.references.runtime)" kind="rt" />
|
|
<module ref="d44dab97-aaac-44cb-9745-8a14db674c03(jetbrains.mps.baseLanguage.tuples.runtime)" kind="rt" />
|
|
<module ref="d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)" kind="rt" />
|
|
<module ref="d936855b-48da-4812-a8a0-2bfddd633ac4(jetbrains.mps.lang.behavior.runtime)" kind="rt" />
|
|
<module ref="9a4afe51-f114-4595-b5df-048ce3c596be(jetbrains.mps.runtime)" kind="rt" />
|
|
<module ref="ddb01c98-e78e-4c79-b11a-aeba193668d4(samples.fitch.firstOrderLogic)" kind="cl" />
|
|
</dependencies>
|
|
<uses>
|
|
<language id="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" />
|
|
<language id="l:fd392034-7849-419d-9071-12563d152375:jetbrains.mps.baseLanguage.closures" />
|
|
<language id="l:83888646-71ce-4f1c-9c53-c54016f6ad4f:jetbrains.mps.baseLanguage.collections" />
|
|
<language id="l:f2801650-65d5-424e-bb1b-463a8781b786:jetbrains.mps.baseLanguage.javadoc" />
|
|
<language id="l:760a0a8c-eabb-4521-8bfd-65db761a9ba3:jetbrains.mps.baseLanguage.logging" />
|
|
<language id="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" />
|
|
<language id="l:b401a680-8325-4110-8fd3-84331ff25bef:jetbrains.mps.lang.generator" />
|
|
<language id="l:d7706f63-9be2-479c-a3da-ae92af1e64d5:jetbrains.mps.lang.generator.generationContext" />
|
|
<language id="l:289fcc83-6543-41e8-a5ca-768235715ce4:jetbrains.mps.lang.generator.generationParameters" />
|
|
<language id="l:3a13115c-633c-4c5c-bbcc-75c4219e9555:jetbrains.mps.lang.quotation" />
|
|
<language id="l:13744753-c81f-424a-9c1b-cf8943bf4e86:jetbrains.mps.lang.sharedConcepts" />
|
|
<language id="l:7866978e-a0f0-4cc7-81bc-4d213d9375e1:jetbrains.mps.lang.smodel" />
|
|
<language id="l:c7fb639f-be78-4307-89b0-b5959c3fa8c8:jetbrains.mps.lang.text" />
|
|
</uses>
|
|
<classpath>
|
|
<entry path="." />
|
|
</classpath>
|
|
<sources jar="samples.fitch.firstOrderLogic-src.jar" descriptor="samples.fitch.firstOrderLogic.mpl" />
|
|
</module>
|
|
</echoxml>
|
|
<jar destfile="${build.layout}/modules/samples.fitch.firstOrderLogic-generator.jar" duplicate="preserve">
|
|
<fileset dir="${build.tmp}/java/out/samples.fitch.firstOrderLogic#4035326440039985569" />
|
|
<fileset dir="${mps.macro.fitch_home}/languages/samples.fitch.firstOrderLogic/generator/source_gen" includes="**/trace.info, **/exports, **/*.mps, **/checkpoints" />
|
|
<fileset dir="${build.tmp}/default/samples.fitch.firstOrderLogic-generator.jar" />
|
|
</jar>
|
|
<copyModels todir="${build.tmp}/customProcessors/copyModels/languages-samples.fitch.firstOrderLogic-models">
|
|
<fileset dir="${mps.macro.fitch_home}/languages/samples.fitch.firstOrderLogic/models" includes="**/*.mps, **/*.mpsr, **/.model" />
|
|
</copyModels>
|
|
<copyModels todir="${build.tmp}/customProcessors/copyModels/languages-samples.fitch.firstOrderLogic-generator-template">
|
|
<fileset dir="${mps.macro.fitch_home}/languages/samples.fitch.firstOrderLogic/generator/template" includes="**/*.mps, **/*.mpsr, **/.model" />
|
|
</copyModels>
|
|
<jar destfile="${build.layout}/modules/samples.fitch.firstOrderLogic-src.jar" duplicate="preserve">
|
|
<fileset dir="${mps.macro.fitch_home}/languages/samples.fitch.firstOrderLogic/generator/source_gen">
|
|
<exclude name="**/trace.info" />
|
|
<exclude name="**/exports" />
|
|
<exclude name="**/checkpoints" />
|
|
<exclude name="**/*.mps" />
|
|
</fileset>
|
|
<fileset dir="${mps.macro.fitch_home}/languages/samples.fitch.firstOrderLogic/source_gen">
|
|
<exclude name="**/trace.info" />
|
|
<exclude name="**/exports" />
|
|
<exclude name="**/checkpoints" />
|
|
<exclude name="**/*.mps" />
|
|
</fileset>
|
|
<zipfileset file="${basedir}/languages/samples.fitch.firstOrderLogic/samples.fitch.firstOrderLogic.mpl" prefix="module" />
|
|
<zipfileset dir="${build.tmp}/customProcessors/copyModels/languages-samples.fitch.firstOrderLogic-models" prefix="module/models" />
|
|
<zipfileset dir="${build.tmp}/customProcessors/copyModels/languages-samples.fitch.firstOrderLogic-generator-template" prefix="module/generator/template" />
|
|
</jar>
|
|
<mkdir dir="${build.tmp}/default/samples.fitch.herbrandLogic.jar" />
|
|
<mkdir dir="${build.tmp}/default/samples.fitch.herbrandLogic.jar/META-INF" />
|
|
<echoxml file="${build.tmp}/default/samples.fitch.herbrandLogic.jar/META-INF/module.xml">
|
|
<module namespace="samples.fitch.herbrandLogic" type="language" uuid="748b3ba1-2791-4ee8-b985-a5598baa7112">
|
|
<dependencies>
|
|
<module ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" kind="rt" />
|
|
<module ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)" kind="rt" />
|
|
<module ref="1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor)" kind="rt" />
|
|
<module ref="215c4c45-ba99-49f5-9ab7-4b6901a63cfd(MPS.Generator)" kind="rt" />
|
|
<module ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" kind="rt" />
|
|
<module ref="742f6602-5a2f-4313-aa6e-ae1cd4ffdc61(MPS.Platform)" kind="rt" />
|
|
<module ref="7124e466-fc92-4803-a656-d7a6b7eb3910(MPS.TextGen)" kind="rt" />
|
|
<module ref="4c6a28d1-2c60-478d-b36e-db9b3cbb21fb(closures.runtime)" kind="rt" />
|
|
<module ref="9b80526e-f0bf-4992-bdf5-cee39c1833f3(collections.runtime)" kind="rt" />
|
|
<module ref="af19274f-5f89-42dd-8f3c-c9932448f7f2(jetbrains.mps.analyzers.runtime)" kind="rt" />
|
|
<module ref="a3e4657f-a76c-45bb-bbda-c764596ecc65(jetbrains.mps.baseLanguage.logging.runtime)" kind="rt" />
|
|
<module ref="52b81ac7-93fd-4e9e-b972-4995882da6d4(jetbrains.mps.baseLanguage.references.runtime)" kind="rt" />
|
|
<module ref="23949432-aaff-4c03-b7da-26e4e956ccea(jetbrains.mps.baseLanguage.regexp.runtime)" kind="rt" />
|
|
<module ref="d44dab97-aaac-44cb-9745-8a14db674c03(jetbrains.mps.baseLanguage.tuples.runtime)" kind="rt" />
|
|
<module ref="2af156ab-65c1-4a62-bd0d-ea734f71eab6(jetbrains.mps.dataFlow.runtime)" kind="rt" />
|
|
<module ref="34e84b8f-afa8-4364-abcd-a279fddddbe7(jetbrains.mps.editor.runtime)" kind="rt" />
|
|
<module ref="d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)" kind="rt" />
|
|
<module ref="d936855b-48da-4812-a8a0-2bfddd633ac4(jetbrains.mps.lang.behavior.runtime)" kind="rt" />
|
|
<module ref="26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime)" kind="rt" />
|
|
<module ref="8e98f4e2-decf-4e97-bf80-9109e8b759ee(jetbrains.mps.lang.constraints.rules.runtime)" kind="rt" />
|
|
<module ref="9e9ef4e2-decf-4e97-bf80-9109e8b759bb(jetbrains.mps.lang.feedback.api)" kind="rt" />
|
|
<module ref="3f98f4e2-decf-4e97-bf80-9109e8b759ab(jetbrains.mps.lang.feedback.problem.rt)" kind="rt" />
|
|
<module ref="0a98f3e2-decf-4e97-bf80-9109eccc59bb(jetbrains.mps.lang.feedback.problem.rules)" kind="rt" />
|
|
<module ref="9abaaae2-decf-4e97-bf80-9109e8b759cc(jetbrains.mps.lang.messages.api)" kind="rt" />
|
|
<module ref="d7eb0a2a-bd50-4576-beae-e4a89db35f20(jetbrains.mps.lang.scopes.runtime)" kind="rt" />
|
|
<module ref="3330376f-82a0-45ed-ae50-a320ee8b0b63(jetbrains.mps.lang.script.rt)" kind="rt" />
|
|
<module ref="31f56055-9d30-42b3-a2b1-fb3f554d7075(jetbrains.mps.lang.smodel.query.runtime)" kind="rt" />
|
|
<module ref="f486b8aa-5b2d-4ec0-8ef5-8f45d773fb84(jetbrains.mps.lang.typechecking.runtime)" kind="rt" />
|
|
<module ref="8fe4c62a-2020-4ff4-8eda-f322a55bdc9f(jetbrains.mps.refactoring.runtime)" kind="rt" />
|
|
<module ref="9a4afe51-f114-4595-b5df-048ce3c596be(jetbrains.mps.runtime)" kind="rt" />
|
|
<module ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" kind="cl" />
|
|
<module ref="daafa647-f1f7-4b0b-b096-69cd7c8408c0(jetbrains.mps.baseLanguage.regexp)" kind="cl" />
|
|
<module ref="6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.coderules.typechecking)" kind="cl" />
|
|
<module ref="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" kind="cl" />
|
|
<module ref="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462(jetbrains.mps.lang.typechecking)" kind="cl" />
|
|
<module ref="ec79e64d-4cbb-4f6c-b7b7-108dd125aba6(samples.fitch.propositionalLogic)" kind="cl" />
|
|
</dependencies>
|
|
<uses>
|
|
<language id="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" />
|
|
<language id="l:774bf8a0-62e5-41e1-af63-f4812e60e48b:jetbrains.mps.baseLanguage.checkedDots" />
|
|
<language id="l:443f4c36-fcf5-4eb6-9500-8d06ed259e3e:jetbrains.mps.baseLanguage.classifiers" />
|
|
<language id="l:fd392034-7849-419d-9071-12563d152375:jetbrains.mps.baseLanguage.closures" />
|
|
<language id="l:83888646-71ce-4f1c-9c53-c54016f6ad4f:jetbrains.mps.baseLanguage.collections" />
|
|
<language id="l:f2801650-65d5-424e-bb1b-463a8781b786:jetbrains.mps.baseLanguage.javadoc" />
|
|
<language id="l:96ee7a94-411d-4cf8-9b94-96cad7e52411:jetbrains.mps.baseLanguage.jdk7" />
|
|
<language id="l:760a0a8c-eabb-4521-8bfd-65db761a9ba3:jetbrains.mps.baseLanguage.logging" />
|
|
<language id="l:daafa647-f1f7-4b0b-b096-69cd7c8408c0:jetbrains.mps.baseLanguage.regexp" />
|
|
<language id="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" />
|
|
<language id="l:515552c7-fcc0-4ab4-9789-2f3c49344e85:jetbrains.mps.baseLanguage.varVariable" />
|
|
<language id="l:df345b11-b8c7-4213-ac66-48d2a9b75d88:jetbrains.mps.baseLanguageInternal" />
|
|
<language id="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" />
|
|
<language id="l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior" />
|
|
<language id="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" />
|
|
<language id="l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints" />
|
|
<language id="l:e51810c5-7308-4642-bcb6-469e61b5dd18:jetbrains.mps.lang.constraints.msg.specification" />
|
|
<language id="l:47257bf3-78d3-470b-89d9-8c3261a61d15:jetbrains.mps.lang.constraints.rules" />
|
|
<language id="l:5dae8159-ab99-46bb-a40d-0cee30ee7018:jetbrains.mps.lang.constraints.rules.kinds" />
|
|
<language id="l:134c38d4-e3af-4d9e-b069-1c7df0a4005d:jetbrains.mps.lang.constraints.rules.skeleton" />
|
|
<language id="l:3ad5badc-1d9c-461c-b7b1-fa2fcd0a0ae7:jetbrains.mps.lang.context" />
|
|
<language id="l:ea3159bf-f48e-4720-bde2-86dba75f0d34:jetbrains.mps.lang.context.defs" />
|
|
<language id="l:ceab5195-25ea-4f22-9b92-103b95ca8c0c:jetbrains.mps.lang.core" />
|
|
<language id="l:7fa12e9c-b949-4976-b4fa-19accbc320b4:jetbrains.mps.lang.dataFlow" />
|
|
<language id="l:97a52717-898f-4598-8150-573d9fd03868:jetbrains.mps.lang.dataFlow.analyzers" />
|
|
<language id="l:f4ad079d-bc71-4ffb-9600-9328705cf998:jetbrains.mps.lang.descriptor" />
|
|
<language id="l:18bc6592-03a6-4e29-a83a-7ff23bde13ba:jetbrains.mps.lang.editor" />
|
|
<language id="l:cd17a113-ca4e-472f-a8de-c49008f9eea8:jetbrains.mps.lang.feedback" />
|
|
<language id="l:16e76fe3-9534-4def-afb7-925a169a7c0b:jetbrains.mps.lang.feedback.messages" />
|
|
<language id="l:033598a4-76a9-47e1-ac89-a300c0fceab8:jetbrains.mps.lang.feedback.problem" />
|
|
<language id="l:db2a46c2-ebec-4b6c-b6c2-f9b55b9b6f8a:jetbrains.mps.lang.feedback.problem.failingRule" />
|
|
<language id="l:517077fd-e44f-4338-a475-1d29781dfdb8:jetbrains.mps.lang.feedback.skeleton" />
|
|
<language id="l:64d34fcd-ad02-4e73-aff8-a581124c2e30:jetbrains.mps.lang.findUsages" />
|
|
<language id="l:b401a680-8325-4110-8fd3-84331ff25bef:jetbrains.mps.lang.generator" />
|
|
<language id="l:d7706f63-9be2-479c-a3da-ae92af1e64d5:jetbrains.mps.lang.generator.generationContext" />
|
|
<language id="l:d7a92d38-f7db-40d0-8431-763b0c3c9f20:jetbrains.mps.lang.intentions" />
|
|
<language id="l:ad93155d-79b2-4759-b10c-55123e763903:jetbrains.mps.lang.messages" />
|
|
<language id="l:d4615e3b-d671-4ba9-af01-2b78369b0ba7:jetbrains.mps.lang.pattern" />
|
|
<language id="l:3a13115c-633c-4c5c-bbcc-75c4219e9555:jetbrains.mps.lang.quotation" />
|
|
<language id="l:3ecd7c84-cde3-45de-886c-135ecc69b742:jetbrains.mps.lang.refactoring" />
|
|
<language id="l:982eb8df-2c96-4bd7-9963-11712ea622e5:jetbrains.mps.lang.resources" />
|
|
<language id="l:b3551702-269c-4f05-ba61-58060cef4292:jetbrains.mps.lang.rulesAndMessages" />
|
|
<language id="l:d8f591ec-4d86-4af2-9f92-a9e93c803ffa:jetbrains.mps.lang.scopes" />
|
|
<language id="l:0eddeefa-c2d6-4437-bc2c-de50fd4ce470:jetbrains.mps.lang.script" />
|
|
<language id="l:13744753-c81f-424a-9c1b-cf8943bf4e86:jetbrains.mps.lang.sharedConcepts" />
|
|
<language id="l:69b8a993-9b87-4d96-bf0c-3559f4bb0c63:jetbrains.mps.lang.slanguage" />
|
|
<language id="l:7866978e-a0f0-4cc7-81bc-4d213d9375e1:jetbrains.mps.lang.smodel" />
|
|
<language id="l:c72da2b9-7cce-4447-8389-f407dc1158b7:jetbrains.mps.lang.structure" />
|
|
<language id="l:c7fb639f-be78-4307-89b0-b5959c3fa8c8:jetbrains.mps.lang.text" />
|
|
<language id="l:b83431fe-5c8f-40bc-8a36-65e25f4dd253:jetbrains.mps.lang.textGen" />
|
|
<language id="l:4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462:jetbrains.mps.lang.typechecking" />
|
|
<language id="l:afc17aaf-3a3d-4d69-a38d-db90d5e858c6:jetbrains.mps.lang.types" />
|
|
<language id="l:7a5dda62-9140-4668-ab76-d5ed1746f2b2:jetbrains.mps.lang.typesystem" />
|
|
<language id="l:35320f26-77cb-4c55-be9f-a97a27770af1:jetbrains.mps.logic" />
|
|
</uses>
|
|
<classpath>
|
|
<entry path="." />
|
|
</classpath>
|
|
<sources jar="samples.fitch.herbrandLogic-src.jar" descriptor="samples.fitch.herbrandLogic.mpl" />
|
|
</module>
|
|
</echoxml>
|
|
<jar destfile="${build.layout}/modules/samples.fitch.herbrandLogic.jar" duplicate="preserve">
|
|
<fileset dir="${build.tmp}/java/out/samples.fitch.herbrandLogic" />
|
|
<fileset dir="${basedir}/languages/samples.fitch.herbrandLogic" includes="icons/**, resources/**" />
|
|
<fileset dir="${mps.macro.fitch_home}/languages/samples.fitch.herbrandLogic/source_gen" includes="**/trace.info, **/exports, **/*.mps, **/checkpoints" />
|
|
<fileset dir="${build.tmp}/default/samples.fitch.herbrandLogic.jar" />
|
|
</jar>
|
|
<mkdir dir="${build.tmp}/default/samples.fitch.herbrandLogic-generator.jar" />
|
|
<mkdir dir="${build.tmp}/default/samples.fitch.herbrandLogic-generator.jar/META-INF" />
|
|
<echoxml file="${build.tmp}/default/samples.fitch.herbrandLogic-generator.jar/META-INF/module.xml">
|
|
<module namespace="samples.fitch.herbrandLogic#3059457401298723545" type="generator" uuid="8efed383-9c82-409e-81c8-4bd2a012c164">
|
|
<dependencies>
|
|
<module ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" kind="rt" />
|
|
<module ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)" kind="rt" />
|
|
<module ref="215c4c45-ba99-49f5-9ab7-4b6901a63cfd(MPS.Generator)" kind="rt" />
|
|
<module ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" kind="rt" />
|
|
<module ref="4c6a28d1-2c60-478d-b36e-db9b3cbb21fb(closures.runtime)" kind="rt" />
|
|
<module ref="9b80526e-f0bf-4992-bdf5-cee39c1833f3(collections.runtime)" kind="rt" />
|
|
<module ref="a3e4657f-a76c-45bb-bbda-c764596ecc65(jetbrains.mps.baseLanguage.logging.runtime)" kind="rt" />
|
|
<module ref="52b81ac7-93fd-4e9e-b972-4995882da6d4(jetbrains.mps.baseLanguage.references.runtime)" kind="rt" />
|
|
<module ref="d44dab97-aaac-44cb-9745-8a14db674c03(jetbrains.mps.baseLanguage.tuples.runtime)" kind="rt" />
|
|
<module ref="d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)" kind="rt" />
|
|
<module ref="d936855b-48da-4812-a8a0-2bfddd633ac4(jetbrains.mps.lang.behavior.runtime)" kind="rt" />
|
|
<module ref="9a4afe51-f114-4595-b5df-048ce3c596be(jetbrains.mps.runtime)" kind="rt" />
|
|
<module ref="748b3ba1-2791-4ee8-b985-a5598baa7112(samples.fitch.herbrandLogic)" kind="cl" />
|
|
</dependencies>
|
|
<uses>
|
|
<language id="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" />
|
|
<language id="l:fd392034-7849-419d-9071-12563d152375:jetbrains.mps.baseLanguage.closures" />
|
|
<language id="l:83888646-71ce-4f1c-9c53-c54016f6ad4f:jetbrains.mps.baseLanguage.collections" />
|
|
<language id="l:f2801650-65d5-424e-bb1b-463a8781b786:jetbrains.mps.baseLanguage.javadoc" />
|
|
<language id="l:760a0a8c-eabb-4521-8bfd-65db761a9ba3:jetbrains.mps.baseLanguage.logging" />
|
|
<language id="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" />
|
|
<language id="l:b401a680-8325-4110-8fd3-84331ff25bef:jetbrains.mps.lang.generator" />
|
|
<language id="l:d7706f63-9be2-479c-a3da-ae92af1e64d5:jetbrains.mps.lang.generator.generationContext" />
|
|
<language id="l:289fcc83-6543-41e8-a5ca-768235715ce4:jetbrains.mps.lang.generator.generationParameters" />
|
|
<language id="l:3a13115c-633c-4c5c-bbcc-75c4219e9555:jetbrains.mps.lang.quotation" />
|
|
<language id="l:13744753-c81f-424a-9c1b-cf8943bf4e86:jetbrains.mps.lang.sharedConcepts" />
|
|
<language id="l:7866978e-a0f0-4cc7-81bc-4d213d9375e1:jetbrains.mps.lang.smodel" />
|
|
<language id="l:c7fb639f-be78-4307-89b0-b5959c3fa8c8:jetbrains.mps.lang.text" />
|
|
</uses>
|
|
<classpath>
|
|
<entry path="." />
|
|
</classpath>
|
|
<sources jar="samples.fitch.herbrandLogic-src.jar" descriptor="samples.fitch.herbrandLogic.mpl" />
|
|
</module>
|
|
</echoxml>
|
|
<jar destfile="${build.layout}/modules/samples.fitch.herbrandLogic-generator.jar" duplicate="preserve">
|
|
<fileset dir="${build.tmp}/java/out/samples.fitch.herbrandLogic#3059457401298723545" />
|
|
<fileset dir="${mps.macro.fitch_home}/languages/samples.fitch.herbrandLogic/generator/source_gen" includes="**/trace.info, **/exports, **/*.mps, **/checkpoints" />
|
|
<fileset dir="${build.tmp}/default/samples.fitch.herbrandLogic-generator.jar" />
|
|
</jar>
|
|
<copyModels todir="${build.tmp}/customProcessors/copyModels/languages-samples.fitch.herbrandLogic-models">
|
|
<fileset dir="${mps.macro.fitch_home}/languages/samples.fitch.herbrandLogic/models" includes="**/*.mps, **/*.mpsr, **/.model" />
|
|
</copyModels>
|
|
<copyModels todir="${build.tmp}/customProcessors/copyModels/languages-samples.fitch.herbrandLogic-generator-template">
|
|
<fileset dir="${mps.macro.fitch_home}/languages/samples.fitch.herbrandLogic/generator/template" includes="**/*.mps, **/*.mpsr, **/.model" />
|
|
</copyModels>
|
|
<jar destfile="${build.layout}/modules/samples.fitch.herbrandLogic-src.jar" duplicate="preserve">
|
|
<fileset dir="${mps.macro.fitch_home}/languages/samples.fitch.herbrandLogic/generator/source_gen">
|
|
<exclude name="**/trace.info" />
|
|
<exclude name="**/exports" />
|
|
<exclude name="**/checkpoints" />
|
|
<exclude name="**/*.mps" />
|
|
</fileset>
|
|
<fileset dir="${mps.macro.fitch_home}/languages/samples.fitch.herbrandLogic/source_gen">
|
|
<exclude name="**/trace.info" />
|
|
<exclude name="**/exports" />
|
|
<exclude name="**/checkpoints" />
|
|
<exclude name="**/*.mps" />
|
|
</fileset>
|
|
<zipfileset file="${basedir}/languages/samples.fitch.herbrandLogic/samples.fitch.herbrandLogic.mpl" prefix="module" />
|
|
<zipfileset dir="${build.tmp}/customProcessors/copyModels/languages-samples.fitch.herbrandLogic-models" prefix="module/models" />
|
|
<zipfileset dir="${build.tmp}/customProcessors/copyModels/languages-samples.fitch.herbrandLogic-generator-template" prefix="module/generator/template" />
|
|
</jar>
|
|
<mkdir dir="${build.tmp}/default/samples.fitch.propositionalLogic.jar" />
|
|
<mkdir dir="${build.tmp}/default/samples.fitch.propositionalLogic.jar/META-INF" />
|
|
<echoxml file="${build.tmp}/default/samples.fitch.propositionalLogic.jar/META-INF/module.xml">
|
|
<module namespace="samples.fitch.propositionalLogic" type="language" uuid="ec79e64d-4cbb-4f6c-b7b7-108dd125aba6">
|
|
<dependencies>
|
|
<module ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" kind="rt" />
|
|
<module ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)" kind="rt" />
|
|
<module ref="1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor)" kind="rt" />
|
|
<module ref="215c4c45-ba99-49f5-9ab7-4b6901a63cfd(MPS.Generator)" kind="rt" />
|
|
<module ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" kind="rt" />
|
|
<module ref="742f6602-5a2f-4313-aa6e-ae1cd4ffdc61(MPS.Platform)" kind="rt" />
|
|
<module ref="7124e466-fc92-4803-a656-d7a6b7eb3910(MPS.TextGen)" kind="rt" />
|
|
<module ref="4c6a28d1-2c60-478d-b36e-db9b3cbb21fb(closures.runtime)" kind="rt" />
|
|
<module ref="9b80526e-f0bf-4992-bdf5-cee39c1833f3(collections.runtime)" kind="rt" />
|
|
<module ref="af19274f-5f89-42dd-8f3c-c9932448f7f2(jetbrains.mps.analyzers.runtime)" kind="rt" />
|
|
<module ref="a3e4657f-a76c-45bb-bbda-c764596ecc65(jetbrains.mps.baseLanguage.logging.runtime)" kind="rt" />
|
|
<module ref="52b81ac7-93fd-4e9e-b972-4995882da6d4(jetbrains.mps.baseLanguage.references.runtime)" kind="rt" />
|
|
<module ref="23949432-aaff-4c03-b7da-26e4e956ccea(jetbrains.mps.baseLanguage.regexp.runtime)" kind="rt" />
|
|
<module ref="d44dab97-aaac-44cb-9745-8a14db674c03(jetbrains.mps.baseLanguage.tuples.runtime)" kind="rt" />
|
|
<module ref="2af156ab-65c1-4a62-bd0d-ea734f71eab6(jetbrains.mps.dataFlow.runtime)" kind="rt" />
|
|
<module ref="34e84b8f-afa8-4364-abcd-a279fddddbe7(jetbrains.mps.editor.runtime)" kind="rt" />
|
|
<module ref="d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)" kind="rt" />
|
|
<module ref="d936855b-48da-4812-a8a0-2bfddd633ac4(jetbrains.mps.lang.behavior.runtime)" kind="rt" />
|
|
<module ref="26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime)" kind="rt" />
|
|
<module ref="8e98f4e2-decf-4e97-bf80-9109e8b759ee(jetbrains.mps.lang.constraints.rules.runtime)" kind="rt" />
|
|
<module ref="9e9ef4e2-decf-4e97-bf80-9109e8b759bb(jetbrains.mps.lang.feedback.api)" kind="rt" />
|
|
<module ref="3f98f4e2-decf-4e97-bf80-9109e8b759ab(jetbrains.mps.lang.feedback.problem.rt)" kind="rt" />
|
|
<module ref="0a98f3e2-decf-4e97-bf80-9109eccc59bb(jetbrains.mps.lang.feedback.problem.rules)" kind="rt" />
|
|
<module ref="9abaaae2-decf-4e97-bf80-9109e8b759cc(jetbrains.mps.lang.messages.api)" kind="rt" />
|
|
<module ref="d7eb0a2a-bd50-4576-beae-e4a89db35f20(jetbrains.mps.lang.scopes.runtime)" kind="rt" />
|
|
<module ref="3330376f-82a0-45ed-ae50-a320ee8b0b63(jetbrains.mps.lang.script.rt)" kind="rt" />
|
|
<module ref="31f56055-9d30-42b3-a2b1-fb3f554d7075(jetbrains.mps.lang.smodel.query.runtime)" kind="rt" />
|
|
<module ref="f486b8aa-5b2d-4ec0-8ef5-8f45d773fb84(jetbrains.mps.lang.typechecking.runtime)" kind="rt" />
|
|
<module ref="8fe4c62a-2020-4ff4-8eda-f322a55bdc9f(jetbrains.mps.refactoring.runtime)" kind="rt" />
|
|
<module ref="9a4afe51-f114-4595-b5df-048ce3c596be(jetbrains.mps.runtime)" kind="rt" />
|
|
<module ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" kind="cl" />
|
|
<module ref="daafa647-f1f7-4b0b-b096-69cd7c8408c0(jetbrains.mps.baseLanguage.regexp)" kind="cl" />
|
|
<module ref="6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.coderules.typechecking)" kind="cl" />
|
|
<module ref="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" kind="cl" />
|
|
<module ref="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462(jetbrains.mps.lang.typechecking)" kind="cl" />
|
|
<module ref="06b7c5c7-e359-4f4b-a581-5d0c9323af39(samples.fitch)" kind="cl" />
|
|
</dependencies>
|
|
<uses>
|
|
<language id="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" />
|
|
<language id="l:774bf8a0-62e5-41e1-af63-f4812e60e48b:jetbrains.mps.baseLanguage.checkedDots" />
|
|
<language id="l:443f4c36-fcf5-4eb6-9500-8d06ed259e3e:jetbrains.mps.baseLanguage.classifiers" />
|
|
<language id="l:fd392034-7849-419d-9071-12563d152375:jetbrains.mps.baseLanguage.closures" />
|
|
<language id="l:83888646-71ce-4f1c-9c53-c54016f6ad4f:jetbrains.mps.baseLanguage.collections" />
|
|
<language id="l:f2801650-65d5-424e-bb1b-463a8781b786:jetbrains.mps.baseLanguage.javadoc" />
|
|
<language id="l:96ee7a94-411d-4cf8-9b94-96cad7e52411:jetbrains.mps.baseLanguage.jdk7" />
|
|
<language id="l:760a0a8c-eabb-4521-8bfd-65db761a9ba3:jetbrains.mps.baseLanguage.logging" />
|
|
<language id="l:daafa647-f1f7-4b0b-b096-69cd7c8408c0:jetbrains.mps.baseLanguage.regexp" />
|
|
<language id="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" />
|
|
<language id="l:515552c7-fcc0-4ab4-9789-2f3c49344e85:jetbrains.mps.baseLanguage.varVariable" />
|
|
<language id="l:df345b11-b8c7-4213-ac66-48d2a9b75d88:jetbrains.mps.baseLanguageInternal" />
|
|
<language id="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" />
|
|
<language id="l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior" />
|
|
<language id="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" />
|
|
<language id="l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints" />
|
|
<language id="l:e51810c5-7308-4642-bcb6-469e61b5dd18:jetbrains.mps.lang.constraints.msg.specification" />
|
|
<language id="l:47257bf3-78d3-470b-89d9-8c3261a61d15:jetbrains.mps.lang.constraints.rules" />
|
|
<language id="l:5dae8159-ab99-46bb-a40d-0cee30ee7018:jetbrains.mps.lang.constraints.rules.kinds" />
|
|
<language id="l:134c38d4-e3af-4d9e-b069-1c7df0a4005d:jetbrains.mps.lang.constraints.rules.skeleton" />
|
|
<language id="l:3ad5badc-1d9c-461c-b7b1-fa2fcd0a0ae7:jetbrains.mps.lang.context" />
|
|
<language id="l:ea3159bf-f48e-4720-bde2-86dba75f0d34:jetbrains.mps.lang.context.defs" />
|
|
<language id="l:ceab5195-25ea-4f22-9b92-103b95ca8c0c:jetbrains.mps.lang.core" />
|
|
<language id="l:7fa12e9c-b949-4976-b4fa-19accbc320b4:jetbrains.mps.lang.dataFlow" />
|
|
<language id="l:97a52717-898f-4598-8150-573d9fd03868:jetbrains.mps.lang.dataFlow.analyzers" />
|
|
<language id="l:f4ad079d-bc71-4ffb-9600-9328705cf998:jetbrains.mps.lang.descriptor" />
|
|
<language id="l:18bc6592-03a6-4e29-a83a-7ff23bde13ba:jetbrains.mps.lang.editor" />
|
|
<language id="l:cd17a113-ca4e-472f-a8de-c49008f9eea8:jetbrains.mps.lang.feedback" />
|
|
<language id="l:16e76fe3-9534-4def-afb7-925a169a7c0b:jetbrains.mps.lang.feedback.messages" />
|
|
<language id="l:033598a4-76a9-47e1-ac89-a300c0fceab8:jetbrains.mps.lang.feedback.problem" />
|
|
<language id="l:db2a46c2-ebec-4b6c-b6c2-f9b55b9b6f8a:jetbrains.mps.lang.feedback.problem.failingRule" />
|
|
<language id="l:517077fd-e44f-4338-a475-1d29781dfdb8:jetbrains.mps.lang.feedback.skeleton" />
|
|
<language id="l:64d34fcd-ad02-4e73-aff8-a581124c2e30:jetbrains.mps.lang.findUsages" />
|
|
<language id="l:b401a680-8325-4110-8fd3-84331ff25bef:jetbrains.mps.lang.generator" />
|
|
<language id="l:d7706f63-9be2-479c-a3da-ae92af1e64d5:jetbrains.mps.lang.generator.generationContext" />
|
|
<language id="l:d7a92d38-f7db-40d0-8431-763b0c3c9f20:jetbrains.mps.lang.intentions" />
|
|
<language id="l:ad93155d-79b2-4759-b10c-55123e763903:jetbrains.mps.lang.messages" />
|
|
<language id="l:d4615e3b-d671-4ba9-af01-2b78369b0ba7:jetbrains.mps.lang.pattern" />
|
|
<language id="l:3a13115c-633c-4c5c-bbcc-75c4219e9555:jetbrains.mps.lang.quotation" />
|
|
<language id="l:3ecd7c84-cde3-45de-886c-135ecc69b742:jetbrains.mps.lang.refactoring" />
|
|
<language id="l:982eb8df-2c96-4bd7-9963-11712ea622e5:jetbrains.mps.lang.resources" />
|
|
<language id="l:b3551702-269c-4f05-ba61-58060cef4292:jetbrains.mps.lang.rulesAndMessages" />
|
|
<language id="l:d8f591ec-4d86-4af2-9f92-a9e93c803ffa:jetbrains.mps.lang.scopes" />
|
|
<language id="l:0eddeefa-c2d6-4437-bc2c-de50fd4ce470:jetbrains.mps.lang.script" />
|
|
<language id="l:13744753-c81f-424a-9c1b-cf8943bf4e86:jetbrains.mps.lang.sharedConcepts" />
|
|
<language id="l:69b8a993-9b87-4d96-bf0c-3559f4bb0c63:jetbrains.mps.lang.slanguage" />
|
|
<language id="l:7866978e-a0f0-4cc7-81bc-4d213d9375e1:jetbrains.mps.lang.smodel" />
|
|
<language id="l:c72da2b9-7cce-4447-8389-f407dc1158b7:jetbrains.mps.lang.structure" />
|
|
<language id="l:c7fb639f-be78-4307-89b0-b5959c3fa8c8:jetbrains.mps.lang.text" />
|
|
<language id="l:b83431fe-5c8f-40bc-8a36-65e25f4dd253:jetbrains.mps.lang.textGen" />
|
|
<language id="l:4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462:jetbrains.mps.lang.typechecking" />
|
|
<language id="l:afc17aaf-3a3d-4d69-a38d-db90d5e858c6:jetbrains.mps.lang.types" />
|
|
<language id="l:7a5dda62-9140-4668-ab76-d5ed1746f2b2:jetbrains.mps.lang.typesystem" />
|
|
<language id="l:35320f26-77cb-4c55-be9f-a97a27770af1:jetbrains.mps.logic" />
|
|
</uses>
|
|
<classpath>
|
|
<entry path="." />
|
|
</classpath>
|
|
<sources jar="samples.fitch.propositionalLogic-src.jar" descriptor="samples.fitch.propositionalLogic.mpl" />
|
|
</module>
|
|
</echoxml>
|
|
<jar destfile="${build.layout}/modules/samples.fitch.propositionalLogic.jar" duplicate="preserve">
|
|
<fileset dir="${build.tmp}/java/out/samples.fitch.propositionalLogic" />
|
|
<fileset dir="${basedir}/languages/samples.fitch.propositionalLogic" includes="icons/**, resources/**" />
|
|
<fileset dir="${mps.macro.fitch_home}/languages/samples.fitch.propositionalLogic/source_gen" includes="**/trace.info, **/exports, **/*.mps, **/checkpoints" />
|
|
<fileset dir="${build.tmp}/default/samples.fitch.propositionalLogic.jar" />
|
|
</jar>
|
|
<mkdir dir="${build.tmp}/default/samples.fitch.propositionalLogic-generator.jar" />
|
|
<mkdir dir="${build.tmp}/default/samples.fitch.propositionalLogic-generator.jar/META-INF" />
|
|
<echoxml file="${build.tmp}/default/samples.fitch.propositionalLogic-generator.jar/META-INF/module.xml">
|
|
<module namespace="samples.fitch.propositionalLogic#5505606474790531941" type="generator" uuid="53b8ab24-cc4a-4fe2-b461-11a91d798670">
|
|
<dependencies>
|
|
<module ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" kind="rt" />
|
|
<module ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)" kind="rt" />
|
|
<module ref="215c4c45-ba99-49f5-9ab7-4b6901a63cfd(MPS.Generator)" kind="rt" />
|
|
<module ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" kind="rt" />
|
|
<module ref="4c6a28d1-2c60-478d-b36e-db9b3cbb21fb(closures.runtime)" kind="rt" />
|
|
<module ref="9b80526e-f0bf-4992-bdf5-cee39c1833f3(collections.runtime)" kind="rt" />
|
|
<module ref="a3e4657f-a76c-45bb-bbda-c764596ecc65(jetbrains.mps.baseLanguage.logging.runtime)" kind="rt" />
|
|
<module ref="52b81ac7-93fd-4e9e-b972-4995882da6d4(jetbrains.mps.baseLanguage.references.runtime)" kind="rt" />
|
|
<module ref="d44dab97-aaac-44cb-9745-8a14db674c03(jetbrains.mps.baseLanguage.tuples.runtime)" kind="rt" />
|
|
<module ref="d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)" kind="rt" />
|
|
<module ref="d936855b-48da-4812-a8a0-2bfddd633ac4(jetbrains.mps.lang.behavior.runtime)" kind="rt" />
|
|
<module ref="9a4afe51-f114-4595-b5df-048ce3c596be(jetbrains.mps.runtime)" kind="rt" />
|
|
<module ref="ec79e64d-4cbb-4f6c-b7b7-108dd125aba6(samples.fitch.propositionalLogic)" kind="cl" />
|
|
</dependencies>
|
|
<uses>
|
|
<language id="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" />
|
|
<language id="l:fd392034-7849-419d-9071-12563d152375:jetbrains.mps.baseLanguage.closures" />
|
|
<language id="l:83888646-71ce-4f1c-9c53-c54016f6ad4f:jetbrains.mps.baseLanguage.collections" />
|
|
<language id="l:f2801650-65d5-424e-bb1b-463a8781b786:jetbrains.mps.baseLanguage.javadoc" />
|
|
<language id="l:760a0a8c-eabb-4521-8bfd-65db761a9ba3:jetbrains.mps.baseLanguage.logging" />
|
|
<language id="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" />
|
|
<language id="l:b401a680-8325-4110-8fd3-84331ff25bef:jetbrains.mps.lang.generator" />
|
|
<language id="l:d7706f63-9be2-479c-a3da-ae92af1e64d5:jetbrains.mps.lang.generator.generationContext" />
|
|
<language id="l:289fcc83-6543-41e8-a5ca-768235715ce4:jetbrains.mps.lang.generator.generationParameters" />
|
|
<language id="l:3a13115c-633c-4c5c-bbcc-75c4219e9555:jetbrains.mps.lang.quotation" />
|
|
<language id="l:13744753-c81f-424a-9c1b-cf8943bf4e86:jetbrains.mps.lang.sharedConcepts" />
|
|
<language id="l:7866978e-a0f0-4cc7-81bc-4d213d9375e1:jetbrains.mps.lang.smodel" />
|
|
<language id="l:c7fb639f-be78-4307-89b0-b5959c3fa8c8:jetbrains.mps.lang.text" />
|
|
</uses>
|
|
<classpath>
|
|
<entry path="." />
|
|
</classpath>
|
|
<sources jar="samples.fitch.propositionalLogic-src.jar" descriptor="samples.fitch.propositionalLogic.mpl" />
|
|
</module>
|
|
</echoxml>
|
|
<jar destfile="${build.layout}/modules/samples.fitch.propositionalLogic-generator.jar" duplicate="preserve">
|
|
<fileset dir="${build.tmp}/java/out/samples.fitch.propositionalLogic#5505606474790531941" />
|
|
<fileset dir="${mps.macro.fitch_home}/languages/samples.fitch.propositionalLogic/generator/source_gen" includes="**/trace.info, **/exports, **/*.mps, **/checkpoints" />
|
|
<fileset dir="${build.tmp}/default/samples.fitch.propositionalLogic-generator.jar" />
|
|
</jar>
|
|
<copyModels todir="${build.tmp}/customProcessors/copyModels/languages-samples.fitch.propositionalLogic-models">
|
|
<fileset dir="${mps.macro.fitch_home}/languages/samples.fitch.propositionalLogic/models" includes="**/*.mps, **/*.mpsr, **/.model" />
|
|
</copyModels>
|
|
<copyModels todir="${build.tmp}/customProcessors/copyModels/languages-samples.fitch.propositionalLogic-generator-template">
|
|
<fileset dir="${mps.macro.fitch_home}/languages/samples.fitch.propositionalLogic/generator/template" includes="**/*.mps, **/*.mpsr, **/.model" />
|
|
</copyModels>
|
|
<jar destfile="${build.layout}/modules/samples.fitch.propositionalLogic-src.jar" duplicate="preserve">
|
|
<fileset dir="${mps.macro.fitch_home}/languages/samples.fitch.propositionalLogic/generator/source_gen">
|
|
<exclude name="**/trace.info" />
|
|
<exclude name="**/exports" />
|
|
<exclude name="**/checkpoints" />
|
|
<exclude name="**/*.mps" />
|
|
</fileset>
|
|
<fileset dir="${mps.macro.fitch_home}/languages/samples.fitch.propositionalLogic/source_gen">
|
|
<exclude name="**/trace.info" />
|
|
<exclude name="**/exports" />
|
|
<exclude name="**/checkpoints" />
|
|
<exclude name="**/*.mps" />
|
|
</fileset>
|
|
<zipfileset file="${basedir}/languages/samples.fitch.propositionalLogic/samples.fitch.propositionalLogic.mpl" prefix="module" />
|
|
<zipfileset dir="${build.tmp}/customProcessors/copyModels/languages-samples.fitch.propositionalLogic-models" prefix="module/models" />
|
|
<zipfileset dir="${build.tmp}/customProcessors/copyModels/languages-samples.fitch.propositionalLogic-generator-template" prefix="module/generator/template" />
|
|
</jar>
|
|
<mkdir dir="${build.tmp}/default/samples.fitch.demo.jar" />
|
|
<mkdir dir="${build.tmp}/default/samples.fitch.demo.jar/META-INF" />
|
|
<echoxml file="${build.tmp}/default/samples.fitch.demo.jar/META-INF/module.xml">
|
|
<module namespace="samples.fitch.demo" type="solution" uuid="86925f4e-7856-4553-a261-c86fbf09bb52">
|
|
<dependencies>
|
|
<module ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" kind="rt" />
|
|
<module ref="49808fad-9d41-4b96-83fa-9231640f6b2b(JUnit)" kind="rt" />
|
|
<module ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)" kind="rt" />
|
|
<module ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" kind="rt" />
|
|
<module ref="4c6a28d1-2c60-478d-b36e-db9b3cbb21fb(closures.runtime)" kind="rt" />
|
|
<module ref="9b80526e-f0bf-4992-bdf5-cee39c1833f3(collections.runtime)" kind="rt" />
|
|
<module ref="52b81ac7-93fd-4e9e-b972-4995882da6d4(jetbrains.mps.baseLanguage.references.runtime)" kind="rt" />
|
|
<module ref="6ef0db41-d3b2-47fe-82ac-d55a42cb6b13(jetbrains.mps.baseLanguage.unitTest.runtime)" kind="rt" />
|
|
<module ref="2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)" kind="rt" />
|
|
<module ref="d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)" kind="rt" />
|
|
<module ref="d936855b-48da-4812-a8a0-2bfddd633ac4(jetbrains.mps.lang.behavior.runtime)" kind="rt" />
|
|
<module ref="e55e6749-03cb-4ea7-9695-2322bab791c1(jetbrains.mps.lang.test.matcher)" kind="rt" />
|
|
<module ref="707c4fde-f79a-44b5-b3d7-b5cef8844ccf(jetbrains.mps.lang.test.runtime)" kind="rt" />
|
|
<module ref="9a4afe51-f114-4595-b5df-048ce3c596be(jetbrains.mps.runtime)" kind="rt" />
|
|
<module ref="63b449db-0918-4a4a-a891-2c430ab133e4(org.junit.junit5)" kind="rt" />
|
|
<module ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)" kind="cl" />
|
|
<module ref="6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.coderules.typechecking)" kind="cl" />
|
|
<module ref="ddb01c98-e78e-4c79-b11a-aeba193668d4(samples.fitch.firstOrderLogic)" kind="cl" />
|
|
<module ref="748b3ba1-2791-4ee8-b985-a5598baa7112(samples.fitch.herbrandLogic)" kind="cl" />
|
|
<module ref="ec79e64d-4cbb-4f6c-b7b7-108dd125aba6(samples.fitch.propositionalLogic)" kind="cl" />
|
|
</dependencies>
|
|
<uses>
|
|
<language id="l:f61473f9-130f-42f6-b98d-6c438812c2f6:jetbrains.mps.baseLanguage.unitTest" />
|
|
<language id="l:63650c59-16c8-498a-99c8-005c7ee9515d:jetbrains.mps.lang.access" />
|
|
<language id="l:7866978e-a0f0-4cc7-81bc-4d213d9375e1:jetbrains.mps.lang.smodel" />
|
|
<language id="l:8585453e-6bfb-4d80-98de-b16074f1d86c:jetbrains.mps.lang.test" />
|
|
<language id="l:06b7c5c7-e359-4f4b-a581-5d0c9323af39:samples.fitch" />
|
|
<language id="l:ddb01c98-e78e-4c79-b11a-aeba193668d4:samples.fitch.firstOrderLogic" />
|
|
<language id="l:748b3ba1-2791-4ee8-b985-a5598baa7112:samples.fitch.herbrandLogic" />
|
|
<language id="l:ec79e64d-4cbb-4f6c-b7b7-108dd125aba6:samples.fitch.propositionalLogic" />
|
|
</uses>
|
|
<classpath>
|
|
<entry path="." />
|
|
</classpath>
|
|
<sources jar="samples.fitch.demo-src.jar" descriptor="samples.fitch.demo.msd" />
|
|
</module>
|
|
</echoxml>
|
|
<jar destfile="${build.layout}/modules/samples.fitch.demo.jar" duplicate="preserve">
|
|
<fileset dir="${build.tmp}/java/out/samples.fitch.demo" />
|
|
<fileset dir="${basedir}/solutions/samples.fitch.demo" includes="icons/**, resources/**" />
|
|
<fileset dir="${mps.macro.fitch_home}/solutions/samples.fitch.demo/source_gen" includes="**/trace.info, **/exports, **/*.mps, **/checkpoints" />
|
|
<fileset dir="${build.tmp}/default/samples.fitch.demo.jar" />
|
|
</jar>
|
|
<copyModels todir="${build.tmp}/customProcessors/copyModels/solutions-samples.fitch.demo-models">
|
|
<fileset dir="${mps.macro.fitch_home}/solutions/samples.fitch.demo/models" includes="**/*.mps, **/*.mpsr, **/.model" />
|
|
</copyModels>
|
|
<jar destfile="${build.layout}/modules/samples.fitch.demo-src.jar" duplicate="preserve">
|
|
<fileset dir="${mps.macro.fitch_home}/solutions/samples.fitch.demo/source_gen">
|
|
<exclude name="**/trace.info" />
|
|
<exclude name="**/exports" />
|
|
<exclude name="**/checkpoints" />
|
|
<exclude name="**/*.mps" />
|
|
</fileset>
|
|
<zipfileset file="${basedir}/solutions/samples.fitch.demo/samples.fitch.demo.msd" prefix="module" />
|
|
<zipfileset dir="${build.tmp}/customProcessors/copyModels/solutions-samples.fitch.demo-models" prefix="module/models" />
|
|
</jar>
|
|
<echo file="${build.layout}/build.properties">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}mps.runtimeBuild=${mps.runtimeBuild}${line.separator}mpsBootstrapCore.version.major=${mpsBootstrapCore.version.major}${line.separator}mpsBootstrapCore.version.minor=${mpsBootstrapCore.version.minor}${line.separator}mpsBootstrapCore.version.bugfixNr=${mpsBootstrapCore.version.bugfixNr}${line.separator}mpsBootstrapCore.version.eap=${mpsBootstrapCore.version.eap}${line.separator}mpsBootstrapCore.version=${mpsBootstrapCore.version}${line.separator}coderules.ci.build.num=${coderules.ci.build.num}${line.separator}coderules.ci.build.tag=${coderules.ci.build.tag}${line.separator}coderules.ci.mps.release=${coderules.ci.mps.release}${line.separator}coderules.test.jvmargs=${coderules.test.jvmargs}</echo>
|
|
</target>
|
|
|
|
<target name="buildDependents" />
|
|
|
|
<target name="fetchDependencies" />
|
|
|
|
<target name="build" depends="assemble" />
|
|
|
|
<target name="clean">
|
|
<delete dir="${build.mps.config.path}" />
|
|
<delete dir="${build.mps.system.path}" />
|
|
<delete dir="${build.tmp}" />
|
|
<delete dir="${build.layout}" />
|
|
</target>
|
|
|
|
<target name="generate" depends="declare-mps-tasks, fetchDependencies">
|
|
<echo message="generating" />
|
|
<generate fork="true" logLevel="${mps.ant.log}">
|
|
<settings refid="m2m-0" />
|
|
<plugin path="${artifacts.coderules}/jetbrains.mps.coderules" id="jetbrains.mps.coderules" />
|
|
<plugin path="${artifacts.mps}/lib/mps-workbench.jar" id="com.intellij.modules.mps" />
|
|
<plugin path="${artifacts.mps}/plugins/mps-build" id="jetbrains.mps.build" />
|
|
<plugin path="${artifacts.mps}/plugins/mps-core" id="jetbrains.mps.core" />
|
|
<plugin path="${artifacts.mps}/plugins/mps-java" id="jetbrains.mps.ide.java" />
|
|
<plugin path="${artifacts.mps}/plugins/mps-junit5" id="jetbrains.mps.junit5" />
|
|
<plugin path="${artifacts.mps}/plugins/mps-testing" id="jetbrains.mps.testing" />
|
|
<library file="${artifacts.mps}/languages/editor/jetbrains.mps.ide.editor.jar" />
|
|
<library file="${artifacts.mps}/languages/plaf/jetbrains.mps.ide.ui.jar" />
|
|
<library file="${artifacts.mps}/languages/workbench-stub.jar" />
|
|
<library file="${artifacts.mps}/languages/workbench/jetbrains.mps.ide.jar" />
|
|
<chunk>
|
|
<module file="${basedir}/languages/samples.fitch/samples.fitch.mpl" />
|
|
<module file="${basedir}/languages/samples.fitch.firstOrderLogic/samples.fitch.firstOrderLogic.mpl" />
|
|
<module file="${basedir}/languages/samples.fitch.herbrandLogic/samples.fitch.herbrandLogic.mpl" />
|
|
<module file="${basedir}/languages/samples.fitch.propositionalLogic/samples.fitch.propositionalLogic.mpl" />
|
|
</chunk>
|
|
<chunk>
|
|
<module file="${basedir}/solutions/samples.fitch.demo/samples.fitch.demo.msd" />
|
|
</chunk>
|
|
<jvmargs>
|
|
<arg value="-ea" />
|
|
<arg value="-Xmx512m" />
|
|
</jvmargs>
|
|
<macro name="coderules_art" path="${coderules_art}" />
|
|
<macro name="mps_home" path="${mps_home}" />
|
|
<macro name="mps.macro.fitch_home" path="${mps.macro.fitch_home}" />
|
|
</generate>
|
|
</target>
|
|
|
|
<target name="declare-mps-tasks" />
|
|
|
|
<target name="makeDependents" />
|
|
|
|
<target name="compileJava" depends="java.compile.samples.fitch, java.compile.samples.fitch#4322786184247805322, java.compile.samples.fitch.propositionalLogic, java.compile.samples.fitch.propositionalLogic#5505606474790531941, java.compile.samples.fitch.herbrandLogic, java.compile.samples.fitch.herbrandLogic#3059457401298723545, java.compile.samples.fitch.firstOrderLogic, java.compile.samples.fitch.firstOrderLogic#4035326440039985569, java.compile.samples.fitch.demo" />
|
|
|
|
<target name="processResources" />
|
|
|
|
<target name="classes" depends="compileJava, processResources" />
|
|
|
|
<target name="test" depends="classes, module-tests" />
|
|
|
|
<target name="check" depends="test" />
|
|
|
|
<target name="module-tests" depends="assemble, test.check" />
|
|
|
|
<target name="java.compile.samples.fitch" depends="fetchDependencies">
|
|
<mkdir dir="${mps.macro.fitch_home}/languages/samples.fitch/source_gen" />
|
|
<mkdir dir="${build.tmp}/java/out/samples.fitch" />
|
|
<javac destdir="${build.tmp}/java/out/samples.fitch" fork="true" encoding="utf8" includeantruntime="false" debug="true">
|
|
<compilerarg value="-Xlint:none" />
|
|
<src>
|
|
<path location="${mps.macro.fitch_home}/languages/samples.fitch/source_gen" />
|
|
</src>
|
|
<classpath>
|
|
<fileset file="${artifacts.mps}/lib/mps-annotations.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-openapi.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-context.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-constraints-runtime.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-problem.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-feedback-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-core.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-platform.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-messages-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-messages-for-rules.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-behavior-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-behavior-runtime.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-closures.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-collections.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-tuples.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-references.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor-runtime.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-generator.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-persistence.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-environment.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-project-check.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-textgen.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-scripts-rt.jar" />
|
|
<fileset file="${artifacts.mps}/lib/annotations.jar" />
|
|
<fileset file="${artifacts.mps}/lib/app.jar" />
|
|
<fileset file="${artifacts.mps}/lib/app-client.jar" />
|
|
<fileset file="${artifacts.mps}/lib/lib.jar" />
|
|
<fileset file="${artifacts.mps}/lib/lib-client.jar" />
|
|
<fileset file="${artifacts.mps}/lib/util.jar" />
|
|
<fileset file="${artifacts.mps}/lib/util_rt.jar" />
|
|
<fileset file="${artifacts.mps}/lib/util-8.jar" />
|
|
<fileset file="${artifacts.mps}/lib/forms_rt.jar" />
|
|
<fileset file="${artifacts.mps}/lib/java-frontback.jar" />
|
|
<fileset file="${artifacts.mps}/lib/jps-model.jar" />
|
|
<fileset file="${artifacts.mps}/lib/testFramework.jar" />
|
|
<fileset file="${artifacts.mps}/lib/stats.jar" />
|
|
<fileset file="${artifacts.mps}/lib/platform-loader.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.asm.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.gson.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.miglayout.swing.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.platform.vcs.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.platform.vcs.core.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.xml.parser.jar" />
|
|
<fileset file="${artifacts.mps}/languages/runtimes/jetbrains.mps.analyzers.runtime.jar" />
|
|
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.logging.runtime.jar" />
|
|
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.regexp.runtime.jar" />
|
|
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.coderules.jar" />
|
|
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.coderules.typechecking.jar" />
|
|
<fileset file="${artifacts.mps}/languages/runtimes/jetbrains.mps.dataFlow.runtime.jar" />
|
|
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.lang.coderules.runtime.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.descriptor.aspects.jar" />
|
|
<fileset file="${artifacts.mps}/plugins/mps-core/languages/languageDesign/jetbrains.mps.lang.editor.table.runtime.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.scopes.runtime.jar" />
|
|
<fileset file="${artifacts.mps}/languages/runtimes/jetbrains.mps.lang.smodel.query.runtime.jar" />
|
|
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.lang.typechecking.runtime.jar" />
|
|
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.logic.reactor.jar" />
|
|
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.logic.runtime.jar" />
|
|
<fileset dir="${artifacts.coderules}/jetbrains.mps.coderules/lib" includes="collection-0.7.jar" />
|
|
<fileset dir="${artifacts.coderules}/jetbrains.mps.coderules/lib" includes="trove4j-3.0.3.jar" />
|
|
<fileset dir="${artifacts.coderules}/jetbrains.mps.coderules/lib" includes="conreactor-core-0.9.21.jar" />
|
|
</classpath>
|
|
</javac>
|
|
<copy todir="${build.tmp}/java/out/samples.fitch">
|
|
<fileset dir="${mps.macro.fitch_home}/languages/samples.fitch/source_gen" excludes="**/*.java" />
|
|
</copy>
|
|
</target>
|
|
|
|
<target name="java.compile.samples.fitch#4322786184247805322" depends="java.compile.samples.fitch, fetchDependencies">
|
|
<mkdir dir="${mps.macro.fitch_home}/languages/samples.fitch/generator/source_gen" />
|
|
<mkdir dir="${build.tmp}/java/out/samples.fitch#4322786184247805322" />
|
|
<javac destdir="${build.tmp}/java/out/samples.fitch#4322786184247805322" fork="true" encoding="utf8" includeantruntime="false" debug="true">
|
|
<compilerarg value="-Xlint:none" />
|
|
<src>
|
|
<path location="${mps.macro.fitch_home}/languages/samples.fitch/generator/source_gen" />
|
|
</src>
|
|
<classpath>
|
|
<fileset file="${artifacts.mps}/lib/mps-annotations.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-openapi.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-context.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-constraints-runtime.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-problem.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-feedback-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-core.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-platform.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-messages-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-messages-for-rules.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-behavior-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-behavior-runtime.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-closures.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-collections.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-tuples.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-references.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor-runtime.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-generator.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-persistence.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-environment.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-project-check.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-textgen.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-scripts-rt.jar" />
|
|
<pathelement path="${build.tmp}/java/out/samples.fitch" />
|
|
<fileset file="${artifacts.mps}/lib/annotations.jar" />
|
|
<fileset file="${artifacts.mps}/lib/app.jar" />
|
|
<fileset file="${artifacts.mps}/lib/app-client.jar" />
|
|
<fileset file="${artifacts.mps}/lib/lib.jar" />
|
|
<fileset file="${artifacts.mps}/lib/lib-client.jar" />
|
|
<fileset file="${artifacts.mps}/lib/util.jar" />
|
|
<fileset file="${artifacts.mps}/lib/util_rt.jar" />
|
|
<fileset file="${artifacts.mps}/lib/util-8.jar" />
|
|
<fileset file="${artifacts.mps}/lib/forms_rt.jar" />
|
|
<fileset file="${artifacts.mps}/lib/java-frontback.jar" />
|
|
<fileset file="${artifacts.mps}/lib/jps-model.jar" />
|
|
<fileset file="${artifacts.mps}/lib/testFramework.jar" />
|
|
<fileset file="${artifacts.mps}/lib/stats.jar" />
|
|
<fileset file="${artifacts.mps}/lib/platform-loader.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.asm.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.gson.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.miglayout.swing.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.platform.vcs.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.platform.vcs.core.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.xml.parser.jar" />
|
|
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.logging.runtime.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.jar" />
|
|
</classpath>
|
|
</javac>
|
|
<copy todir="${build.tmp}/java/out/samples.fitch#4322786184247805322">
|
|
<fileset dir="${mps.macro.fitch_home}/languages/samples.fitch/generator/source_gen" excludes="**/*.java" />
|
|
</copy>
|
|
</target>
|
|
|
|
<target name="java.compile.samples.fitch.propositionalLogic" depends="java.compile.samples.fitch, fetchDependencies">
|
|
<mkdir dir="${mps.macro.fitch_home}/languages/samples.fitch.propositionalLogic/source_gen" />
|
|
<mkdir dir="${build.tmp}/java/out/samples.fitch.propositionalLogic" />
|
|
<javac destdir="${build.tmp}/java/out/samples.fitch.propositionalLogic" fork="true" encoding="utf8" includeantruntime="false" debug="true">
|
|
<compilerarg value="-Xlint:none" />
|
|
<src>
|
|
<path location="${mps.macro.fitch_home}/languages/samples.fitch.propositionalLogic/source_gen" />
|
|
</src>
|
|
<classpath>
|
|
<fileset file="${artifacts.mps}/lib/mps-annotations.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-openapi.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-context.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-constraints-runtime.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-problem.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-feedback-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-core.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-platform.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-messages-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-messages-for-rules.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-behavior-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-behavior-runtime.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-closures.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-collections.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-tuples.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-references.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor-runtime.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-generator.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-persistence.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-environment.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-project-check.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-textgen.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-scripts-rt.jar" />
|
|
<pathelement path="${build.tmp}/java/out/samples.fitch" />
|
|
<fileset file="${artifacts.mps}/lib/annotations.jar" />
|
|
<fileset file="${artifacts.mps}/lib/app.jar" />
|
|
<fileset file="${artifacts.mps}/lib/app-client.jar" />
|
|
<fileset file="${artifacts.mps}/lib/lib.jar" />
|
|
<fileset file="${artifacts.mps}/lib/lib-client.jar" />
|
|
<fileset file="${artifacts.mps}/lib/util.jar" />
|
|
<fileset file="${artifacts.mps}/lib/util_rt.jar" />
|
|
<fileset file="${artifacts.mps}/lib/util-8.jar" />
|
|
<fileset file="${artifacts.mps}/lib/forms_rt.jar" />
|
|
<fileset file="${artifacts.mps}/lib/java-frontback.jar" />
|
|
<fileset file="${artifacts.mps}/lib/jps-model.jar" />
|
|
<fileset file="${artifacts.mps}/lib/testFramework.jar" />
|
|
<fileset file="${artifacts.mps}/lib/stats.jar" />
|
|
<fileset file="${artifacts.mps}/lib/platform-loader.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.asm.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.gson.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.miglayout.swing.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.platform.vcs.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.platform.vcs.core.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.xml.parser.jar" />
|
|
<fileset file="${artifacts.mps}/languages/runtimes/jetbrains.mps.analyzers.runtime.jar" />
|
|
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.jar" />
|
|
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.closures.jar" />
|
|
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.collections.jar" />
|
|
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.logging.runtime.jar" />
|
|
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.regexp.jar" />
|
|
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.regexp.runtime.jar" />
|
|
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.scopes.jar" />
|
|
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.coderules.jar" />
|
|
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.coderules.typechecking.jar" />
|
|
<fileset file="${artifacts.mps}/languages/runtimes/jetbrains.mps.dataFlow.runtime.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.aspect.jar" />
|
|
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.lang.coderules.jar" />
|
|
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.lang.coderules.runtime.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.descriptor.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.descriptor.aspects.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.modelapi.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.scopes.runtime.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.smodel.jar" />
|
|
<fileset file="${artifacts.mps}/languages/runtimes/jetbrains.mps.lang.smodel.query.runtime.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.structure.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.traceable.jar" />
|
|
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.lang.typechecking.jar" />
|
|
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.lang.typechecking.runtime.jar" />
|
|
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.lang.types.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.util.order.jar" />
|
|
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.logic.jar" />
|
|
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.logic.reactor.jar" />
|
|
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.logic.runtime.jar" />
|
|
<fileset dir="${artifacts.coderules}/jetbrains.mps.coderules/lib" includes="collection-0.7.jar" />
|
|
<fileset dir="${artifacts.coderules}/jetbrains.mps.coderules/lib" includes="trove4j-3.0.3.jar" />
|
|
<fileset dir="${artifacts.coderules}/jetbrains.mps.coderules/lib" includes="conreactor-core-0.9.21.jar" />
|
|
</classpath>
|
|
</javac>
|
|
<copy todir="${build.tmp}/java/out/samples.fitch.propositionalLogic">
|
|
<fileset dir="${mps.macro.fitch_home}/languages/samples.fitch.propositionalLogic/source_gen" excludes="**/*.java" />
|
|
</copy>
|
|
</target>
|
|
|
|
<target name="java.compile.samples.fitch.propositionalLogic#5505606474790531941" depends="java.compile.samples.fitch, java.compile.samples.fitch.propositionalLogic, fetchDependencies">
|
|
<mkdir dir="${mps.macro.fitch_home}/languages/samples.fitch.propositionalLogic/generator/source_gen" />
|
|
<mkdir dir="${build.tmp}/java/out/samples.fitch.propositionalLogic#5505606474790531941" />
|
|
<javac destdir="${build.tmp}/java/out/samples.fitch.propositionalLogic#5505606474790531941" fork="true" encoding="utf8" includeantruntime="false" debug="true">
|
|
<compilerarg value="-Xlint:none" />
|
|
<src>
|
|
<path location="${mps.macro.fitch_home}/languages/samples.fitch.propositionalLogic/generator/source_gen" />
|
|
</src>
|
|
<classpath>
|
|
<fileset file="${artifacts.mps}/lib/mps-annotations.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-openapi.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-context.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-constraints-runtime.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-problem.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-feedback-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-core.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-platform.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-messages-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-messages-for-rules.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-behavior-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-behavior-runtime.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-closures.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-collections.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-tuples.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-references.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor-runtime.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-generator.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-persistence.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-environment.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-project-check.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-textgen.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-scripts-rt.jar" />
|
|
<pathelement path="${build.tmp}/java/out/samples.fitch" />
|
|
<pathelement path="${build.tmp}/java/out/samples.fitch.propositionalLogic" />
|
|
<fileset file="${artifacts.mps}/lib/annotations.jar" />
|
|
<fileset file="${artifacts.mps}/lib/app.jar" />
|
|
<fileset file="${artifacts.mps}/lib/app-client.jar" />
|
|
<fileset file="${artifacts.mps}/lib/lib.jar" />
|
|
<fileset file="${artifacts.mps}/lib/lib-client.jar" />
|
|
<fileset file="${artifacts.mps}/lib/util.jar" />
|
|
<fileset file="${artifacts.mps}/lib/util_rt.jar" />
|
|
<fileset file="${artifacts.mps}/lib/util-8.jar" />
|
|
<fileset file="${artifacts.mps}/lib/forms_rt.jar" />
|
|
<fileset file="${artifacts.mps}/lib/java-frontback.jar" />
|
|
<fileset file="${artifacts.mps}/lib/jps-model.jar" />
|
|
<fileset file="${artifacts.mps}/lib/testFramework.jar" />
|
|
<fileset file="${artifacts.mps}/lib/stats.jar" />
|
|
<fileset file="${artifacts.mps}/lib/platform-loader.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.asm.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.gson.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.miglayout.swing.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.platform.vcs.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.platform.vcs.core.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.xml.parser.jar" />
|
|
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.logging.runtime.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.jar" />
|
|
</classpath>
|
|
</javac>
|
|
<copy todir="${build.tmp}/java/out/samples.fitch.propositionalLogic#5505606474790531941">
|
|
<fileset dir="${mps.macro.fitch_home}/languages/samples.fitch.propositionalLogic/generator/source_gen" excludes="**/*.java" />
|
|
</copy>
|
|
</target>
|
|
|
|
<target name="java.compile.samples.fitch.herbrandLogic" depends="java.compile.samples.fitch, java.compile.samples.fitch.propositionalLogic, fetchDependencies">
|
|
<mkdir dir="${mps.macro.fitch_home}/languages/samples.fitch.herbrandLogic/source_gen" />
|
|
<mkdir dir="${build.tmp}/java/out/samples.fitch.herbrandLogic" />
|
|
<javac destdir="${build.tmp}/java/out/samples.fitch.herbrandLogic" fork="true" encoding="utf8" includeantruntime="false" debug="true">
|
|
<compilerarg value="-Xlint:none" />
|
|
<src>
|
|
<path location="${mps.macro.fitch_home}/languages/samples.fitch.herbrandLogic/source_gen" />
|
|
</src>
|
|
<classpath>
|
|
<fileset file="${artifacts.mps}/lib/mps-annotations.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-openapi.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-context.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-constraints-runtime.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-problem.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-feedback-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-core.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-platform.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-messages-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-messages-for-rules.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-behavior-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-behavior-runtime.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-closures.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-collections.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-tuples.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-references.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor-runtime.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-generator.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-persistence.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-environment.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-project-check.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-textgen.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-scripts-rt.jar" />
|
|
<pathelement path="${build.tmp}/java/out/samples.fitch" />
|
|
<pathelement path="${build.tmp}/java/out/samples.fitch.propositionalLogic" />
|
|
<fileset file="${artifacts.mps}/lib/annotations.jar" />
|
|
<fileset file="${artifacts.mps}/lib/app.jar" />
|
|
<fileset file="${artifacts.mps}/lib/app-client.jar" />
|
|
<fileset file="${artifacts.mps}/lib/lib.jar" />
|
|
<fileset file="${artifacts.mps}/lib/lib-client.jar" />
|
|
<fileset file="${artifacts.mps}/lib/util.jar" />
|
|
<fileset file="${artifacts.mps}/lib/util_rt.jar" />
|
|
<fileset file="${artifacts.mps}/lib/util-8.jar" />
|
|
<fileset file="${artifacts.mps}/lib/forms_rt.jar" />
|
|
<fileset file="${artifacts.mps}/lib/java-frontback.jar" />
|
|
<fileset file="${artifacts.mps}/lib/jps-model.jar" />
|
|
<fileset file="${artifacts.mps}/lib/testFramework.jar" />
|
|
<fileset file="${artifacts.mps}/lib/stats.jar" />
|
|
<fileset file="${artifacts.mps}/lib/platform-loader.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.asm.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.gson.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.miglayout.swing.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.platform.vcs.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.platform.vcs.core.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.xml.parser.jar" />
|
|
<fileset file="${artifacts.mps}/languages/runtimes/jetbrains.mps.analyzers.runtime.jar" />
|
|
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.jar" />
|
|
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.closures.jar" />
|
|
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.collections.jar" />
|
|
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.logging.runtime.jar" />
|
|
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.regexp.jar" />
|
|
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.regexp.runtime.jar" />
|
|
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.scopes.jar" />
|
|
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.coderules.jar" />
|
|
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.coderules.typechecking.jar" />
|
|
<fileset file="${artifacts.mps}/languages/runtimes/jetbrains.mps.dataFlow.runtime.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.aspect.jar" />
|
|
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.lang.coderules.jar" />
|
|
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.lang.coderules.runtime.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.descriptor.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.descriptor.aspects.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.modelapi.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.scopes.runtime.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.smodel.jar" />
|
|
<fileset file="${artifacts.mps}/languages/runtimes/jetbrains.mps.lang.smodel.query.runtime.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.structure.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.traceable.jar" />
|
|
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.lang.typechecking.jar" />
|
|
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.lang.typechecking.runtime.jar" />
|
|
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.lang.types.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.util.order.jar" />
|
|
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.logic.jar" />
|
|
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.logic.reactor.jar" />
|
|
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.logic.runtime.jar" />
|
|
<fileset dir="${artifacts.coderules}/jetbrains.mps.coderules/lib" includes="collection-0.7.jar" />
|
|
<fileset dir="${artifacts.coderules}/jetbrains.mps.coderules/lib" includes="trove4j-3.0.3.jar" />
|
|
<fileset dir="${artifacts.coderules}/jetbrains.mps.coderules/lib" includes="conreactor-core-0.9.21.jar" />
|
|
</classpath>
|
|
</javac>
|
|
<copy todir="${build.tmp}/java/out/samples.fitch.herbrandLogic">
|
|
<fileset dir="${mps.macro.fitch_home}/languages/samples.fitch.herbrandLogic/source_gen" excludes="**/*.java" />
|
|
</copy>
|
|
</target>
|
|
|
|
<target name="java.compile.samples.fitch.herbrandLogic#3059457401298723545" depends="java.compile.samples.fitch, java.compile.samples.fitch.herbrandLogic, java.compile.samples.fitch.propositionalLogic, fetchDependencies">
|
|
<mkdir dir="${mps.macro.fitch_home}/languages/samples.fitch.herbrandLogic/generator/source_gen" />
|
|
<mkdir dir="${build.tmp}/java/out/samples.fitch.herbrandLogic#3059457401298723545" />
|
|
<javac destdir="${build.tmp}/java/out/samples.fitch.herbrandLogic#3059457401298723545" fork="true" encoding="utf8" includeantruntime="false" debug="true">
|
|
<compilerarg value="-Xlint:none" />
|
|
<src>
|
|
<path location="${mps.macro.fitch_home}/languages/samples.fitch.herbrandLogic/generator/source_gen" />
|
|
</src>
|
|
<classpath>
|
|
<fileset file="${artifacts.mps}/lib/mps-annotations.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-openapi.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-context.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-constraints-runtime.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-problem.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-feedback-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-core.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-platform.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-messages-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-messages-for-rules.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-behavior-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-behavior-runtime.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-closures.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-collections.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-tuples.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-references.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor-runtime.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-generator.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-persistence.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-environment.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-project-check.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-textgen.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-scripts-rt.jar" />
|
|
<pathelement path="${build.tmp}/java/out/samples.fitch" />
|
|
<pathelement path="${build.tmp}/java/out/samples.fitch.herbrandLogic" />
|
|
<pathelement path="${build.tmp}/java/out/samples.fitch.propositionalLogic" />
|
|
<fileset file="${artifacts.mps}/lib/annotations.jar" />
|
|
<fileset file="${artifacts.mps}/lib/app.jar" />
|
|
<fileset file="${artifacts.mps}/lib/app-client.jar" />
|
|
<fileset file="${artifacts.mps}/lib/lib.jar" />
|
|
<fileset file="${artifacts.mps}/lib/lib-client.jar" />
|
|
<fileset file="${artifacts.mps}/lib/util.jar" />
|
|
<fileset file="${artifacts.mps}/lib/util_rt.jar" />
|
|
<fileset file="${artifacts.mps}/lib/util-8.jar" />
|
|
<fileset file="${artifacts.mps}/lib/forms_rt.jar" />
|
|
<fileset file="${artifacts.mps}/lib/java-frontback.jar" />
|
|
<fileset file="${artifacts.mps}/lib/jps-model.jar" />
|
|
<fileset file="${artifacts.mps}/lib/testFramework.jar" />
|
|
<fileset file="${artifacts.mps}/lib/stats.jar" />
|
|
<fileset file="${artifacts.mps}/lib/platform-loader.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.asm.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.gson.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.miglayout.swing.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.platform.vcs.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.platform.vcs.core.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.xml.parser.jar" />
|
|
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.logging.runtime.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.jar" />
|
|
</classpath>
|
|
</javac>
|
|
<copy todir="${build.tmp}/java/out/samples.fitch.herbrandLogic#3059457401298723545">
|
|
<fileset dir="${mps.macro.fitch_home}/languages/samples.fitch.herbrandLogic/generator/source_gen" excludes="**/*.java" />
|
|
</copy>
|
|
</target>
|
|
|
|
<target name="java.compile.samples.fitch.firstOrderLogic" depends="java.compile.samples.fitch, java.compile.samples.fitch.herbrandLogic, java.compile.samples.fitch.propositionalLogic, fetchDependencies">
|
|
<mkdir dir="${mps.macro.fitch_home}/languages/samples.fitch.firstOrderLogic/source_gen" />
|
|
<mkdir dir="${build.tmp}/java/out/samples.fitch.firstOrderLogic" />
|
|
<javac destdir="${build.tmp}/java/out/samples.fitch.firstOrderLogic" fork="true" encoding="utf8" includeantruntime="false" debug="true">
|
|
<compilerarg value="-Xlint:none" />
|
|
<src>
|
|
<path location="${mps.macro.fitch_home}/languages/samples.fitch.firstOrderLogic/source_gen" />
|
|
</src>
|
|
<classpath>
|
|
<fileset file="${artifacts.mps}/lib/mps-annotations.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-openapi.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-context.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-constraints-runtime.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-problem.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-feedback-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-core.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-platform.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-messages-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-messages-for-rules.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-behavior-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-behavior-runtime.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-closures.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-collections.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-tuples.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-references.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor-runtime.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-generator.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-persistence.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-environment.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-project-check.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-textgen.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-scripts-rt.jar" />
|
|
<pathelement path="${build.tmp}/java/out/samples.fitch" />
|
|
<pathelement path="${build.tmp}/java/out/samples.fitch.herbrandLogic" />
|
|
<pathelement path="${build.tmp}/java/out/samples.fitch.propositionalLogic" />
|
|
<fileset file="${artifacts.mps}/lib/annotations.jar" />
|
|
<fileset file="${artifacts.mps}/lib/app.jar" />
|
|
<fileset file="${artifacts.mps}/lib/app-client.jar" />
|
|
<fileset file="${artifacts.mps}/lib/lib.jar" />
|
|
<fileset file="${artifacts.mps}/lib/lib-client.jar" />
|
|
<fileset file="${artifacts.mps}/lib/util.jar" />
|
|
<fileset file="${artifacts.mps}/lib/util_rt.jar" />
|
|
<fileset file="${artifacts.mps}/lib/util-8.jar" />
|
|
<fileset file="${artifacts.mps}/lib/forms_rt.jar" />
|
|
<fileset file="${artifacts.mps}/lib/java-frontback.jar" />
|
|
<fileset file="${artifacts.mps}/lib/jps-model.jar" />
|
|
<fileset file="${artifacts.mps}/lib/testFramework.jar" />
|
|
<fileset file="${artifacts.mps}/lib/stats.jar" />
|
|
<fileset file="${artifacts.mps}/lib/platform-loader.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.asm.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.gson.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.miglayout.swing.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.platform.vcs.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.platform.vcs.core.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.xml.parser.jar" />
|
|
<fileset file="${artifacts.mps}/languages/runtimes/jetbrains.mps.analyzers.runtime.jar" />
|
|
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.jar" />
|
|
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.closures.jar" />
|
|
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.collections.jar" />
|
|
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.logging.runtime.jar" />
|
|
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.scopes.jar" />
|
|
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.coderules.jar" />
|
|
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.coderules.typechecking.jar" />
|
|
<fileset file="${artifacts.mps}/languages/runtimes/jetbrains.mps.dataFlow.runtime.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.aspect.jar" />
|
|
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.lang.coderules.jar" />
|
|
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.lang.coderules.runtime.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.descriptor.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.descriptor.aspects.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.modelapi.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.scopes.runtime.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.smodel.jar" />
|
|
<fileset file="${artifacts.mps}/languages/runtimes/jetbrains.mps.lang.smodel.query.runtime.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.structure.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.traceable.jar" />
|
|
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.lang.typechecking.jar" />
|
|
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.lang.typechecking.runtime.jar" />
|
|
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.lang.types.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.util.order.jar" />
|
|
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.logic.jar" />
|
|
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.logic.reactor.jar" />
|
|
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.logic.runtime.jar" />
|
|
<fileset dir="${artifacts.coderules}/jetbrains.mps.coderules/lib" includes="collection-0.7.jar" />
|
|
<fileset dir="${artifacts.coderules}/jetbrains.mps.coderules/lib" includes="trove4j-3.0.3.jar" />
|
|
<fileset dir="${artifacts.coderules}/jetbrains.mps.coderules/lib" includes="conreactor-core-0.9.21.jar" />
|
|
</classpath>
|
|
</javac>
|
|
<copy todir="${build.tmp}/java/out/samples.fitch.firstOrderLogic">
|
|
<fileset dir="${mps.macro.fitch_home}/languages/samples.fitch.firstOrderLogic/source_gen" excludes="**/*.java" />
|
|
</copy>
|
|
</target>
|
|
|
|
<target name="java.compile.samples.fitch.firstOrderLogic#4035326440039985569" depends="java.compile.samples.fitch, java.compile.samples.fitch.firstOrderLogic, java.compile.samples.fitch.herbrandLogic, java.compile.samples.fitch.propositionalLogic, fetchDependencies">
|
|
<mkdir dir="${mps.macro.fitch_home}/languages/samples.fitch.firstOrderLogic/generator/source_gen" />
|
|
<mkdir dir="${build.tmp}/java/out/samples.fitch.firstOrderLogic#4035326440039985569" />
|
|
<javac destdir="${build.tmp}/java/out/samples.fitch.firstOrderLogic#4035326440039985569" fork="true" encoding="utf8" includeantruntime="false" debug="true">
|
|
<compilerarg value="-Xlint:none" />
|
|
<src>
|
|
<path location="${mps.macro.fitch_home}/languages/samples.fitch.firstOrderLogic/generator/source_gen" />
|
|
</src>
|
|
<classpath>
|
|
<fileset file="${artifacts.mps}/lib/mps-annotations.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-openapi.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-context.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-constraints-runtime.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-problem.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-feedback-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-core.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-platform.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-messages-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-messages-for-rules.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-behavior-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-behavior-runtime.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-closures.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-collections.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-tuples.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-references.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor-runtime.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-generator.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-persistence.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-environment.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-project-check.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-textgen.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-scripts-rt.jar" />
|
|
<pathelement path="${build.tmp}/java/out/samples.fitch" />
|
|
<pathelement path="${build.tmp}/java/out/samples.fitch.firstOrderLogic" />
|
|
<pathelement path="${build.tmp}/java/out/samples.fitch.herbrandLogic" />
|
|
<pathelement path="${build.tmp}/java/out/samples.fitch.propositionalLogic" />
|
|
<fileset file="${artifacts.mps}/lib/annotations.jar" />
|
|
<fileset file="${artifacts.mps}/lib/app.jar" />
|
|
<fileset file="${artifacts.mps}/lib/app-client.jar" />
|
|
<fileset file="${artifacts.mps}/lib/lib.jar" />
|
|
<fileset file="${artifacts.mps}/lib/lib-client.jar" />
|
|
<fileset file="${artifacts.mps}/lib/util.jar" />
|
|
<fileset file="${artifacts.mps}/lib/util_rt.jar" />
|
|
<fileset file="${artifacts.mps}/lib/util-8.jar" />
|
|
<fileset file="${artifacts.mps}/lib/forms_rt.jar" />
|
|
<fileset file="${artifacts.mps}/lib/java-frontback.jar" />
|
|
<fileset file="${artifacts.mps}/lib/jps-model.jar" />
|
|
<fileset file="${artifacts.mps}/lib/testFramework.jar" />
|
|
<fileset file="${artifacts.mps}/lib/stats.jar" />
|
|
<fileset file="${artifacts.mps}/lib/platform-loader.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.asm.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.gson.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.miglayout.swing.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.platform.vcs.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.platform.vcs.core.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.xml.parser.jar" />
|
|
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.logging.runtime.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.jar" />
|
|
</classpath>
|
|
</javac>
|
|
<copy todir="${build.tmp}/java/out/samples.fitch.firstOrderLogic#4035326440039985569">
|
|
<fileset dir="${mps.macro.fitch_home}/languages/samples.fitch.firstOrderLogic/generator/source_gen" excludes="**/*.java" />
|
|
</copy>
|
|
</target>
|
|
|
|
<target name="java.compile.samples.fitch.demo" depends="java.compile.samples.fitch, java.compile.samples.fitch.firstOrderLogic, java.compile.samples.fitch.herbrandLogic, java.compile.samples.fitch.propositionalLogic, fetchDependencies">
|
|
<mkdir dir="${mps.macro.fitch_home}/solutions/samples.fitch.demo/source_gen" />
|
|
<mkdir dir="${build.tmp}/java/out/samples.fitch.demo" />
|
|
<javac destdir="${build.tmp}/java/out/samples.fitch.demo" fork="true" encoding="utf8" includeantruntime="false" debug="true">
|
|
<compilerarg value="-Xlint:none" />
|
|
<src>
|
|
<path location="${mps.macro.fitch_home}/solutions/samples.fitch.demo/source_gen" />
|
|
<pathelement path="${mps.macro.fitch_home}/solutions/samples.fitch.demo/test_gen/" />
|
|
</src>
|
|
<classpath>
|
|
<fileset file="${artifacts.mps}/lib/mps-annotations.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-openapi.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-context.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-constraints-runtime.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-problem.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-feedback-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-core.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-platform.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-messages-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-messages-for-rules.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-behavior-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-behavior-runtime.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-closures.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-collections.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-tuples.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-references.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor-runtime.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-generator.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-persistence.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-environment.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-project-check.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-textgen.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-scripts-rt.jar" />
|
|
<pathelement path="${build.tmp}/java/out/samples.fitch" />
|
|
<pathelement path="${build.tmp}/java/out/samples.fitch.firstOrderLogic" />
|
|
<pathelement path="${build.tmp}/java/out/samples.fitch.herbrandLogic" />
|
|
<pathelement path="${build.tmp}/java/out/samples.fitch.propositionalLogic" />
|
|
<fileset file="${artifacts.mps}/lib/mps-test.jar" />
|
|
<fileset file="${artifacts.mps}/lib/annotations.jar" />
|
|
<fileset file="${artifacts.mps}/lib/app.jar" />
|
|
<fileset file="${artifacts.mps}/lib/app-client.jar" />
|
|
<fileset file="${artifacts.mps}/lib/lib.jar" />
|
|
<fileset file="${artifacts.mps}/lib/lib-client.jar" />
|
|
<fileset file="${artifacts.mps}/lib/util.jar" />
|
|
<fileset file="${artifacts.mps}/lib/util_rt.jar" />
|
|
<fileset file="${artifacts.mps}/lib/util-8.jar" />
|
|
<fileset file="${artifacts.mps}/lib/forms_rt.jar" />
|
|
<fileset file="${artifacts.mps}/lib/java-frontback.jar" />
|
|
<fileset file="${artifacts.mps}/lib/jps-model.jar" />
|
|
<fileset file="${artifacts.mps}/lib/testFramework.jar" />
|
|
<fileset file="${artifacts.mps}/lib/stats.jar" />
|
|
<fileset file="${artifacts.mps}/lib/platform-loader.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.asm.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.gson.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.miglayout.swing.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.platform.vcs.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.platform.vcs.core.jar" />
|
|
<fileset file="${artifacts.mps}/lib/module-intellij.xml.parser.jar" />
|
|
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.jar" />
|
|
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.classifiers.jar" />
|
|
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.scopes.jar" />
|
|
<fileset file="${artifacts.mps}/plugins/mps-testing/languages/baseLanguage/jetbrains.mps.baseLanguage.unitTest.jar" />
|
|
<fileset file="${artifacts.mps}/plugins/mps-testing/languages/baseLanguage/jetbrains.mps.baseLanguage.unitTest.runtime.jar" />
|
|
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.coderules.jar" />
|
|
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.coderules.typechecking.jar" />
|
|
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.lang.coderules.runtime.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.jar" />
|
|
<fileset file="${artifacts.mps}/plugins/mps-testing/languages/languageDesign/jetbrains.mps.lang.test.jar" />
|
|
<fileset file="${artifacts.mps}/plugins/mps-testing/languages/languageDesign/jetbrains.mps.lang.test.matcher.jar" />
|
|
<fileset file="${artifacts.mps}/plugins/mps-testing/languages/languageDesign/jetbrains.mps.lang.test.runtime.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.traceable.jar" />
|
|
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.lang.typechecking.runtime.jar" />
|
|
<fileset file="${artifacts.mps}/lib/ant/lib/ant.jar" />
|
|
<fileset file="${artifacts.mps}/lib/junit4.jar" />
|
|
<fileset dir="${artifacts.mps}/plugins/mps-junit5/lib" includes="apiguardian-api-1.1.2.jar" />
|
|
<fileset dir="${artifacts.mps}/plugins/mps-junit5/lib" includes="junit-jupiter-api-5.13.4.jar" />
|
|
<fileset dir="${artifacts.mps}/plugins/mps-junit5/lib" includes="junit-jupiter-engine-5.13.4.jar" />
|
|
<fileset dir="${artifacts.mps}/plugins/mps-junit5/lib" includes="junit-jupiter-migrationsupport-5.13.4.jar" />
|
|
<fileset dir="${artifacts.mps}/plugins/mps-junit5/lib" includes="junit-jupiter-params-5.13.4.jar" />
|
|
<fileset dir="${artifacts.mps}/plugins/mps-junit5/lib" includes="junit-platform-commons-1.13.4.jar" />
|
|
<fileset dir="${artifacts.mps}/plugins/mps-junit5/lib" includes="junit-platform-engine-1.13.4.jar" />
|
|
<fileset dir="${artifacts.mps}/plugins/mps-junit5/lib" includes="junit-platform-launcher-1.13.4.jar" />
|
|
<fileset dir="${artifacts.mps}/plugins/mps-junit5/lib" includes="junit-vintage-engine-5.13.4.jar" />
|
|
<fileset dir="${artifacts.mps}/plugins/mps-junit5/lib" includes="opentest4j-1.3.0.jar" />
|
|
<fileset dir="${artifacts.mps}/plugins/mps-junit5/lib" includes="junit-platform-reporting-1.13.4.jar" />
|
|
</classpath>
|
|
</javac>
|
|
<copy todir="${build.tmp}/java/out/samples.fitch.demo">
|
|
<fileset dir="${mps.macro.fitch_home}/solutions/samples.fitch.demo/source_gen" excludes="**/*.java" />
|
|
<fileset dir="${mps.macro.fitch_home}/solutions/samples.fitch.demo/test_gen/" excludes="**/*.java" />
|
|
</copy>
|
|
</target>
|
|
|
|
<target name="test.check" depends="assemble">
|
|
<path location="${build.layout}/modules/samples.fitch.demo.jar" id="mps.tests.path" />
|
|
<pathconvert property="mps.tests.path.string" refid="mps.tests.path" />
|
|
<property name="build.jna.library.path" location="${artifacts.mps}/lib/jna" />
|
|
<launchtests fork="true" haltonfailure="true" mpshome="${artifacts.mps}" reports=".">
|
|
<jvmargs>
|
|
<arg value="-ea" />
|
|
<arg value="-Xss2048k" />
|
|
<arg value="-Xmx2048m" />
|
|
<arg value="--add-opens=java.desktop/com.apple.laf=ALL-UNNAMED" />
|
|
<arg value="--add-opens=java.desktop/com.apple.eawt=ALL-UNNAMED" />
|
|
<arg value="--add-opens=java.desktop/com.apple.eawt.event=ALL-UNNAMED" />
|
|
<arg value="-Didea.config.path=${build.mps.config.path}" />
|
|
<arg value="-Didea.system.path=${build.mps.system.path}" />
|
|
<arg value="-Didea.split.test.logs=true" />
|
|
<arg value="-Djna.boot.library.path=${build.jna.library.path}" />
|
|
</jvmargs>
|
|
|
|
|
|
<library file="${artifacts.mps}/languages/editor/jetbrains.mps.ide.editor.jar" />
|
|
<library file="${artifacts.mps}/languages/plaf/jetbrains.mps.ide.ui.jar" />
|
|
<library file="${artifacts.mps}/languages/workbench-stub.jar" />
|
|
<library file="${artifacts.mps}/languages/workbench/jetbrains.mps.ide.jar" />
|
|
<library file="${build.layout}/modules/samples.fitch.jar" />
|
|
<library file="${build.layout}/modules/samples.fitch.firstOrderLogic.jar" />
|
|
<library file="${build.layout}/modules/samples.fitch.herbrandLogic.jar" />
|
|
<library file="${build.layout}/modules/samples.fitch.propositionalLogic.jar" />
|
|
|
|
<plugin id="jetbrains.mps.coderules" path="${artifacts.coderules}/jetbrains.mps.coderules" />
|
|
<plugin id="com.intellij.modules.mps" path="${artifacts.mps}/lib/mps-workbench.jar" />
|
|
<plugin id="jetbrains.mps.build" path="${artifacts.mps}/plugins/mps-build" />
|
|
<plugin id="jetbrains.mps.core" path="${artifacts.mps}/plugins/mps-core" />
|
|
<plugin id="jetbrains.mps.ide.java" path="${artifacts.mps}/plugins/mps-java" />
|
|
<plugin id="jetbrains.mps.junit5" path="${artifacts.mps}/plugins/mps-junit5" />
|
|
<plugin id="jetbrains.mps.testing" path="${artifacts.mps}/plugins/mps-testing" />
|
|
<macro name="fitch_home" path="${basedir}" />
|
|
<project path="${basedir}" />
|
|
<testmodules>
|
|
<path refid="mps.tests.path" />
|
|
</testmodules>
|
|
</launchtests>
|
|
<move todir=".">
|
|
<fileset dir=".">
|
|
<include name="TEST-junit-jupiter.xml" />
|
|
<include name="TEST-junit-vintage.xml" />
|
|
</fileset>
|
|
<globmapper from="*.xml" to="*-fitch.xml" />
|
|
</move>
|
|
</target>
|
|
|
|
<target name="cleanSources">
|
|
<delete dir="${mps.macro.fitch_home}/languages/samples.fitch/source_gen" />
|
|
<delete dir="${mps.macro.fitch_home}/languages/samples.fitch/generator/source_gen" />
|
|
<delete dir="${mps.macro.fitch_home}/languages/samples.fitch.firstOrderLogic/source_gen" />
|
|
<delete dir="${mps.macro.fitch_home}/languages/samples.fitch.firstOrderLogic/generator/source_gen" />
|
|
<delete dir="${mps.macro.fitch_home}/languages/samples.fitch.herbrandLogic/source_gen" />
|
|
<delete dir="${mps.macro.fitch_home}/languages/samples.fitch.herbrandLogic/generator/source_gen" />
|
|
<delete dir="${mps.macro.fitch_home}/languages/samples.fitch.propositionalLogic/source_gen" />
|
|
<delete dir="${mps.macro.fitch_home}/languages/samples.fitch.propositionalLogic/generator/source_gen" />
|
|
<delete dir="${mps.macro.fitch_home}/solutions/samples.fitch.demo/source_gen" />
|
|
<delete dir="${mps.macro.fitch_home}/solutions/samples.fitch.demo/test_gen" />
|
|
</target>
|
|
</project> |