Files
lth-coder-template/build/Dockerfile
T

99 lines
2.3 KiB
Docker

FROM ubuntu:latest AS base
# Copy Gradle from gradle:latest
COPY --from=gradle:latest /opt/gradle /opt/gradle
ENV GRADLE_HOME=/opt/gradle
ENV PATH="${GRADLE_HOME}/bin:${PATH}"
# Update and install dependencies
RUN apt-get -y update
RUN apt-get install -y \
curl \
jq \
git \
sudo \
vim \
wget \
unzip \
locales
# Sets local
RUN localedef -i en_US -c -f UTF-8 -A /usr/share/locale/locale.alias en_US.UTF-8
ENV LANG=en_US.utf8
FROM base AS python-init
# Install Python
RUN apt-get install -y \
python3 \
python3-pip \
python3-venv \
python3-tk \
python-is-python3
# Install Python Packages
RUN pip install \
requests \
rich \
ipykernel \
--break-system-packages
FROM python-init AS java-init
# Install JAVA
RUN apt-get install -y \
default-jdk \
openjdk-21-source
FROM java-init AS scala
# Install Scala
ARG SCALA_VERSION="3.7.3"
ARG URL="https://github.com/scala/scala3/releases/download/${SCALA_VERSION}/scala3-${SCALA_VERSION}.tar.gz"
ARG SCALA_DIR="/usr/share/scala3-${SCALA_VERSION}"
RUN curl -fsL --show-error ${URL} | tar xfz - -C /usr/share && \
mv ${SCALA_DIR} /usr/share/scala && \
chown -R root:root /usr/share/scala && \
chmod -R 755 /usr/share/scala && \
ln -s /usr/share/scala/bin/* /usr/local/bin
FROM scala AS haskell-init
# Install required C libraries and build tools for Haskell/GHC
RUN apt-get install -y \
build-essential \
libgmp-dev \
libffi-dev \
libnuma-dev \
zlib1g-dev \
libtinfo-dev
# Install ghcup and Haskell tools globally in /opt
ENV GHCUP_INSTALL_BASE_PREFIX=/opt
ENV PATH="/opt/.ghcup/bin:${PATH}"
RUN curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | \
BOOTSTRAP_HASKELL_NONINTERACTIVE=1 \
BOOTSTRAP_HASKELL_GHC_VERSION=latest \
BOOTSTRAP_HASKELL_CABAL_VERSION=latest \
BOOTSTRAP_HASKELL_HLS_VERSION=latest \
sh
# Ensure the toolchain is readable and executable by all users
RUN chmod -R a+rX /opt/.ghcup
FROM haskell-init AS lth
# Clears apt lists
RUN rm -rf /var/lib/apt/lists/*
# Adds the default User
ARG USER=lth-student
RUN useradd --groups sudo --no-create-home --shell /bin/bash ${USER} \
&& echo "${USER} ALL=(ALL) NOPASSWD:ALL" >/etc/sudoers.d/${USER} \
&& chmod 0440 /etc/sudoers.d/${USER}
# Sets user and work directory
USER ${USER}
WORKDIR /home/${USER}
ENV PATH="${GRADLE_HOME}/bin:${PATH}"