diff options
| author | Martin <martin@leo.fri1.uni-lj.si> | 2015-09-18 14:03:19 +0200 |
|---|---|---|
| committer | Martin <martin@leo.fri1.uni-lj.si> | 2015-09-18 14:03:19 +0200 |
| commit | fe545bd1c782f5228323d360181d7aeccfce0324 (patch) | |
| tree | 0c017fb231d568e3e26b2418d700daf060b1d915 /readme.md | |
| parent | e719ad4812fd4aaf05712022992966b805f5bd31 (diff) | |
| parent | 1720db308bf4481d6be45d4f7f611bab576b1184 (diff) | |
Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server
Diffstat (limited to 'readme.md')
| -rw-r--r-- | readme.md | 53 |
1 files changed, 38 insertions, 15 deletions
@@ -1,5 +1,18 @@ -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) + +SWI prolog +---------- To use the correct SWI prolog package (>= 7.2) on Debian, add a custom repository by creating the file /etc/apt/sources.list.d/prolog.list @@ -16,17 +29,29 @@ apt-get update apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys EF8406856DBFCA18 apt-get update -Install the following packages: +libseccomp +---------- - - apache2 - - python3 (>= 3.4) - - python3-ply - - python3-psycopg2 - - python3-termcolor - - swi-prolog-nox (>= 7.2) - - nodejs (>= 10.0.22) +A new version of libseccomp (≥ 2.2) with Python bindings is needed to sandbox +Python interpreters. This is not available yet in most distributions, so fetch +the latest sources with + + git clone https://github.com/seccomp/libseccomp + +then build and install it with + + ./configure --enable-python + make + make install + +nodejs +------ + +Run "npm install" inside the "web" directory to install all dependencies (they +will be installed inside the "web" directory) -Settings: +Settings +======== - point webroot to codeq-web - set up reverse proxy for /ws/ to the node server: @@ -40,13 +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: +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 |