| #!/bin/bash -e |
| |
| SCRIPT_DIR=$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd ) |
| |
| USE_PATH=false |
| if [ "$DEVTOOLS_TOOL_FLUTTER_FROM_PATH" = "true" ]; then |
| USE_PATH=true |
| fi |
| for arg in "$@"; do |
| if [ "$arg" = "-p" ] || [ "$arg" = "--flutter-from-path" ]; then |
| USE_PATH=true |
| fi |
| done |
| |
| if [ "$USE_PATH" = true ] |
| then |
| echo Running dt using Dart/Flutter from PATH |
| dart run "$SCRIPT_DIR/dt.dart" "$@" |
| else |
| if [ ! -d $SCRIPT_DIR/../flutter-sdk ] |
| then |
| # If the `devtools/tool/flutter-sdk` directory does not exist yet, use whatever Dart |
| # is on the user's path to update it before proceeding. |
| echo "Running dt using the Dart SDK from `which dart` to create the Flutter SDK in tool/flutter-sdk." |
| dart run "$SCRIPT_DIR/dt.dart" update-flutter-sdk |
| fi |
| |
| "$SCRIPT_DIR/../flutter-sdk/bin/dart" run "$SCRIPT_DIR/dt.dart" "$@" |
| fi |