Building

Jump to bottom

Dylan Jager-Kujawa edited this page May 1, 2017 · 2 revisions

Requirements

Gentzen has the following development dependencies that must be installed in order to build:

npm
gulp
TypeScript

Install dependencies with npm

npm install

Note that you will have to set up semantic-ui when it installs. The default configuration should be fine.

Running the build

gulp

The build uses Browserify to merge all typescript files into one file, bundle.js, and Watchify to re-compile when any changes are made.

In Visual Studio Code, the following .vscode/task.json contents will ensure gulp starts on build (ctrl+shift+B):

{
    "version": "0.1.0",
    "command": "gulp",
    "isShellCommand": true,
    "args": ["--no-color"],
    "showOutput": "always"
}