aboutsummaryrefslogtreecommitdiffstats
path: root/Application/org.eclipse.viatra.solver.language/.launch
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <marussy@mit.bme.hu>2020-11-26 13:55:37 +0100
committerLibravatar Kristóf Marussy <marussy@mit.bme.hu>2020-11-26 13:55:37 +0100
commit48b83f69fba64f2846651ad470269cc01ad7fd65 (patch)
treebce325b21d5183951e1fa83c96870b375ee4d92f /Application/org.eclipse.viatra.solver.language/.launch
parentOptimizing generator with linear objective functions (diff)
downloadVIATRA-Generator-48b83f69fba64f2846651ad470269cc01ad7fd65.tar.gz
VIATRA-Generator-48b83f69fba64f2846651ad470269cc01ad7fd65.tar.zst
VIATRA-Generator-48b83f69fba64f2846651ad470269cc01ad7fd65.zip
Fix Z3 dependency
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/.launch')
-rw-r--r--Application/org.eclipse.viatra.solver.language/.launch/Launch Runtime Eclipse.launch67
1 files changed, 35 insertions, 32 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/.launch/Launch Runtime Eclipse.launch b/Application/org.eclipse.viatra.solver.language/.launch/Launch Runtime Eclipse.launch
index 1e189f24..d9fb69f1 100644
--- a/Application/org.eclipse.viatra.solver.language/.launch/Launch Runtime Eclipse.launch
+++ b/Application/org.eclipse.viatra.solver.language/.launch/Launch Runtime Eclipse.launch
@@ -1,35 +1,38 @@
1<?xml version="1.0" encoding="UTF-8" standalone="no"?> 1<?xml version="1.0" encoding="UTF-8" standalone="no"?>
2<launchConfiguration type="org.eclipse.pde.ui.RuntimeWorkbench"> 2<launchConfiguration type="org.eclipse.pde.ui.RuntimeWorkbench">
3<booleanAttribute key="append.args" value="true"/> 3 <booleanAttribute key="append.args" value="true"/>
4<booleanAttribute key="askclear" value="true"/> 4 <booleanAttribute key="askclear" value="true"/>
5<booleanAttribute key="automaticAdd" value="true"/> 5 <booleanAttribute key="automaticAdd" value="true"/>
6<booleanAttribute key="automaticValidate" value="false"/> 6 <booleanAttribute key="automaticValidate" value="false"/>
7<stringAttribute key="bad_container_name" value="/org.eclipse.viatra.solver.language/.launch/"/> 7 <stringAttribute key="bad_container_name" value="/org.eclipse.viatra.solver.language/.launch/"/>
8<stringAttribute key="bootstrap" value=""/> 8 <stringAttribute key="bootstrap" value=""/>
9<stringAttribute key="checked" value="[NONE]"/> 9 <stringAttribute key="checked" value="[NONE]"/>
10<booleanAttribute key="clearConfig" value="false"/> 10 <booleanAttribute key="clearConfig" value="false"/>
11<booleanAttribute key="clearws" value="false"/> 11 <booleanAttribute key="clearws" value="false"/>
12<booleanAttribute key="clearwslog" value="false"/> 12 <booleanAttribute key="clearwslog" value="false"/>
13<stringAttribute key="configLocation" value="${workspace_loc}/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse"/> 13 <stringAttribute key="configLocation" value="${workspace_loc}/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse"/>
14<booleanAttribute key="default" value="true"/> 14 <booleanAttribute key="default" value="true"/>
15<booleanAttribute key="includeOptional" value="true"/> 15 <booleanAttribute key="includeOptional" value="true"/>
16<stringAttribute key="location" value="${workspace_loc}/../eclipse-2020-03-runtime"/> 16 <stringAttribute key="location" value="${workspace_loc}/../eclipse-2020-09-runtime"/>
17<listAttribute key="org.eclipse.debug.ui.favoriteGroups"> 17 <mapAttribute key="org.eclipse.debug.core.environmentVariables">
18<listEntry value="org.eclipse.debug.ui.launchGroup.debug"/> 18 <mapEntry key="LD_LIBRARY_PATH" value="${resource_loc:/hu.bme.mit.inf.dslreasoner.ilp.cbc/lib}"/>
19<listEntry value="org.eclipse.debug.ui.launchGroup.run"/> 19 </mapAttribute>
20</listAttribute> 20 <listAttribute key="org.eclipse.debug.ui.favoriteGroups">
21<stringAttribute key="org.eclipse.jdt.launching.JRE_CONTAINER" value="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/> 21 <listEntry value="org.eclipse.debug.ui.launchGroup.debug"/>
22<stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="-os ${target.os} -ws ${target.ws} -arch ${target.arch} -nl ${target.nl}"/> 22 <listEntry value="org.eclipse.debug.ui.launchGroup.run"/>
23<stringAttribute key="org.eclipse.jdt.launching.SOURCE_PATH_PROVIDER" value="org.eclipse.pde.ui.workbenchClasspathProvider"/> 23 </listAttribute>
24<stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-Xms40m -Xmx512m"/> 24 <stringAttribute key="org.eclipse.jdt.launching.JRE_CONTAINER" value="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/java-11-openjdk"/>
25<stringAttribute key="pde.version" value="3.3"/> 25 <stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="-os ${target.os} -ws ${target.ws} -arch ${target.arch} -nl ${target.nl}"/>
26<stringAttribute key="product" value="org.eclipse.platform.ide"/> 26 <stringAttribute key="org.eclipse.jdt.launching.SOURCE_PATH_PROVIDER" value="org.eclipse.pde.ui.workbenchClasspathProvider"/>
27<booleanAttribute key="show_selected_only" value="false"/> 27 <stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-Xms512m -Xmx16g"/>
28<stringAttribute key="templateConfig" value="${target_home}/configuration/config.ini"/> 28 <stringAttribute key="pde.version" value="3.3"/>
29<booleanAttribute key="tracing" value="false"/> 29 <stringAttribute key="product" value="org.eclipse.platform.ide"/>
30<booleanAttribute key="useCustomFeatures" value="false"/> 30 <booleanAttribute key="show_selected_only" value="false"/>
31<booleanAttribute key="useDefaultConfig" value="true"/> 31 <stringAttribute key="templateConfig" value="${target_home}/configuration/config.ini"/>
32<booleanAttribute key="useDefaultConfigArea" value="true"/> 32 <booleanAttribute key="tracing" value="false"/>
33<booleanAttribute key="useProduct" value="true"/> 33 <booleanAttribute key="useCustomFeatures" value="false"/>
34<booleanAttribute key="usefeatures" value="false"/> 34 <booleanAttribute key="useDefaultConfig" value="true"/>
35 <booleanAttribute key="useDefaultConfigArea" value="true"/>
36 <booleanAttribute key="useProduct" value="true"/>
37 <booleanAttribute key="usefeatures" value="false"/>
35</launchConfiguration> 38</launchConfiguration>
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-29 09:43:59 +0000