| 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 fremontcutbuilder | 10 import fremontcutbuilder |
| (...skipping 173 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 184 # Load the previously generated database. | 184 # Load the previously generated database. |
| 185 database = LoadDatabase(database_dir, options.use_database_cache) | 185 database = LoadDatabase(database_dir, options.use_database_cache) |
| 186 GenerateFromDatabase(database, dart2js_output_dir, dartium_output_dir) | 186 GenerateFromDatabase(database, dart2js_output_dir, dartium_output_dir) |
| 187 | 187 |
| 188 if 'htmldart2js' in systems: | 188 if 'htmldart2js' in systems: |
| 189 _logger.info('Generating dart2js single files.') | 189 _logger.info('Generating dart2js single files.') |
| 190 GenerateSingleFile(os.path.join(dart2js_output_dir, 'html_dart2js.dart'), | 190 GenerateSingleFile(os.path.join(dart2js_output_dir, 'html_dart2js.dart'), |
| 191 '../dart2js') | 191 '../dart2js') |
| 192 GenerateSingleFile(os.path.join(dart2js_output_dir, 'svg_dart2js.dart'), | 192 GenerateSingleFile(os.path.join(dart2js_output_dir, 'svg_dart2js.dart'), |
| 193 '../../svg/dart2js') | 193 '../../svg/dart2js') |
| 194 GenerateSingleFile(os.path.join(dart2js_output_dir, 'audio_dart2js.dart'), |
| 195 '../../audio/dart2js') |
| 194 if 'htmldartium' in systems: | 196 if 'htmldartium' in systems: |
| 195 _logger.info('Generating dartium single files.') | 197 _logger.info('Generating dartium single files.') |
| 196 GenerateSingleFile(os.path.join(dartium_output_dir, 'html_dartium.dart'), | 198 GenerateSingleFile(os.path.join(dartium_output_dir, 'html_dartium.dart'), |
| 197 '../dartium') | 199 '../dartium') |
| 198 GenerateSingleFile(os.path.join(dartium_output_dir, 'svg_dartium.dart'), | 200 GenerateSingleFile(os.path.join(dartium_output_dir, 'svg_dartium.dart'), |
| 199 '../../svg/dartium') | 201 '../../svg/dartium') |
| 202 GenerateSingleFile(os.path.join(dartium_output_dir, 'audio_dartium.dart'), |
| 203 '../../audio/dartium') |
| 200 | 204 |
| 201 if __name__ == '__main__': | 205 if __name__ == '__main__': |
| 202 sys.exit(main()) | 206 sys.exit(main()) |
| OLD | NEW |