def deploy(self, jdkDir):
JvmciJDKDeployedDist.deploy(self, jdkDir)
if self.updatesGraalProperties:
self._updateGraalPropertiesFile(join(jdkDir, 'jre', 'lib'))
def deploy(self, jdkDir):
JvmciJDKDeployedDist.deploy(self, jdkDir)
if self.updatesGraalProperties:
self._updateGraalPropertiesFile(join(jdkDir, 'jre', 'lib'))
def __init__(self, name, compilers=False, updatesGraalProperties=False):
JvmciJDKDeployedDist.__init__(self, name, compilers=compilers)
self.updatesGraalProperties = updatesGraalProperties
def __init__(self, name, compilers=False, updatesGraalProperties=False):
JvmciJDKDeployedDist.__init__(self, name, compilers=compilers)
self.updatesGraalProperties = updatesGraalProperties
