2023-11-20 16:01:27 +00:00
|
|
|
FROM ubuntu:18.04
|
2021-12-11 22:16:05 +00:00
|
|
|
ENV DEBIAN_FRONTEND=noninteractive
|
2022-03-12 01:54:48 +00:00
|
|
|
RUN apt-get update
|
|
|
|
RUN apt-get -y install screen git sudo \
|
2023-11-20 16:01:27 +00:00
|
|
|
build-essential pkg-config \
|
2022-03-12 01:54:48 +00:00
|
|
|
zlib1g-dev libjpeg-dev libgnutls28-dev \
|
|
|
|
python3-pip texlive-latex-extra latexmk \
|
2023-05-05 10:47:59 +00:00
|
|
|
inkscape imagemagick busybox-static wget fuse && \
|
|
|
|
apt-get clean && rm -rf /var/lib/apt/lists/*
|
2023-11-20 16:01:27 +00:00
|
|
|
# Get cmake from pypi. We need to keep Ubuntu 18.04 for a while longer
|
|
|
|
# since the glibc in Ubuntu 20.04 is too new (as of late 2023) for
|
|
|
|
# Amazon Linux 2 in Lambda and for some supported CentOS versions.
|
|
|
|
# When we are ready to update to 20.04 or newer, remove the version
|
|
|
|
# constraint on sphinx, and install the OS package for cmake.
|
|
|
|
RUN pip3 install --upgrade pip
|
|
|
|
RUN pip3 install sphinx==4 sphinx_rtd_theme cmake
|
2018-02-21 01:36:13 +00:00
|
|
|
COPY entrypoint /entrypoint
|
|
|
|
RUN chmod +x /entrypoint
|
|
|
|
ENTRYPOINT [ "/entrypoint" ]
|