Index: sdk/lib/html/scripts/dartdomgenerator.py |
diff --git a/sdk/lib/html/scripts/dartdomgenerator.py b/sdk/lib/html/scripts/dartdomgenerator.py |
index 560d5ea29bdae85514e3c6d0481fd7c7e6fe0c93..d15f894120cf8cb4ea1f0d0ba9b12e92f3a2cb04 100755 |
--- a/sdk/lib/html/scripts/dartdomgenerator.py |
+++ b/sdk/lib/html/scripts/dartdomgenerator.py |
@@ -25,6 +25,8 @@ from templateloader import TemplateLoader |
_logger = logging.getLogger('dartdomgenerator') |
+_libraries = ['html', 'svg', 'web_audio'] |
+ |
class GeneratorOptions(object): |
def __init__(self, templates, database, type_registry, renamer): |
self.templates = templates |
@@ -100,7 +102,7 @@ def GenerateFromDatabase(common_database, dart2js_output_dir, |
dart_output_dir = os.path.join(dart2js_output_dir, 'dart') |
dart_libraries = DartLibraries( |
- template_loader, 'dart2js', dart2js_output_dir) |
+ _libraries, template_loader, 'dart2js', dart2js_output_dir) |
RunGenerator(dart_libraries, dart_output_dir, |
template_loader, backend_factory) |
@@ -119,7 +121,7 @@ def GenerateFromDatabase(common_database, dart2js_output_dir, |
dart_output_dir = os.path.join(dartium_output_dir, 'dart') |
dart_libraries = DartLibraries( |
- template_loader, 'dartium', dartium_output_dir) |
+ _libraries, template_loader, 'dartium', dartium_output_dir) |
RunGenerator(dart_libraries, dart_output_dir, |
template_loader, backend_factory) |
@@ -204,16 +206,16 @@ def main(): |
if 'htmldart2js' in systems: |
_logger.info('Generating dart2js single files.') |
- GenerateSingleFile(os.path.join(dart2js_output_dir, 'html_dart2js.dart'), |
- '../dart2js') |
- GenerateSingleFile(os.path.join(dart2js_output_dir, 'svg_dart2js.dart'), |
- '../../svg/dart2js') |
+ for library_name in _libraries: |
+ GenerateSingleFile( |
+ os.path.join(dart2js_output_dir, '%s_dart2js.dart' % library_name), |
+ '../../%s/dart2js' % library_name) |
if 'htmldartium' in systems: |
_logger.info('Generating dartium single files.') |
- GenerateSingleFile(os.path.join(dartium_output_dir, 'html_dartium.dart'), |
- '../dartium') |
- GenerateSingleFile(os.path.join(dartium_output_dir, 'svg_dartium.dart'), |
- '../../svg/dartium') |
+ for library_name in _libraries: |
+ GenerateSingleFile( |
+ os.path.join(dartium_output_dir, '%s_dartium.dart' % library_name), |
+ '../../%s/dartium' % library_name) |
if __name__ == '__main__': |
sys.exit(main()) |