summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--readme.md19
1 files changed, 11 insertions, 8 deletions
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