diff options
Diffstat (limited to 'view/dart')
| -rw-r--r-- | view/dart/.gitignore | 3 | ||||
| -rw-r--r-- | view/dart/ceres.dart | 3 | ||||
| -rwxr-xr-x | view/dart/dart2js.sh | 11 |
3 files changed, 17 insertions, 0 deletions
diff --git a/view/dart/.gitignore b/view/dart/.gitignore new file mode 100644 index 0000000..8b613fb --- /dev/null +++ b/view/dart/.gitignore @@ -0,0 +1,3 @@ +*.js +*.js.deps +*.js.map diff --git a/view/dart/ceres.dart b/view/dart/ceres.dart new file mode 100644 index 0000000..596fbe4 --- /dev/null +++ b/view/dart/ceres.dart @@ -0,0 +1,3 @@ +void main() { + print("Dart infrastructure is available."); +} diff --git a/view/dart/dart2js.sh b/view/dart/dart2js.sh new file mode 100755 index 0000000..8d53fda --- /dev/null +++ b/view/dart/dart2js.sh @@ -0,0 +1,11 @@ +#!/bin/sh + +set -euf + +SCRIPT="$0" +DART="$(dirname "$SCRIPT")" +CERES_DART="${DART}/ceres.dart" +CERES_DART_JS="${CERES_DART}.js" + +set -x +dart compile js -O2 --output "$CERES_DART_JS" "$CERES_DART" |