comparison 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
comparison
equal deleted inserted replaced
16917:6af9d523222a 16918:b03a16cc5245
755 with open(defsPath) as fp: 755 with open(defsPath) as fp:
756 defs = fp.read() 756 defs = fp.read()
757 for jdkDist in _jdkDeployedDists: 757 for jdkDist in _jdkDeployedDists:
758 dist = mx.distribution(jdkDist.name) 758 dist = mx.distribution(jdkDist.name)
759 defLine = 'EXPORT_LIST += $(EXPORT_JRE_LIB_DIR)/' + basename(dist.path) 759 defLine = 'EXPORT_LIST += $(EXPORT_JRE_LIB_DIR)/' + basename(dist.path)
760 if jdkDist.isExtension:
761 defLine = 'EXPORT_LIST += $(EXPORT_JRE_LIB_EXT_DIR)/' + basename(dist.path)
762 else:
763 defLine = 'EXPORT_LIST += $(EXPORT_JRE_LIB_DIR)/' + basename(dist.path)
760 if defLine not in defs: 764 if defLine not in defs:
761 mx.abort('Missing following line in ' + defsPath + '\n' + defLine) 765 mx.abort('Missing following line in ' + defsPath + '\n' + defLine)
762 shutil.copy(dist.path, opts2.export_dir) 766 shutil.copy(dist.path, opts2.export_dir)
763 graalOptions = join(_graal_home, 'graal.options') 767 graalOptions = join(_graal_home, 'graal.options')
764 if exists(graalOptions): 768 if exists(graalOptions):