From 3db7fea93ea587be0832df55e4503255cb2de777 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?St=C3=A9phane=20Del=20Pino?= <stephane.delpino44@gmail.com>
Date: Wed, 17 Nov 2021 22:36:15 +0100
Subject: [PATCH] Add missing clang-format-10 and doxygen
---
tools/docker-pugs.sh | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/tools/docker-pugs.sh b/tools/docker-pugs.sh
index 1f21bbcee..4a5b0d661 100755
--- a/tools/docker-pugs.sh
+++ b/tools/docker-pugs.sh
@@ -44,9 +44,9 @@ RUN echo "${DOCKER_HOSTNAME}" > /etc/hostname
RUN groupadd --gid "${USER_GID}" "${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 apt-utils gnupg gnupg2 gnupg1 wget cmake git make lcov bc pkg-config sudo
+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 apt-get -y install clang-10
+RUN apt-get -y install clang-10 clang-format-10
RUN apt-get -y install libparmetis-dev petsc-dev slepc-dev
RUN apt-get clean
--
GitLab