Switch to MPS 2018.1.5

This commit is contained in:
Fedor Isakov 2018-07-17 15:29:02 +02:00
parent 2d3f4126b8
commit 8294e8d702
2 changed files with 28 additions and 27 deletions

View File

@ -1,6 +1,6 @@
<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
<component name="VcsDirectoryMappings">
<mapping directory="$logic_home$" vcs="Git" />
<mapping directory="$PROJECT_DIR$/../.." vcs="Git" />
</component>
</project>

View File

@ -5,7 +5,6 @@
<property name="build.layout" location="${build.dir}/artifacts/mpscore" />
<property name="mps_home" location="${basedir}/../../MPS_HOME" />
<property name="mps.macro.mpscore_home" location="${basedir}" />
<property name="mps.macro.logic_home" location="${basedir}" />
<property name="coderules_plugin" location="${basedir}/../../build/artifacts/typechecking-plugin" />
<property name="artifacts.mps" location="${mps_home}" />
<property name="artifacts.typechecking-plugin" location="${coderules_plugin}" />
@ -686,9 +685,11 @@
</fileset>
</classpath>
<env key="NO_FS_ROOTS_ACCESS_CHECK" value="true" />
<sysproperty key="plugin.path" value="${mps.plugins.path.string}" />
<sysproperty key="mps.libraries" value="${mps.libraries.path.string}" />
<sysproperty key="mps.test.modules" value="${mps.tests.path.string}" />
<sysproperty key="mps.macro.mpscore_home" value="${basedir}" />
<test name="jetbrains.mps.testbench.junit.suites.AntModuleTestSuite" outfile="TEST-jetbrains.mps.testbench.junit.suites.AntModuleTestSuite-testconfig" />