| #!/bin/bash |
| set -e |
| # switch to the root directory of dev_compiler |
| cd $( dirname "${BASH_SOURCE[0]}" )/.. |
| |
| echo "*** Patching SDK" |
| dart -c tool/patch_sdk.dart tool/input_sdk gen/patched_sdk |
| |
| echo "*** Compiling SDK to JavaScript" |
| |
| # TODO(jmesserly): break out dart:html & friends. |
| dart -c tool/build_sdk.dart \ |
| --dart-sdk gen/patched_sdk \ |
| --modules=amd \ |
| -o lib/js/amd/dart_sdk.js \ |
| --modules=es6 \ |
| -o lib/js/es6/dart_sdk.js \ |
| --modules=common \ |
| -o lib/js/common/dart_sdk.js \ |
| --modules=legacy \ |
| -o lib/js/legacy/dart_sdk.js \ |
| "$@" > tool/sdk_expected_errors.txt |
