| OLD | NEW |
| 1 #!/usr/bin/python | 1 #!/usr/bin/python |
| 2 # Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file | 2 # Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file |
| 3 # for details. All rights reserved. Use of this source code is governed by a | 3 # for details. All rights reserved. Use of this source code is governed by a |
| 4 # BSD-style license that can be found in the LICENSE file. | 4 # BSD-style license that can be found in the LICENSE file. |
| 5 | 5 |
| 6 """This is the entry point to create Dart APIs from the IDL database.""" | 6 """This is the entry point to create Dart APIs from the IDL database.""" |
| 7 | 7 |
| 8 import dartgenerator | 8 import dartgenerator |
| 9 import database | 9 import database |
| 10 import logging.config | 10 import logging.config |
| (...skipping 131 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 142 _logger.info('Copy dom_dummy to dom.dart') | 142 _logger.info('Copy dom_dummy to dom.dart') |
| 143 subprocess.call(['cd ../generated ; ' | 143 subprocess.call(['cd ../generated ; ' |
| 144 '../../../tools/copy_dart.py dummy dom_dummy.dart ;' | 144 '../../../tools/copy_dart.py dummy dom_dummy.dart ;' |
| 145 'cp dummy/dom_dummy.dart ../dom.dart'], | 145 'cp dummy/dom_dummy.dart ../dom.dart'], |
| 146 shell=True); | 146 shell=True); |
| 147 | 147 |
| 148 def main(): | 148 def main(): |
| 149 parser = optparse.OptionParser() | 149 parser = optparse.OptionParser() |
| 150 parser.add_option('--systems', dest='systems', | 150 parser.add_option('--systems', dest='systems', |
| 151 action='store', type='string', | 151 action='store', type='string', |
| 152 default='frog,dummy,wrapping,htmlfrog,htmldartium', | 152 default='frog,dummy,htmlfrog,htmldartium', |
| 153 help='Systems to generate (frog, native, dummy, ' | 153 help='Systems to generate (frog, native, dummy, ' |
| 154 'htmlfrog, htmldartium)') | 154 'htmlfrog, htmldartium)') |
| 155 parser.add_option('--output-dir', dest='output_dir', | 155 parser.add_option('--output-dir', dest='output_dir', |
| 156 action='store', type='string', | 156 action='store', type='string', |
| 157 default=None, | 157 default=None, |
| 158 help='Directory to put the generated files') | 158 help='Directory to put the generated files') |
| 159 parser.add_option('--use-database-cache', dest='use_database_cache', | 159 parser.add_option('--use-database-cache', dest='use_database_cache', |
| 160 action='store_true', | 160 action='store_true', |
| 161 default=False, | 161 default=False, |
| 162 help='''Use the cached database from the previous run to | 162 help='''Use the cached database from the previous run to |
| (...skipping 19 matching lines...) Expand all Loading... |
| 182 | 182 |
| 183 if html_systems: | 183 if html_systems: |
| 184 output_dir = options.output_dir or os.path.join(current_dir, | 184 output_dir = options.output_dir or os.path.join(current_dir, |
| 185 '../../html/generated') | 185 '../../html/generated') |
| 186 GenerateDOM(html_systems, True, output_dir, | 186 GenerateDOM(html_systems, True, output_dir, |
| 187 database_dir, use_database_cache or dom_systems) | 187 database_dir, use_database_cache or dom_systems) |
| 188 GenerateSingleFile(html_systems) | 188 GenerateSingleFile(html_systems) |
| 189 | 189 |
| 190 if __name__ == '__main__': | 190 if __name__ == '__main__': |
| 191 sys.exit(main()) | 191 sys.exit(main()) |
| OLD | NEW |