diff options
| -rw-r--r-- | readme.md | 19 |
1 files changed, 11 insertions, 8 deletions
@@ -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 |