comparison mx/commands.py @ 8646:1b090d7f832d

Allow building using a jdk that does not contain man
author Gilles Duboscq <duboscq@ssw.jku.at>
date Fri, 05 Apr 2013 14:24:02 +0200
parents ac49da6eeed6
children 5f8299106dd9
comparison
equal deleted inserted replaced
8645:15ae4fd89a75 8646:1b090d7f832d
295 """ 295 """
296 Get the JDK into which Graal is installed, creating it first if necessary. 296 Get the JDK into which Graal is installed, creating it first if necessary.
297 """ 297 """
298 jdk = join(_graal_home, 'jdk' + str(mx.java().version), build) 298 jdk = join(_graal_home, 'jdk' + str(mx.java().version), build)
299 jdkContents = ['bin', 'include', 'jre', 'lib'] 299 jdkContents = ['bin', 'include', 'jre', 'lib']
300 if (exists(join(jdk, 'db'))): 300 if exists(join(jdk, 'db')):
301 jdkContents.append('db') 301 jdkContents.append('db')
302 if mx.get_os() != 'windows': 302 if mx.get_os() != 'windows' and exists(join(jdk, 'man')):
303 jdkContents.append('man') 303 jdkContents.append('man')
304 if create: 304 if create:
305 if not exists(jdk): 305 if not exists(jdk):
306 srcJdk = mx.java().jdk 306 srcJdk = mx.java().jdk
307 mx.log('Creating ' + jdk + ' from ' + srcJdk) 307 mx.log('Creating ' + jdk + ' from ' + srcJdk)