Skip to content
Snippets Groups Projects
Commit 0ff71748 authored by Stéphane Del Pino's avatar Stéphane Del Pino
Browse files

Merge branch 'feature/tools' into 'develop'

Feature/tools

See merge request !123
parents 39cf24c9 3db7fea9
No related branches found
No related tags found
1 merge request!123Feature/tools
...@@ -35,30 +35,28 @@ mkdir -p ${DOCKERFILE_DIR} ...@@ -35,30 +35,28 @@ mkdir -p ${DOCKERFILE_DIR}
DOCKERFILE="${DOCKERFILE_DIR}/Dockerfile" DOCKERFILE="${DOCKERFILE_DIR}/Dockerfile"
cat > ${DOCKERFILE} <<EOF cat > ${DOCKERFILE} <<EOF
FROM ubuntu:bionic FROM ubuntu:focal
ARG DEBIAN_FRONTEND=noninteractive
ENV USER="${USER}" USER_ID="${USER_ID}" USER_GID="${USER_GID}" HOSTNAME="${DOCKER_HOSTNAME}" ENV USER="${USER}" USER_ID="${USER_ID}" USER_GID="${USER_GID}" HOSTNAME="${DOCKER_HOSTNAME}"
ENV TZ=Europe/Paris
RUN echo "${DOCKER_HOSTNAME}" > /etc/hostname RUN echo "${DOCKER_HOSTNAME}" > /etc/hostname
RUN groupadd --gid "${USER_GID}" "${USER}" RUN groupadd --gid "${USER_GID}" "${USER}"
RUN useradd --uid "${USER_ID}" --gid "${USER_GID}" --create-home --shell /bin/bash "${USER}" RUN useradd --uid "${USER_ID}" --gid "${USER_GID}" --create-home --shell /bin/bash "${USER}"
RUN apt-get update && apt-get -y upgrade && apt-get -y remove g++ gcc && apt-get -y install cmake git make lcov bc gnupg gnupg2 gnupg1 wget RUN apt-get update && apt-get -y upgrade && apt-get -y remove g++ gcc && apt-get -y install apt-utils gnupg gnupg2 gnupg1 wget cmake git make lcov bc pkg-config sudo doxygen
RUN echo 'deb http://apt.llvm.org/bionic/ llvm-toolchain-bionic-8 main' > /etc/apt/sources.list.d/backports.list
RUN wget -O - http://apt.llvm.org/llvm-snapshot.gpg.key | apt-key add -
RUN apt-get update && apt-get -y upgrade && apt-get -y install clang-8 clang-tools-8 clang-8-doc libclang-common-8-dev libclang-8-dev libclang1-8 clang-format-8 python-clang-8 RUN apt-get -y install clang-10 clang-format-10
RUN apt-get -y install libparmetis-dev sudo RUN apt-get -y install libparmetis-dev petsc-dev slepc-dev
RUN apt-get clean RUN apt-get clean
RUN rm /usr/bin/cc RUN rm /usr/bin/cc
RUN echo "${USER} ALL=(ALL:ALL) NOPASSWD:ALL" > "/etc/sudoers.d/${USER}" RUN echo "${USER} ALL=(ALL:ALL) NOPASSWD:ALL" > "/etc/sudoers.d/${USER}"
RUN ln -s /usr/bin/clang-format-8 /usr/bin/clang-format RUN ln -s /usr/bin/clang-format-10 /usr/bin/clang-format
ENV CC="clang-8" CXX="clang++-8" ENV CC="clang-10" CXX="clang++-10"
EOF EOF
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment