Mercurial > hg > graal-jvmci-8
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) |