changeset 8174:67d654d9ee9a

pass JAVA_HOME to eclipse builder
author Lukas Stadler <lukas.stadler@jku.at>
date Fri, 08 Mar 2013 14:38:42 +0100
parents 6d23f64f2fdb
children e0db99483b35
files mxtool/mx.py
diffstat 1 files changed, 4 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/mxtool/mx.py	Fri Mar 08 13:19:28 2013 +0100
+++ b/mxtool/mx.py	Fri Mar 08 14:38:42 2013 +0100
@@ -2258,6 +2258,10 @@
 def _genEclipseBuilder(dotProjectDoc, p, name, mxCommand, refresh=True, async=False):
     launchOut = XMLDoc();
     launchOut.open('launchConfiguration', {'type' : 'org.eclipse.ui.externaltools.ProgramBuilderLaunchConfigurationType'})
+    launchOut.open('mapAttribute', {'key' : 'org.eclipse.debug.core.environmentVariables'})
+    launchOut.element('mapEntry', {'key' : 'JAVA_HOME',	'value' : java().jdk})
+    launchOut.close('mapAttribute')
+    
     if refresh:
         launchOut.element('stringAttribute',  {'key' : 'org.eclipse.debug.core.ATTR_REFRESH_SCOPE',            'value': '${project}'})
     launchOut.element('booleanAttribute', {'key' : 'org.eclipse.debug.core.capture_output',                'value': 'false'})