From 404e1123d5ab743435b2736f94c4e2a055526c73 Mon Sep 17 00:00:00 2001 From: Timotej Lazar Date: Wed, 16 Sep 2015 16:26:04 +0200 Subject: Update readme --- readme.md | 19 +++++++++++-------- 1 file changed, 11 insertions(+), 8 deletions(-) (limited to 'readme.md') diff --git a/readme.md b/readme.md index 61b0ac6..0b16214 100644 --- a/readme.md +++ b/readme.md @@ -1,15 +1,15 @@ -Deployment -========== +Installation +============ Install the following packages: - apache2 + - nodejs (>= 10.0.22) - python3 (>= 3.4) - python3-ply - python3-psycopg2 - python3-termcolor - swi-prolog-nox (>= 7.2) - - nodejs (>= 10.0.22) SWI prolog ---------- @@ -44,8 +44,14 @@ then build and install it with make make install +nodejs +------ + +Run "npm install" inside the "web" directory to install all dependencies (they +will be installed inside the "web" directory) + Settings --------- +======== - point webroot to codeq-web - set up reverse proxy for /ws/ to the node server: @@ -59,14 +65,11 @@ Settings ProxyPassReverse /ws/ http://localhost:8083/ws/ - set _path_prefix in server.problems - set DB settings in db - - run "npm install" inside the "web" directory to install all dependencies - (they will be installed inside the "web" directory) Running -------- +======= - run the prolog interpreter server: swipl prolog/runner/main.pl - - run the python interpreter server: python3 python/runner/main.py - run the session daemon: python3 daemon.py - run the web server for client communication: node web/main.js -- cgit v1.2.1