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')