diff options
Diffstat (limited to 'language/.launch/Generate Problem (problem) Language Infrastructure.launch')
-rw-r--r-- | language/.launch/Generate Problem (problem) Language Infrastructure.launch | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/language/.launch/Generate Problem (problem) Language Infrastructure.launch b/language/.launch/Generate Problem (problem) Language Infrastructure.launch new file mode 100644 index 00000000..042ecc17 --- /dev/null +++ b/language/.launch/Generate Problem (problem) Language Infrastructure.launch | |||
@@ -0,0 +1,14 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8" standalone="no"?> | ||
2 | <launchConfiguration type="org.eclipse.buildship.core.launch.runconfiguration"> | ||
3 | <listAttribute key="arguments"/> | ||
4 | <stringAttribute key="gradle_distribution" value="GRADLE_DISTRIBUTION(WRAPPER)"/> | ||
5 | <listAttribute key="jvm_arguments"/> | ||
6 | <booleanAttribute key="show_console_view" value="true"/> | ||
7 | <booleanAttribute key="show_execution_view" value="true"/> | ||
8 | <listAttribute key="tasks"> | ||
9 | <listEntry value="build"/> | ||
10 | </listAttribute> | ||
11 | <stringAttribute key="org.eclipse.debug.core.ATTR_REFRESH_SCOPE" value="${working_set:<?xml version="1.0" encoding="UTF-8"?> <resources> <item path="/org.eclipse.viatra.solver.language.parent" type="4"/> <item path="/org.eclipse.viatra.solver.language" type="4"/> <item path="/org.eclipse.viatra.solver.language.ide" type="4"/> <item path="/org.eclipse.viatra.solver.language.web" type="4"/> <item path="/org.eclipse.viatra.solver.language.tests" type="4"/> ;</resources>}"/> | ||
12 | <booleanAttribute key="org.eclipse.jdt.launching.ATTR_USE_START_ON_FIRST_THREAD" value="true"/> | ||
13 | <stringAttribute key="org.eclipse.jdt.launching.WORKING_DIRECTORY" value="${workspace_loc:/org.eclipse.viatra.solver.language}"/> | ||
14 | </launchConfiguration> | ||