blob: e8c9097bbb96d9fb9905865cd1ec2e12ce8a600a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
FROM ubuntu:focal
ENV DEBIAN_FRONTEND=noninteractive
WORKDIR /hicn-build
ARG USERNAME=ubuntu
ARG USER_UID=1000
ARG USER_GID=${USER_UID}
COPY Makefile versions.cmake ./
COPY scripts scripts/
USER root
RUN apt update && apt-get install -y \
make \
sudo \
curl \
valgrind \
git
RUN make deps debug-tools
# Add non-root user
RUN groupadd --gid ${USER_GID} ${USERNAME} && \
useradd -s /bin/bash --uid ${USER_UID} --gid ${USER_GID} -m ${USERNAME} && \
echo ${USERNAME} ALL=\(root\) NOPASSWD:ALL >/etc/sudoers.d/${USERNAME} && \
chmod 0440 /etc/sudoers.d/${USERNAME}
USER ${USERNAME}
WORKDIR /home/${USERNAME}
ENV DEBIAN_FRONTEND=
|