diff options
Diffstat (limited to 'view')
| -rw-r--r-- | view/dart/.gitignore | 3 | ||||
| -rw-r--r-- | view/dart/ceres.dart | 3 | ||||
| -rwxr-xr-x | view/dart/dart2js.sh | 11 | ||||
| -rw-r--r-- | view/html/head.html | 1 |
4 files changed, 18 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" diff --git a/view/html/head.html b/view/html/head.html index 91ae004..cebfa0f 100644 --- a/view/html/head.html +++ b/view/html/head.html @@ -4,5 +4,6 @@ <meta charset="utf-8"/> <meta name="viewport" content="width=device-width, initial-scale=1.0"> <link rel="stylesheet" href="/static/view/static/simple.css/simple.css" type="text/css"> + <script defer src="/static/view/dart/ceres.dart.js"></script> </head> {{end}} |