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

Rebuid project

This commit is contained in:
Fedor Isakov 2026-04-24 11:27:29 +02:00
parent bfcb5328c3
commit 9f70a2678d
4 changed files with 3440 additions and 641 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1010
build.xml
View File

File diff suppressed because it is too large Load Diff

368
samples/fitch/build.xml
View File

@ -846,10 +846,6 @@
<plugin path="${artifacts.mps}/plugins/mps-java" id="jetbrains.mps.ide.java" /> <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-junit5" id="jetbrains.mps.junit5" />
<plugin path="${artifacts.mps}/plugins/mps-testing" id="jetbrains.mps.testing" /> <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> <chunk>
<module file="${basedir}/languages/samples.fitch/samples.fitch.mpl" /> <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.firstOrderLogic/samples.fitch.firstOrderLogic.mpl" />
@ -932,13 +928,41 @@
<fileset file="${artifacts.mps}/lib/jps-model.jar" /> <fileset file="${artifacts.mps}/lib/jps-model.jar" />
<fileset file="${artifacts.mps}/lib/testFramework.jar" /> <fileset file="${artifacts.mps}/lib/testFramework.jar" />
<fileset file="${artifacts.mps}/lib/stats.jar" /> <fileset file="${artifacts.mps}/lib/stats.jar" />
<fileset file="${artifacts.mps}/lib/hamcrest.jar" />
<fileset file="${artifacts.mps}/lib/platform-loader.jar" /> <fileset file="${artifacts.mps}/lib/platform-loader.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.asm.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.asm.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.gson.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.fastutil.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.miglayout.swing.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.gson.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.platform.vcs.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.kotlinx.collections.immutable.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.platform.vcs.core.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.kotlinx.coroutines.core.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.xml.parser.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.miglayout.swing.jar" />
<fileset file="${artifacts.mps}/lib/intellij.libraries.netty.buffer.jar" />
<fileset file="${artifacts.mps}/lib/intellij.libraries.netty.codec.http.jar" />
<fileset file="${artifacts.mps}/lib/intellij.libraries.swingx.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.analysis.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.analysis.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.builtInServer.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.builtInServer.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.core.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.core.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.core.ui.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.debugger.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.diff.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.ide.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.ide.core.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.ide.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.lang.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.lang.core.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.lang.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.locking.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.projectFrame.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.projectModel.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.projectModel.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.util.ex.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.util.ui.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.vcs.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.vcs.core.jar" />
<fileset file="${artifacts.mps}/lib/intellij.xml.parser.jar" />
<fileset file="${artifacts.mps}/languages/runtimes/jetbrains.mps.analyzers.runtime.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.logging.runtime.jar" />
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.regexp.runtime.jar" /> <fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.regexp.runtime.jar" />
@ -1012,13 +1036,41 @@
<fileset file="${artifacts.mps}/lib/jps-model.jar" /> <fileset file="${artifacts.mps}/lib/jps-model.jar" />
<fileset file="${artifacts.mps}/lib/testFramework.jar" /> <fileset file="${artifacts.mps}/lib/testFramework.jar" />
<fileset file="${artifacts.mps}/lib/stats.jar" /> <fileset file="${artifacts.mps}/lib/stats.jar" />
<fileset file="${artifacts.mps}/lib/hamcrest.jar" />
<fileset file="${artifacts.mps}/lib/platform-loader.jar" /> <fileset file="${artifacts.mps}/lib/platform-loader.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.asm.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.asm.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.gson.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.fastutil.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.miglayout.swing.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.gson.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.platform.vcs.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.kotlinx.collections.immutable.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.platform.vcs.core.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.kotlinx.coroutines.core.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.xml.parser.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.miglayout.swing.jar" />
<fileset file="${artifacts.mps}/lib/intellij.libraries.netty.buffer.jar" />
<fileset file="${artifacts.mps}/lib/intellij.libraries.netty.codec.http.jar" />
<fileset file="${artifacts.mps}/lib/intellij.libraries.swingx.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.analysis.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.analysis.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.builtInServer.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.builtInServer.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.core.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.core.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.core.ui.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.debugger.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.diff.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.ide.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.ide.core.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.ide.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.lang.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.lang.core.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.lang.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.locking.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.projectFrame.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.projectModel.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.projectModel.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.util.ex.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.util.ui.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.vcs.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.vcs.core.jar" />
<fileset file="${artifacts.mps}/lib/intellij.xml.parser.jar" />
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.logging.runtime.jar" /> <fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.logging.runtime.jar" />
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.jar" /> <fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.jar" />
</classpath> </classpath>
@ -1076,13 +1128,41 @@
<fileset file="${artifacts.mps}/lib/jps-model.jar" /> <fileset file="${artifacts.mps}/lib/jps-model.jar" />
<fileset file="${artifacts.mps}/lib/testFramework.jar" /> <fileset file="${artifacts.mps}/lib/testFramework.jar" />
<fileset file="${artifacts.mps}/lib/stats.jar" /> <fileset file="${artifacts.mps}/lib/stats.jar" />
<fileset file="${artifacts.mps}/lib/hamcrest.jar" />
<fileset file="${artifacts.mps}/lib/platform-loader.jar" /> <fileset file="${artifacts.mps}/lib/platform-loader.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.asm.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.asm.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.gson.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.fastutil.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.miglayout.swing.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.gson.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.platform.vcs.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.kotlinx.collections.immutable.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.platform.vcs.core.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.kotlinx.coroutines.core.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.xml.parser.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.miglayout.swing.jar" />
<fileset file="${artifacts.mps}/lib/intellij.libraries.netty.buffer.jar" />
<fileset file="${artifacts.mps}/lib/intellij.libraries.netty.codec.http.jar" />
<fileset file="${artifacts.mps}/lib/intellij.libraries.swingx.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.analysis.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.analysis.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.builtInServer.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.builtInServer.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.core.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.core.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.core.ui.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.debugger.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.diff.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.ide.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.ide.core.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.ide.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.lang.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.lang.core.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.lang.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.locking.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.projectFrame.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.projectModel.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.projectModel.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.util.ex.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.util.ui.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.vcs.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.vcs.core.jar" />
<fileset file="${artifacts.mps}/lib/intellij.xml.parser.jar" />
<fileset file="${artifacts.mps}/languages/runtimes/jetbrains.mps.analyzers.runtime.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.jar" />
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.closures.jar" /> <fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.closures.jar" />
@ -1172,13 +1252,41 @@
<fileset file="${artifacts.mps}/lib/jps-model.jar" /> <fileset file="${artifacts.mps}/lib/jps-model.jar" />
<fileset file="${artifacts.mps}/lib/testFramework.jar" /> <fileset file="${artifacts.mps}/lib/testFramework.jar" />
<fileset file="${artifacts.mps}/lib/stats.jar" /> <fileset file="${artifacts.mps}/lib/stats.jar" />
<fileset file="${artifacts.mps}/lib/hamcrest.jar" />
<fileset file="${artifacts.mps}/lib/platform-loader.jar" /> <fileset file="${artifacts.mps}/lib/platform-loader.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.asm.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.asm.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.gson.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.fastutil.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.miglayout.swing.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.gson.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.platform.vcs.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.kotlinx.collections.immutable.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.platform.vcs.core.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.kotlinx.coroutines.core.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.xml.parser.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.miglayout.swing.jar" />
<fileset file="${artifacts.mps}/lib/intellij.libraries.netty.buffer.jar" />
<fileset file="${artifacts.mps}/lib/intellij.libraries.netty.codec.http.jar" />
<fileset file="${artifacts.mps}/lib/intellij.libraries.swingx.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.analysis.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.analysis.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.builtInServer.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.builtInServer.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.core.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.core.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.core.ui.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.debugger.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.diff.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.ide.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.ide.core.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.ide.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.lang.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.lang.core.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.lang.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.locking.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.projectFrame.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.projectModel.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.projectModel.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.util.ex.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.util.ui.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.vcs.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.vcs.core.jar" />
<fileset file="${artifacts.mps}/lib/intellij.xml.parser.jar" />
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.logging.runtime.jar" /> <fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.logging.runtime.jar" />
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.jar" /> <fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.jar" />
</classpath> </classpath>
@ -1237,13 +1345,41 @@
<fileset file="${artifacts.mps}/lib/jps-model.jar" /> <fileset file="${artifacts.mps}/lib/jps-model.jar" />
<fileset file="${artifacts.mps}/lib/testFramework.jar" /> <fileset file="${artifacts.mps}/lib/testFramework.jar" />
<fileset file="${artifacts.mps}/lib/stats.jar" /> <fileset file="${artifacts.mps}/lib/stats.jar" />
<fileset file="${artifacts.mps}/lib/hamcrest.jar" />
<fileset file="${artifacts.mps}/lib/platform-loader.jar" /> <fileset file="${artifacts.mps}/lib/platform-loader.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.asm.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.asm.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.gson.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.fastutil.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.miglayout.swing.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.gson.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.platform.vcs.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.kotlinx.collections.immutable.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.platform.vcs.core.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.kotlinx.coroutines.core.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.xml.parser.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.miglayout.swing.jar" />
<fileset file="${artifacts.mps}/lib/intellij.libraries.netty.buffer.jar" />
<fileset file="${artifacts.mps}/lib/intellij.libraries.netty.codec.http.jar" />
<fileset file="${artifacts.mps}/lib/intellij.libraries.swingx.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.analysis.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.analysis.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.builtInServer.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.builtInServer.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.core.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.core.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.core.ui.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.debugger.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.diff.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.ide.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.ide.core.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.ide.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.lang.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.lang.core.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.lang.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.locking.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.projectFrame.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.projectModel.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.projectModel.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.util.ex.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.util.ui.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.vcs.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.vcs.core.jar" />
<fileset file="${artifacts.mps}/lib/intellij.xml.parser.jar" />
<fileset file="${artifacts.mps}/languages/runtimes/jetbrains.mps.analyzers.runtime.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.jar" />
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.closures.jar" /> <fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.closures.jar" />
@ -1334,13 +1470,41 @@
<fileset file="${artifacts.mps}/lib/jps-model.jar" /> <fileset file="${artifacts.mps}/lib/jps-model.jar" />
<fileset file="${artifacts.mps}/lib/testFramework.jar" /> <fileset file="${artifacts.mps}/lib/testFramework.jar" />
<fileset file="${artifacts.mps}/lib/stats.jar" /> <fileset file="${artifacts.mps}/lib/stats.jar" />
<fileset file="${artifacts.mps}/lib/hamcrest.jar" />
<fileset file="${artifacts.mps}/lib/platform-loader.jar" /> <fileset file="${artifacts.mps}/lib/platform-loader.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.asm.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.asm.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.gson.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.fastutil.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.miglayout.swing.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.gson.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.platform.vcs.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.kotlinx.collections.immutable.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.platform.vcs.core.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.kotlinx.coroutines.core.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.xml.parser.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.miglayout.swing.jar" />
<fileset file="${artifacts.mps}/lib/intellij.libraries.netty.buffer.jar" />
<fileset file="${artifacts.mps}/lib/intellij.libraries.netty.codec.http.jar" />
<fileset file="${artifacts.mps}/lib/intellij.libraries.swingx.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.analysis.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.analysis.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.builtInServer.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.builtInServer.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.core.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.core.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.core.ui.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.debugger.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.diff.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.ide.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.ide.core.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.ide.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.lang.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.lang.core.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.lang.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.locking.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.projectFrame.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.projectModel.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.projectModel.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.util.ex.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.util.ui.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.vcs.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.vcs.core.jar" />
<fileset file="${artifacts.mps}/lib/intellij.xml.parser.jar" />
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.logging.runtime.jar" /> <fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.logging.runtime.jar" />
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.jar" /> <fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.jar" />
</classpath> </classpath>
@ -1400,13 +1564,41 @@
<fileset file="${artifacts.mps}/lib/jps-model.jar" /> <fileset file="${artifacts.mps}/lib/jps-model.jar" />
<fileset file="${artifacts.mps}/lib/testFramework.jar" /> <fileset file="${artifacts.mps}/lib/testFramework.jar" />
<fileset file="${artifacts.mps}/lib/stats.jar" /> <fileset file="${artifacts.mps}/lib/stats.jar" />
<fileset file="${artifacts.mps}/lib/hamcrest.jar" />
<fileset file="${artifacts.mps}/lib/platform-loader.jar" /> <fileset file="${artifacts.mps}/lib/platform-loader.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.asm.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.asm.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.gson.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.fastutil.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.miglayout.swing.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.gson.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.platform.vcs.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.kotlinx.collections.immutable.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.platform.vcs.core.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.kotlinx.coroutines.core.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.xml.parser.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.miglayout.swing.jar" />
<fileset file="${artifacts.mps}/lib/intellij.libraries.netty.buffer.jar" />
<fileset file="${artifacts.mps}/lib/intellij.libraries.netty.codec.http.jar" />
<fileset file="${artifacts.mps}/lib/intellij.libraries.swingx.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.analysis.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.analysis.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.builtInServer.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.builtInServer.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.core.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.core.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.core.ui.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.debugger.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.diff.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.ide.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.ide.core.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.ide.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.lang.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.lang.core.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.lang.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.locking.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.projectFrame.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.projectModel.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.projectModel.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.util.ex.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.util.ui.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.vcs.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.vcs.core.jar" />
<fileset file="${artifacts.mps}/lib/intellij.xml.parser.jar" />
<fileset file="${artifacts.mps}/languages/runtimes/jetbrains.mps.analyzers.runtime.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.jar" />
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.closures.jar" /> <fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.closures.jar" />
@ -1496,13 +1688,41 @@
<fileset file="${artifacts.mps}/lib/jps-model.jar" /> <fileset file="${artifacts.mps}/lib/jps-model.jar" />
<fileset file="${artifacts.mps}/lib/testFramework.jar" /> <fileset file="${artifacts.mps}/lib/testFramework.jar" />
<fileset file="${artifacts.mps}/lib/stats.jar" /> <fileset file="${artifacts.mps}/lib/stats.jar" />
<fileset file="${artifacts.mps}/lib/hamcrest.jar" />
<fileset file="${artifacts.mps}/lib/platform-loader.jar" /> <fileset file="${artifacts.mps}/lib/platform-loader.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.asm.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.asm.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.gson.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.fastutil.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.miglayout.swing.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.gson.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.platform.vcs.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.kotlinx.collections.immutable.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.platform.vcs.core.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.kotlinx.coroutines.core.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.xml.parser.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.miglayout.swing.jar" />
<fileset file="${artifacts.mps}/lib/intellij.libraries.netty.buffer.jar" />
<fileset file="${artifacts.mps}/lib/intellij.libraries.netty.codec.http.jar" />
<fileset file="${artifacts.mps}/lib/intellij.libraries.swingx.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.analysis.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.analysis.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.builtInServer.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.builtInServer.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.core.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.core.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.core.ui.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.debugger.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.diff.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.ide.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.ide.core.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.ide.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.lang.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.lang.core.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.lang.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.locking.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.projectFrame.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.projectModel.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.projectModel.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.util.ex.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.util.ui.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.vcs.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.vcs.core.jar" />
<fileset file="${artifacts.mps}/lib/intellij.xml.parser.jar" />
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.logging.runtime.jar" /> <fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.logging.runtime.jar" />
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.jar" /> <fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.jar" />
</classpath> </classpath>
@ -1565,13 +1785,41 @@
<fileset file="${artifacts.mps}/lib/jps-model.jar" /> <fileset file="${artifacts.mps}/lib/jps-model.jar" />
<fileset file="${artifacts.mps}/lib/testFramework.jar" /> <fileset file="${artifacts.mps}/lib/testFramework.jar" />
<fileset file="${artifacts.mps}/lib/stats.jar" /> <fileset file="${artifacts.mps}/lib/stats.jar" />
<fileset file="${artifacts.mps}/lib/hamcrest.jar" />
<fileset file="${artifacts.mps}/lib/platform-loader.jar" /> <fileset file="${artifacts.mps}/lib/platform-loader.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.asm.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.asm.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.gson.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.fastutil.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.miglayout.swing.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.gson.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.platform.vcs.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.kotlinx.collections.immutable.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.platform.vcs.core.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.kotlinx.coroutines.core.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.xml.parser.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.miglayout.swing.jar" />
<fileset file="${artifacts.mps}/lib/intellij.libraries.netty.buffer.jar" />
<fileset file="${artifacts.mps}/lib/intellij.libraries.netty.codec.http.jar" />
<fileset file="${artifacts.mps}/lib/intellij.libraries.swingx.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.analysis.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.analysis.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.builtInServer.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.builtInServer.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.core.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.core.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.core.ui.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.debugger.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.diff.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.ide.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.ide.core.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.ide.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.lang.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.lang.core.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.lang.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.locking.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.projectFrame.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.projectModel.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.projectModel.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.util.ex.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.util.ui.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.vcs.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.vcs.core.jar" />
<fileset file="${artifacts.mps}/lib/intellij.xml.parser.jar" />
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.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.classifiers.jar" />
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.scopes.jar" /> <fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.scopes.jar" />
@ -1626,10 +1874,6 @@
</jvmargs> </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.jar" />
<library file="${build.layout}/modules/samples.fitch.firstOrderLogic.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.herbrandLogic.jar" />

