418
by maxberger
|
1 |
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
|
2 |
<launchConfiguration type="org.eclipse.jdt.launching.localJavaApplication"> |
|
3 |
<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS"> |
|
470
by maxberger
Moved MathViewer into own package |
4 |
<listEntry value="/jeuclid/jeuclid-mathviewer/src/main/java/net/sourceforge/jeuclid/app/mathviewer/MathViewer.java"/> |
418
by maxberger
|
5 |
</listAttribute>
|
6 |
<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES"> |
|
7 |
<listEntry value="1"/> |
|
8 |
</listAttribute>
|
|
9 |
<booleanAttribute key="org.eclipse.debug.core.appendEnvironmentVariables" value="true"/> |
|
10 |
<listAttribute key="org.eclipse.debug.ui.favoriteGroups"> |
|
11 |
<listEntry value="org.eclipse.debug.ui.launchGroup.run"/> |
|
12 |
</listAttribute>
|
|
569
by maxberger
Added tptp profile |
13 |
<stringAttribute key="org.eclipse.hyades.trace.ui.ATTR_DATA_COLLECTOR" value="org.eclipse.tptp.trace.jvmti.jvmtiMechanism:org.eclipse.tptp.analysisType.jvmti.execution"/> |
14 |
<stringAttribute key="org.eclipse.hyades.trace.ui.ATTR_DESTINATION_FILE" value=""/> |
|
15 |
<stringAttribute key="org.eclipse.hyades.trace.ui.ATTR_DESTINATION_MONITOR" value="DefaultMonitor"/> |
|
16 |
<stringAttribute key="org.eclipse.hyades.trace.ui.ATTR_DESTINATION_PROJECT" value="ProfileProject"/> |
|
17 |
<booleanAttribute key="org.eclipse.hyades.trace.ui.ATTR_PROFILE_TO_FILE" value="false"/> |
|
18 |
<stringAttribute key="org.eclipse.hyades.trace.ui.ATTR_PROFILING_SET" value="tptp-dummy-profiling-set-MathViewer"/> |
|
741
by maxberger
Updated for new maven plugin |
19 |
<stringAttribute key="org.eclipse.jdt.launching.CLASSPATH_PROVIDER" value="org.maven.ide.eclipse.launchconfig.classpathProvider"/> |
470
by maxberger
Moved MathViewer into own package |
20 |
<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="net.sourceforge.jeuclid.app.mathviewer.MathViewer"/> |
418
by maxberger
|
21 |
<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="jeuclid"/> |
741
by maxberger
Updated for new maven plugin |
22 |
<stringAttribute key="org.eclipse.jdt.launching.SOURCE_PATH_PROVIDER" value="org.maven.ide.eclipse.launchconfig.sourcepathProvider"/> |
418
by maxberger
|
23 |
<stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-enableassertions"/> |
24 |
</launchConfiguration>
|