# syntax=docker/dockerfile:1
FROM ubuntu:22.10
LABEL description="Verilog playground"

# Prepare OS
RUN apt-get -y update \
    && apt-get -y install iverilog guile-3.0 locales git
RUN sed -i '/en_US.UTF-8/s/^# //g' /etc/locale.gen \
    && locale-gen

# Environment
ENV GIT_SSL_NO_VERIFY=1
ENV GUILE_LOAD_PATH=/server/embddr-scheme-library
ENV LANG=en_US.UTF-8
ENV DONOTUSEFIREJAIL=1

# Copy server files
WORKDIR /server
COPY server/* ./
RUN git clone https://git.embddr.com/np/embddr-scheme-library.git
RUN mkdir play-work /verilog-playground-store

EXPOSE 8080
VOLUME /verilog-playground-store

CMD [ "guile", "-e", "main",                     \
    "./playground-server.scm",                   \
    "--port=8080",                               \
    "--addr=0.0.0.0",                            \
    "--host=https://play.embddr.com",            \
    "--iverilog-exe=./iverilog",                 \
    "--vvp-exe=./vvp",                           \
    "--max-len=10000",                           \
    "--work-base=play-work",                     \
    "--stor-base=/verilog-playground-store",     \
    "--log-level=2" ]