SKC Lang Server

Prerequisites

Relies on antlr.jar to be installed at /antlr.jar

Usage

Build the application via Docker and connect in your browser:

docker-compose up

Running with Docker Execution Environment

# https://gvisor.dev/docs/user_guide/install/
(
  set -e
  ARCH=$(uname -m)
  URL=https://storage.googleapis.com/gvisor/releases/release/latest/${ARCH}
  wget ${URL}/runsc ${URL}/runsc.sha512 \
    ${URL}/containerd-shim-runsc-v1 ${URL}/containerd-shim-runsc-v1.sha512
  sha512sum -c runsc.sha512 \
    -c containerd-shim-runsc-v1.sha512
  rm -f *.sha512
  chmod a+rx runsc containerd-shim-runsc-v1
  sudo mv runsc containerd-shim-runsc-v1 /usr/local/bin
)
sudo /usr/local/bin/runsc install # use protected runsc kernel
./setup.sh # create image to use for sandboxing

Running Natively

Go CPython bindings are pinned to Python 3.7.10 - if you have Python3.7.10 headers installed, you can build natively (only works on linux AFAIK):

make && ./bin/skcserver

If you need to downgrade Python 3.7.10 manually:

sudo add-apt-repository ppa:deadsnakes/ppa
sudo apt-get update
sudo apt-get install python3.7 python3.7-dev
# Then - adjust the pkg-config config to point to the correct version
# you can find the relevant .pc location with pkg-config --variable pc_path pkg-config for your system
cd /usr/lib/x86_64-linux-gnu/pkgconfig
sudo mv python3.pc python3.pc.old # will be a symlink to whatever python version you have installed by default
sudo ln -s python-3.7.pc python3.pc
pkg-config python3 --cflags # should yield /usr/include/python3.7m
# to reverse
sudo mv python3.pc.old python3.pc