Mercurial > hg > truffle
comparison mx/commands.py @ 9940:2194b25ff111
only copy graal.options if it exists
author | Doug Simon <doug.simon@oracle.com> |
---|---|
date | Sat, 08 Jun 2013 00:54:17 +0200 |
parents | e2068bbf4c0d |
children | 893bc1dbb58c |
comparison
equal
deleted
inserted
replaced
9939:e2068bbf4c0d | 9940:2194b25ff111 |
---|---|
462 out.element('property', {'name' : 'src.dir', 'value' : '${gamma.dir}/graal'}) | 462 out.element('property', {'name' : 'src.dir', 'value' : '${gamma.dir}/graal'}) |
463 out.element('property', {'name' : 'classes.dir', 'value' : '${shared.dir}/graal'}) | 463 out.element('property', {'name' : 'classes.dir', 'value' : '${shared.dir}/graal'}) |
464 out.element('property', {'name' : 'jar.dir', 'value' : '${shared.dir}'}) | 464 out.element('property', {'name' : 'jar.dir', 'value' : '${shared.dir}'}) |
465 out.element('property', {'name' : 'jar.file', 'value' : '${jar.dir}/graal.jar'}) | 465 out.element('property', {'name' : 'jar.file', 'value' : '${jar.dir}/graal.jar'}) |
466 | 466 |
467 out.element('target', {'name' : 'main', 'depends' : 'jar,options'}) | 467 out.element('target', {'name' : 'main', 'depends' : 'options,jar'}) |
468 | 468 |
469 serviceMap = {}; | 469 serviceMap = {}; |
470 def addService(service, provider): | 470 def addService(service, provider): |
471 if service not in serviceMap: | 471 if service not in serviceMap: |
472 serviceMap[service] = set(); | 472 serviceMap[service] = set(); |
517 | 517 |
518 out.open('target', {'name' : 'cleanclasses'}) | 518 out.open('target', {'name' : 'cleanclasses'}) |
519 out.element('delete', {'dir' : '${classes.dir}'}) | 519 out.element('delete', {'dir' : '${classes.dir}'}) |
520 out.close('target') | 520 out.close('target') |
521 | 521 |
522 out.open('target', {'name' : 'options'}) | 522 out.open('target', {'name' : 'options', 'if' : 'graal.options.exists'}) |
523 out.open('copy', {'todir' : '${jar.dir}'}) | 523 out.open('copy', {'todir' : '${jar.dir}'}) |
524 out.element('filelist', {'dir' : '${gamma.dir}', 'files' : 'graal.options'}) | 524 out.element('filelist', {'dir' : '${gamma.dir}', 'files' : 'graal.options'}) |
525 out.close('copy') | 525 out.close('copy') |
526 out.close('target') | 526 out.close('target') |
527 | 527 |
528 out.open('target', {'name' : 'check-graal-options-exists'}) | |
529 out.element('available', {'property' : 'graal.options.exists', 'file' : '${gamma.dir}/graal.options'}) | |
530 out.close('target') | |
531 | |
528 out.open('target', {'name' : 'clean', 'depends' : 'cleanclasses'}) | 532 out.open('target', {'name' : 'clean', 'depends' : 'cleanclasses'}) |
529 out.element('delete', {'file' : '${jar.file}'}) | 533 out.element('delete', {'file' : '${jar.file}'}) |
530 out.close('target') | 534 out.close('target') |
531 | 535 |
532 out.close('project') | 536 out.close('project') |