1 files changed, 11 insertions, 0 deletions
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"