Docker image

[dzufferey]

We currently do not have an official docker image.
However, you can build you own image with the following Dockerfile:

FROM ubuntu:20.04

WORKDIR /psync

ARG DEBIAN_FRONTEND="noninteractive" TZ="America/New_York"
RUN apt-get update \
    && apt-get install -y curl git unzip wget gnupg gawk \
# java and sbt
    && echo "deb https://repo.scala-sbt.org/scalasbt/debian all main" | tee /etc/apt/sources.list.d/sbt.list \
    && curl -sL "https://keyserver.ubuntu.com/pks/lookup?op=get&search=0x2EE0EA64E40A89B84B2DF73499E82A75642AC823" | apt-key add \
    && apt-get update \
    && apt-get -y install default-jdk sbt
# clone and build psync
RUN git clone https://github.com/dzufferey/psync.git . \
    && sbt compile \
    && sbt test:compile \
    && ./utils/generateClassPath.sh
# z3
RUN wget https://github.com/Z3Prover/z3/releases/download/z3-4.8.13/z3-4.8.13-x64-glibc-2.31.zip -O z3.zip \
    && unzip z3.zip -d z3 \
    && rm -rf z3.zip
ENV PATH ="$PATH:/psync/z3/z3-4.8.13-x64-glibc-2.31/bin/"

Place the text above in a file named Dockerfile and then, in the directory containing the file, run the command

docker build --tag psync .

After the image is built, you can run it as an interactive shell with:

docker run --cpus 8 -it psync