88
samples/lambdacalc/build.xml
View File

@ -274,10 +274,6 @@
<library file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.coderules.typechecking.testlang.sandbox.jar" /> <library file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.coderules.typechecking.testlang.sandbox.jar" />
<library file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.logic.test.jar" /> <library file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.logic.test.jar" />
<library file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.typechecking.testlang.jar" /> <library file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.typechecking.testlang.jar" />
<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 bootstrap="true"> <chunk bootstrap="true">
<module file="${basedir}/languages/samples.lambdacalc/samples.lambdacalc.mpl" bootstrap="true" /> <module file="${basedir}/languages/samples.lambdacalc/samples.lambdacalc.mpl" bootstrap="true" />
</chunk> </chunk>
@ -347,13 +343,41 @@
<fileset file="${artifacts.mps}/lib/jps-model.jar" /> <fileset file="${artifacts.mps}/lib/jps-model.jar" />
<fileset file="${artifacts.mps}/lib/testFramework.jar" /> <fileset file="${artifacts.mps}/lib/testFramework.jar" />
<fileset file="${artifacts.mps}/lib/stats.jar" /> <fileset file="${artifacts.mps}/lib/stats.jar" />
<fileset file="${artifacts.mps}/lib/hamcrest.jar" />
<fileset file="${artifacts.mps}/lib/platform-loader.jar" /> <fileset file="${artifacts.mps}/lib/platform-loader.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.asm.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.asm.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.gson.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.fastutil.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.miglayout.swing.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.gson.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.platform.vcs.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.kotlinx.collections.immutable.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.platform.vcs.core.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.kotlinx.coroutines.core.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.xml.parser.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.miglayout.swing.jar" />
<fileset file="${artifacts.mps}/lib/intellij.libraries.netty.buffer.jar" />
<fileset file="${artifacts.mps}/lib/intellij.libraries.netty.codec.http.jar" />
<fileset file="${artifacts.mps}/lib/intellij.libraries.swingx.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.analysis.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.analysis.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.builtInServer.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.builtInServer.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.core.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.core.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.core.ui.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.debugger.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.diff.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.ide.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.ide.core.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.ide.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.lang.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.lang.core.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.lang.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.locking.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.projectFrame.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.projectModel.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.projectModel.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.util.ex.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.util.ui.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.vcs.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.vcs.core.jar" />
<fileset file="${artifacts.mps}/lib/intellij.xml.parser.jar" />
<fileset file="${artifacts.mps}/languages/runtimes/jetbrains.mps.analyzers.runtime.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.logging.runtime.jar" />
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.regexp.runtime.jar" /> <fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.regexp.runtime.jar" />
@ -428,13 +452,41 @@
<fileset file="${artifacts.mps}/lib/jps-model.jar" /> <fileset file="${artifacts.mps}/lib/jps-model.jar" />
<fileset file="${artifacts.mps}/lib/testFramework.jar" /> <fileset file="${artifacts.mps}/lib/testFramework.jar" />
<fileset file="${artifacts.mps}/lib/stats.jar" /> <fileset file="${artifacts.mps}/lib/stats.jar" />
<fileset file="${artifacts.mps}/lib/hamcrest.jar" />
<fileset file="${artifacts.mps}/lib/platform-loader.jar" /> <fileset file="${artifacts.mps}/lib/platform-loader.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.asm.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.asm.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.gson.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.fastutil.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.libraries.miglayout.swing.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.gson.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.platform.vcs.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.kotlinx.collections.immutable.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.platform.vcs.core.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.kotlinx.coroutines.core.jar" />
<fileset file="${artifacts.mps}/lib/module-intellij.xml.parser.jar" /> <fileset file="${artifacts.mps}/lib/intellij.libraries.miglayout.swing.jar" />
<fileset file="${artifacts.mps}/lib/intellij.libraries.netty.buffer.jar" />
<fileset file="${artifacts.mps}/lib/intellij.libraries.netty.codec.http.jar" />
<fileset file="${artifacts.mps}/lib/intellij.libraries.swingx.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.analysis.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.analysis.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.builtInServer.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.builtInServer.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.core.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.core.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.core.ui.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.debugger.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.diff.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.ide.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.ide.core.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.ide.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.lang.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.lang.core.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.lang.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.locking.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.projectFrame.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.projectModel.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.projectModel.impl.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.util.ex.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.util.ui.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.vcs.jar" />
<fileset file="${artifacts.mps}/lib/intellij.platform.vcs.core.jar" />
<fileset file="${artifacts.mps}/lib/intellij.xml.parser.jar" />
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.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.classifiers.jar" />
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.scopes.jar" /> <fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.scopes.jar" />
@ -495,10 +547,6 @@
<library file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.coderules.typechecking.testlang.sandbox.jar" /> <library file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.coderules.typechecking.testlang.sandbox.jar" />
<library file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.logic.test.jar" /> <library file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.logic.test.jar" />
<library file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.typechecking.testlang.jar" /> <library file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.typechecking.testlang.jar" />
<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}/lambdacalc/samples.lambdacalc.jar" /> <library file="${build.layout}/lambdacalc/samples.lambdacalc.jar" />
<plugin id="jetbrains.mps.coderules" path="${artifacts.coderules}/jetbrains.mps.coderules" /> <plugin id="jetbrains.mps.coderules" path="${artifacts.coderules}/jetbrains.mps.coderules" />

2615
samples/mpscore/build.xml
View File

File diff suppressed because it is too large Load Diff