commit | ecfb257d3aeac89f9d0340231822e358ab1a2374 | [log] [tgz] |
---|---|---|
author | Nicolas Lacasse <nlacasse@google.com> | Mon Sep 28 19:37:00 2015 +0000 |
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Mon Sep 28 19:37:00 2015 +0000 |
tree | 9700f8eb87be55c2cf272e12a6e1713dff7fa18a | |
parent | 0983f29fc1ff19f7d249d0aca07bbaed68608ff0 [diff] | |
parent | c8df033cbca7c10bf11928fd591805784bfae7db [diff] |
Merge "TBR: reader: Replace "v23" (the tool name) with "jiri"."
An example PDF reader using Vanadium.
If you have a $JIRI_ROOT
setup you can install Node.js from $JIRI_ROOT/third_party
by running:
jiri profile install nodejs
Optionally, it is possible to use your own install of Node.js if you would like to use a more recent version.
The Makefile is setup to handle all dependencies once Node.js is installed. The default make task will install any modules listed in the package.json
and build a browser bundle from browser/index.js
via browserify.
make
It is possible to have the build happen automatically anytime a JavaScript file changes using the watch tool:
watch make
To run a local dev server use:
make start
If you would like to change the host and or port that is used:
make start port=<port> host=<host>
Run syncbase with:
make syncbase
This will automatically have you set up credentials etc. If you want to remove stored data & credentials use:
make clean