summaryrefslogtreecommitdiffstats
path: root/Dockerfile.dev
blob: ad7f997854048bac5b5e5471752c2812063bcc67 (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
33
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 \
  zsh

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=