TBR: reader: Replace "v23" (the tool name) with "jiri".

Change-Id: I5397f6d61788dd1aac739279e3ec154447519ec9
MultiPart: 15/17
1 file changed
tree: a862eee14cbb7de1a7c93515d2b30c7bb513305f
  1. bin/
  2. browser/
  3. lib/
  4. public/
  5. test/
  6. .gitignore
  7. .jiriignore
  8. .jshintignore
  9. .jshintrc
  10. AUTHORS
  11. CONTRIBUTING
  12. CONTRIBUTORS
  13. LICENSE
  14. Makefile
  15. package.json
  16. PATENTS
  17. README.md
  18. VERSION
README.md

Reader

An example PDF reader using Vanadium.

Development

Dependencies

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.

Building

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

Running locally

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