OLD | NEW |
(Empty) | |
| 1 #!/bin/bash |
| 2 set -e |
| 3 # switch to the root directory of dev_compiler |
| 4 cd $( dirname "${BASH_SOURCE[0]}" )/.. |
| 5 |
| 6 echo "*** Patching SDK" |
| 7 rm -r test/generated_sdk || true |
| 8 dart -c tool/patch_sdk.dart tool/input_sdk test/generated_sdk |
| 9 |
| 10 echo "*** Compiling SDK to JavaScript" |
| 11 if [[ -d lib/runtime/dart ]] ; then |
| 12 rm -r lib/runtime/dart |
| 13 fi |
| 14 |
| 15 # TODO(jmesserly): for now we're suppressing errors in SDK compilation |
| 16 dart -c bin/devc.dart --no-source-maps --sdk-check --force-compile -l shout \ |
| 17 --dart-sdk test/generated_sdk -o lib/runtime/ dart:core || true |
| 18 |
| 19 if [[ ! -f lib/runtime/dart/core.js ]] ; then |
| 20 echo 'core.js not found, assuming build failed.' |
| 21 echo './tool/build_sdk.sh can be run to reproduce this.' |
| 22 exit 1 |
| 23 fi |
OLD | NEW |