OLD | NEW |
1 # Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file | 1 # Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file |
2 # for details. All rights reserved. Use of this source code is governed by a | 2 # for details. All rights reserved. Use of this source code is governed by a |
3 # BSD-style license that can be found in the LICENSE file. | 3 # BSD-style license that can be found in the LICENSE file. |
4 | 4 |
5 #!/usr/bin/env python | 5 #!/usr/bin/env python |
6 # | 6 # |
7 | 7 |
8 """Rewrites HTML files, converting Dart script sections into JavaScript. | 8 """Rewrites HTML files, converting Dart script sections into JavaScript. |
9 | 9 |
10 Process HTML files, and internally changes script sections that use Dart code | 10 Process HTML files, and internally changes script sections that use Dart code |
(...skipping 452 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
463 result.add_option("-o", "--out", | 463 result.add_option("-o", "--out", |
464 help="Output directory", | 464 help="Output directory", |
465 type="string", | 465 type="string", |
466 default=None, | 466 default=None, |
467 action="store") | 467 action="store") |
468 result.add_option("-t", "--target", | 468 result.add_option("-t", "--target", |
469 help="The target html to generate", | 469 help="The target html to generate", |
470 metavar="[js,chromium,dartium]", | 470 metavar="[js,chromium,dartium]", |
471 default='chromium') | 471 default='chromium') |
472 result.add_option("--extra-flags", | 472 result.add_option("--extra-flags", |
473 help="Extra flags for dartc", | 473 help="Extra flags for frogc", |
474 type="string", | 474 type="string", |
475 default="") | 475 default="") |
476 result.set_usage("htmlconverter.py input.html -o OUTDIR") | 476 result.set_usage("htmlconverter.py input.html -o OUTDIR") |
477 return result | 477 return result |
478 | 478 |
479 def writeOut(contents, filepath): | 479 def writeOut(contents, filepath): |
480 """ Writes contents to a file, ensuring that the output directory exists. """ | 480 """ Writes contents to a file, ensuring that the output directory exists. """ |
481 safeMakeDirs(dirname(filepath)) | 481 safeMakeDirs(dirname(filepath)) |
482 with open(filepath, 'w') as f: | 482 with open(filepath, 'w') as f: |
483 f.write(contents) | 483 f.write(contents) |
(...skipping 65 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
549 if 'dartium' in options.target: | 549 if 'dartium' in options.target: |
550 convertForDartium(filename, options.out, | 550 convertForDartium(filename, options.out, |
551 outfile.replace(extension, '-dart' + extension), options.verbose) | 551 outfile.replace(extension, '-dart' + extension), options.verbose) |
552 except Exception as e: | 552 except Exception as e: |
553 print "%sERROR%s: %s" % (RED_COLOR, NO_COLOR, str(e)) | 553 print "%sERROR%s: %s" % (RED_COLOR, NO_COLOR, str(e)) |
554 return 1 | 554 return 1 |
555 return 0 | 555 return 0 |
556 | 556 |
557 if __name__ == '__main__': | 557 if __name__ == '__main__': |
558 sys.exit(main()) | 558 sys.exit(main()) |
OLD | NEW |