comparison mx.jvmci/mx_jvmci.py @ 22616:8a837db73b92

Remove source deployment.
author Christian Humer <christian.humer@oracle.com>
date Fri, 25 Sep 2015 18:45:35 +0200
parents 0851eafff5c9
children e778e9aaed23
comparison
equal deleted inserted replaced
22615:e96c6a52aff2 22616:8a837db73b92
104 self.partOfHotSpot = partOfHotSpot 104 self.partOfHotSpot = partOfHotSpot
105 105
106 def targetDir(self): 106 def targetDir(self):
107 mx.nyi('targetDir', self) 107 mx.nyi('targetDir', self)
108 108
109 def sourceTargetDir(self): 109 def _copyToJdk(self, jdkDir, target):
110 return 'src'
111
112 def _copyToJdk(self, jdkDir, target, sourceTarget):
113 targetDir = join(jdkDir, target) 110 targetDir = join(jdkDir, target)
114 dist = self.dist() 111 dist = self.dist()
115 mx.logv('Deploying {} to {}'.format(dist.name, targetDir)) 112 mx.logv('Deploying {} to {}'.format(dist.name, targetDir))
116 copyToJdk(dist.path, targetDir) 113 copyToJdk(dist.path, targetDir)
117 114
118 if dist.sourcesPath and sourceTarget is not None:
119 sourceTargetDir = join(jdkDir, sourceTarget)
120 copyToJdk(dist.sourcesPath, sourceTargetDir)
121 mx.logv('Deploying source {} to {}'.format(dist.name, sourceTargetDir))
122
123 def deploy(self, jdkDir): 115 def deploy(self, jdkDir):
124 self._copyToJdk(jdkDir, self.targetDir(), self.sourceTargetDir()) 116 self._copyToJdk(jdkDir, self.targetDir())
125 117
126 class ExtJDKDeployedDist(JarJDKDeployedDist): 118 class ExtJDKDeployedDist(JarJDKDeployedDist):
127 def __init__(self, name, partOfHotSpot=False): 119 def __init__(self, name, partOfHotSpot=False):
128 JarJDKDeployedDist.__init__(self, name, partOfHotSpot) 120 JarJDKDeployedDist.__init__(self, name, partOfHotSpot)
129 121