diff mx/mx_graal.py @ 16918:b03a16cc5245

add support for installing distribution jars into jre/lib/ext directory
author Doug Simon <doug.simon@oracle.com>
date Mon, 25 Aug 2014 12:57:49 +0200
parents 0583d157992a
children 87fc600ec586
line wrap: on
line diff
--- a/mx/mx_graal.py	Sat Aug 23 19:31:44 2014 +0200
+++ b/mx/mx_graal.py	Mon Aug 25 12:57:49 2014 +0200
@@ -757,6 +757,10 @@
         for jdkDist in _jdkDeployedDists:
             dist = mx.distribution(jdkDist.name)
             defLine = 'EXPORT_LIST += $(EXPORT_JRE_LIB_DIR)/' + basename(dist.path)
+            if jdkDist.isExtension:
+                defLine = 'EXPORT_LIST += $(EXPORT_JRE_LIB_EXT_DIR)/' + basename(dist.path)
+            else:
+                defLine = 'EXPORT_LIST += $(EXPORT_JRE_LIB_DIR)/' + basename(dist.path)
             if defLine not in defs:
                 mx.abort('Missing following line in ' + defsPath + '\n' + defLine)
             shutil.copy(dist.path, opts2.export_dir)