reader: replacing "profile install web" with "profile install nodejs"

MultiPart: 2/6
Change-Id: Id92bbfc2ec1f4a24a9e506221f8b001908e36d0b
1 file changed
tree: bb0064b19929278555d8054314fc1939cb918e8f
  1. browser/
  2. public/
  3. .gitignore
  4. AUTHORS
  5. CONTRIBUTORS
  6. LICENSE
  7. Makefile
  8. package.json
  9. PATENTS
  10. README.md
  11. VERSION
README.md

Reader

An example PDF reader using Vanadium.

Development

Dependencies

If you have a $V23_ROOT setup you can install Node.js from $V23_ROOT/third_party by running:

v23 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>