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