| Index: build/gen_html_setters.sh
|
| diff --git a/build/gen_html_setters.sh b/build/gen_html_setters.sh
|
| new file mode 100755
|
| index 0000000000000000000000000000000000000000..9ec09a17f5426936ba13588bb9bbb031ae4b5fbe
|
| --- /dev/null
|
| +++ b/build/gen_html_setters.sh
|
| @@ -0,0 +1,15 @@
|
| +#!/bin/bash
|
| +set -e
|
| +
|
| +DIR=$( cd $( dirname "${BASH_SOURCE[0]}" ) && pwd )
|
| +
|
| +if [[ ($DART_SDK == "") ]]; then
|
| + echo 'DART_SDK not set, using `which dart` to guess path'
|
| + export DART_SDK=$( cd $( dirname `which dart` )/.. && pwd )
|
| + echo "Found SDK at $DART_SDK"
|
| +fi
|
| +
|
| +# TODO(jmesserly): this should be a package on Pub, then we can delete these
|
| +# shell script shenanigans.
|
| +echo "library compile_mirrors; export '$DART_SDK/pkg/dartdoc/lib/mirrors.dart';" > $DIR/compile_mirrors.dart
|
| +dart --checked $DIR/gen_html_setters.dart
|
|
|