Updated the IDEA project
This commit is contained in:
parent
623b2cc849
commit
f57c7150a5
|
|
@ -1,10 +1,10 @@
|
|||
<component name="libraryTable">
|
||||
<library name="mps-unification">
|
||||
<CLASSES>
|
||||
<root url="file://$PROJECT_DIR$/solutions/jetbrains.mps.unification.tree/imports/mps-unification/lib" />
|
||||
<root url="file://$PROJECT_DIR$/languages/jetbrains.mps.logic/solutions/jetbrains.mps.logic.atom/imports/mps-unification/lib" />
|
||||
</CLASSES>
|
||||
<JAVADOC />
|
||||
<SOURCES />
|
||||
<jarDirectory url="file://$PROJECT_DIR$/solutions/jetbrains.mps.unification.tree/imports/mps-unification/lib" recursive="false" />
|
||||
<jarDirectory url="file://$PROJECT_DIR$/languages/jetbrains.mps.logic/solutions/jetbrains.mps.logic.atom/imports/mps-unification/lib" recursive="false" />
|
||||
</library>
|
||||
</component>
|
||||
|
|
@ -2,10 +2,10 @@
|
|||
<project version="4">
|
||||
<component name="ProjectModuleManager">
|
||||
<modules>
|
||||
<module fileurl="file://$PROJECT_DIR$/languages/jetbrains.mps.logic/solutions/jetbrains.mps.logic.atom/Atom.iml" filepath="$PROJECT_DIR$/languages/jetbrains.mps.logic/solutions/jetbrains.mps.logic.atom/Atom.iml" />
|
||||
<module fileurl="file://$PROJECT_DIR$/languages/jetbrains.mps.jchr/JCHR.iml" filepath="$PROJECT_DIR$/languages/jetbrains.mps.jchr/JCHR.iml" />
|
||||
<module fileurl="file://$PROJECT_DIR$/languages/jetbrains.mps.logic/Logic.iml" filepath="$PROJECT_DIR$/languages/jetbrains.mps.logic/Logic.iml" />
|
||||
<module fileurl="file://$PROJECT_DIR$/languages/jetbrains.mps.logic/test/Logic.test.iml" filepath="$PROJECT_DIR$/languages/jetbrains.mps.logic/test/Logic.test.iml" />
|
||||
<module fileurl="file://$PROJECT_DIR$/solutions/jetbrains.mps.unification.tree/Term.iml" filepath="$PROJECT_DIR$/solutions/jetbrains.mps.unification.tree/Term.iml" />
|
||||
<module fileurl="file://$PROJECT_DIR$/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.handler/samplechecker.handler.iml" filepath="$PROJECT_DIR$/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.handler/samplechecker.handler.iml" />
|
||||
<module fileurl="file://$PROJECT_DIR$/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.handler.test/samplechecker.handler.test.iml" filepath="$PROJECT_DIR$/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.handler.test/samplechecker.handler.test.iml" />
|
||||
<module fileurl="file://$PROJECT_DIR$/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/samplechecker.handler.util.iml" filepath="$PROJECT_DIR$/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/samplechecker.handler.util.iml" />
|
||||
|
|
|
|||
|
|
@ -7,8 +7,8 @@
|
|||
</content>
|
||||
<orderEntry type="inheritedJdk" />
|
||||
<orderEntry type="sourceFolder" forTests="false" />
|
||||
<orderEntry type="module" module-name="Term" />
|
||||
<orderEntry type="module" module-name="Logic" />
|
||||
<orderEntry type="library" name="guava-17.0" level="project" />
|
||||
<orderEntry type="module" module-name="Atom" />
|
||||
</component>
|
||||
</module>
|
||||
|
|
@ -17,8 +17,8 @@
|
|||
</library>
|
||||
</orderEntry>
|
||||
<orderEntry type="module" module-name="Logic" scope="TEST" />
|
||||
<orderEntry type="module" module-name="Term" scope="TEST" />
|
||||
<orderEntry type="module" module-name="samplechecker.handler.util" scope="TEST" />
|
||||
<orderEntry type="library" scope="TEST" name="jchr" level="project" />
|
||||
<orderEntry type="module" module-name="Atom" scope="TEST" />
|
||||
</component>
|
||||
</module>
|
||||
|
|
@ -8,8 +8,8 @@
|
|||
<orderEntry type="inheritedJdk" />
|
||||
<orderEntry type="sourceFolder" forTests="false" />
|
||||
<orderEntry type="module" module-name="Logic" />
|
||||
<orderEntry type="module" module-name="Term" />
|
||||
<orderEntry type="module" module-name="typesystem2.runtime" />
|
||||
<orderEntry type="library" name="jchr" level="project" />
|
||||
<orderEntry type="module" module-name="Atom" />
|
||||
</component>
|
||||
</module>
|
||||
|
|
@ -8,9 +8,9 @@
|
|||
</content>
|
||||
<orderEntry type="inheritedJdk" />
|
||||
<orderEntry type="sourceFolder" forTests="false" />
|
||||
<orderEntry type="module" module-name="Term" />
|
||||
<orderEntry type="module" module-name="Logic" />
|
||||
<orderEntry type="library" name="jchr" level="project" />
|
||||
<orderEntry type="module" module-name="samplechecker.handler.util" />
|
||||
<orderEntry type="module" module-name="Atom" />
|
||||
</component>
|
||||
</module>
|
||||
|
|
@ -9,9 +9,9 @@
|
|||
<orderEntry type="sourceFolder" forTests="false" />
|
||||
<orderEntry type="module" module-name="Logic" />
|
||||
<orderEntry type="library" name="jchr" level="project" />
|
||||
<orderEntry type="module" module-name="Term" />
|
||||
<orderEntry type="library" name="log4j" level="project" />
|
||||
<orderEntry type="module" module-name="samplechecker.handler" />
|
||||
<orderEntry type="module" module-name="typesystem2.runtime" />
|
||||
<orderEntry type="module" module-name="Atom" />
|
||||
</component>
|
||||
</module>
|
||||
|
|
@ -8,7 +8,7 @@
|
|||
</content>
|
||||
<orderEntry type="inheritedJdk" />
|
||||
<orderEntry type="sourceFolder" forTests="false" />
|
||||
<orderEntry type="module" module-name="Term" />
|
||||
<orderEntry type="library" name="jchr" level="project" />
|
||||
<orderEntry type="module" module-name="Atom" />
|
||||
</component>
|
||||
</module>
|
||||
|
|
@ -20,6 +20,6 @@
|
|||
</orderEntry>
|
||||
<orderEntry type="library" name="jchr" level="project" />
|
||||
<orderEntry type="module" module-name="Logic" scope="TEST" />
|
||||
<orderEntry type="module" module-name="Term" scope="TEST" />
|
||||
<orderEntry type="module" module-name="Atom" scope="TEST" />
|
||||
</component>
|
||||
</module>
|
||||
Loading…
Reference in New Issue